https://github.com/bitc/vim-hdevtools ← пушка вообще

Норм придумал? type IOObject a = (IO a, a -> IO ()) -- FIXME sane errors heterObj :: IOObject a -> IOObject a -> IOObject a heterObj a b = (fst a, snd b) nulls :: IOObject a nulls = (throw $ Underflow, const $ return ()) chans :: Chan a -> IOObject a chans a = (readChan a, writeChan a) type DataTypeObject a = (a -> ByteString, ByteString -> a) lazyByteStrings :: DataTypeObject ByteString lazyByteStrings = (id, id) showBool True = "true" showBool False = "false" readBool s | s == "1" = True | s == "true" = True | s == "0" = False | s == "false" = False booleans :: DataTypeObject Bool booleans = (showBool, readBool) simpleFile :: forall a m. (Monad m, EmbedIO m) => String -> IOObject a -> DataTypeObject a -> NineFile m simpleFile name (rd, wr) (rdc, wrc) = (boringFile name :: NineFile m) { read = simpleRead $ liftM rdc $ rd, write = simpleWrite $ wr . wrc }

Есть вообще нормальные бложеки про haskell? В духе 24 days of hackage (http://ocharles.org.uk/blog/) Cкладывается такое впечатление, что все тексты про хаскель делятся на 3 типа: 1) хелоуворды ("тут есть map! на сишке я бы это писал две недели!") и монад туториалы ("пацаны, я все понял про монады. ща поясню по хардкору"); 2) общие рассуждения ("хаски делает делает душу чище и приближает к богу"); 3) мотан ("как я хитро изъебнулся и заюзал какую-то хуйню из алгебры/теорката при написании fizzbuzz'a").

СТО ПЯТЬДЕСЯТ СТРОК ОТБОРНОГО ХАСКЕЛЬНОГО БОИЛЕРПЛЕЙТА

> It is now possible to defer type errors until runtime using the -fdefer-type-errors flag: Section 7.13, “Deferring type errors to runtime”.

Зарелизил на хекедж очередную версию либы; день прошёл не зря. Теперь вот пытаюсь осознать, как в хаскельном торрент-клиенте не сильно костыльно ограничивать скорость приёма/передачи на торрент и на софтину.

Как работает cabal report? Оно вообще работает? Откуда на хекедже билдрепорты поцкетов?

ТУНЕЛЛИРУЮ ТУНЕЛЛИРУЮ Правда, волшебный автовывод инстенсов так и не осилил. Пришлось остановиться на таком говне: class (MonadIO o) => EmbedIO o where type Content o callback :: o a -> Content o -> IO a -- If the inner monad is IO data Void instance EmbedIO IO where type Content IO = Void callback action _ = action и в приложении: runNPT_ :: NPT a -> NPTState -> IO a runNPT_ x s = do runReaderT x s instance EmbedIO NPT where type Content NPT = NPTState callback act cont = runNPT_ act cont Модифицируемый стейт будет в IORef'ах. Уродливо, но лучше я не придумал; не переписывать же MState, чтобы был кишками наружу, дабы можно было инстенс написать.

Мда, всё-таки Haskell не подходит для w3crpacli ну совсем. Посоны, посоветуйте cli-тулзу для потрошения json чем-нибудь навроде xpath, а?

diff -urN curl-1.3.7.orig/Network/Curl/Opts.hs curl-1.3.7/Network/Curl/Opts.hs --- curl-1.3.7.orig/Network/Curl/Opts.hs 2012-11-20 16:36:35.126992302 +0400 +++ curl-1.3.7/Network/Curl/Opts.hs 2012-11-20 16:37:52.774133213 +0400 @@ -126,7 +126,7 @@ | CurlFtpCreateMissingDirs Bool -- ^ Have remote directories be created if not already there | CurlProxyAuth [HttpAuth] -- ^ What preferred authentication schemes to use wrt. proxy. | CurlFtpResponseTimeout Long -- ^ max number of seconds to wait for remote server to ACK commands. - | CurlIPResolve Long -- ^ Whether to resolve wrt IPv4 or IPv6. + | CurlIPResolve IPResolve -- ^ Whether to resolve wrt IPv4 or IPv6. | CurlMaxFileSize Long -- ^ Limit the number of bytes you're willing to download. | CurlInFileSizeLarge LLong -- ^ Wider alternative of option giving upper bound of uploaded content (-1 => unknown.) | CurlResumeFromLarge LLong -- ^ Wider alternative for specifying initial transfer offset. @@ -192,6 +192,12 @@ | HttpVersion11 deriving ( Enum,Show ) +data IPResolve + = IPResolveWhatever + | IPResolveV4 + | IPResolveV6 + deriving ( Enum,Show ) + data TimeCond = TimeCondNone | TimeCondIfModSince @@ -444,7 +450,7 @@ CurlFtpCreateMissingDirs x -> u_bool um (l 110) x CurlProxyAuth x -> u_long um (l 111) (toHttpAuthMask x) CurlFtpResponseTimeout x -> u_long um (l 112) x - CurlIPResolve x -> u_long um (l 113) x + CurlIPResolve x -> u_enum um (l 113) x CurlMaxFileSize x -> u_long um (l 114) x CurlInFileSizeLarge x -> u_llong um (off 115) x CurlResumeFromLarge x -> u_llong um (off 116) x

Кстати, кто-нибудь писал какие-нибудь live-сиквенсеры, аудио-фильтры итд на всяких там хаскелях итд? В рассылке racket попалось письмо, где автор утверждал, что racket-ный GC не очень хорошо успевает убирать данные семлирования. Подключение typed racket у него сократило потребление вдвое за счет того, что оптимизатор убирал часть боксирования флоатов. Можно ли в хаскеле (и вообще в языках с GC) так подкрутить GC, чтобы не поиметь лагов и держать low memory overhead?

http://hackage.haskell.org/package/Network-NineP Затрахался с классами и гохацешными расширениями системы типов, так что пока все коллбеки будут в IO. Вернётся мотивация - попробую добить monadic tunnelling. Странно, что в hackage до сих пор нет нормальных либ на тему.

Кого тут можно поспрашивать про Rank2Types, FlexibleContexts и ко?

9ptorrent: user error (openTCPConnection: host lookup failure for "tracker.ipv6tracker.org")

walk :: [Qid] -> [String] -> NineFile -> ErrorT NineError (RWST Config () (Map Word32 NineFile) IO) (NineFile, [Qid])

Ищу хаскелебыдлокодеров, желающих принять участие в написании высокоуровневой библиотеки серверной стороны протокола 9P2000. Обращаться в #sh.nexuiz на QuakeNet.

haskell,? А где почитать инстансы тайпклассов? Вот в документации к Monad пишут, что есть инстанс для Either e, а в коде его не видно. :info в ghci тоже не помогло — говорит, что инстанс есть (если испортировать Control.Monad.Instances), но сами определения не показывает. Как быть?

А есть манул по стрелкам для дебилов? По монадам их стотыщ штук, если прочитать половину, то становится более-менее понятно. А по стрелкам?