Как спросить у ОС, какие символы нельзя использовать в именах файлов в конкретной директории?

Который из лисповых синтаксисов для хаскеля менее мёртв? Хотелось бы попинать один из них.

https://github.com/chiiph/esfs Есть желающие поучаствовать в переписывании на хаскель?

Норм придумал? 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 }

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

> 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

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

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