- Haskell-Cafe - Haskell.org

JSON querying
by Sergey Mironov 18 Feb '13

18 Feb '13

Hi folks. Hackage contains several JSON packages but as far as I see, they all provide 'static' conversion from JSON format to Haskell data type. Is there a method of converting object containing optional filed 'a' to for example Maybe a. Thanks, Sergey

3 3

Re: [Haskell-cafe] ifdef based on which OS you're on
by Doug McIlroy 17 Feb '13

17 Feb '13

With apologies for prolonging a tangential topic, I'd like to sharpen anti-ifdef comments that have been posted already. 1. An ifdef for portability is an admission of nonportability. What it does is point out a nonportability--a useful crutch for maintainers, but a crutch nonetheless. 2. Ifdefs violate program structure. All ifdefs appear at top level. Yet, save for those that control top-level declarations, they embody conditionals at inner levels of structure. Doug McIlroy

1 0

Terminal Win32/Building Haskeline/8.3 file issue
by Matthew Lamari 17 Feb '13

17 Feb '13

Hit this compiling darcs on a new machine. . . . But it may be more generic to Haskell platform itself. Bottom line, it presents a situation where someone could end up dead-in-the-water with respect to using haskell libraries. I burned a lot of time tracking this down, it may discourage users from the platform. The problem manifests itself when your Win32 home directory has a long name (or one with a space) and you're compiling haskeline, linking on the 15th step. Basically, ld.exe croaks when fed one of these names rather than an 8.3 I can provide more specific details on the point of failure on request; but it was a pain to track down. Maybe a change to the linker, or some specific project, may get rid of the 8.3 dependency. A solution that got me out was to enable 8.3 on the volume, and on the user directory. A fix: Logging in as a *different* user: Open a command prompt with Administrator priveleges fsutil 8dot3name query c: (tells you the current status - you probably see a 2 - volume-select of the feature) fsutil 8dot3name set c: 1 (This sets volume c to create 8.3 names - for future files only) fsutil file setshortname "c:\Users\YouHaveA VeryBigName" YOUHAV~1 (This only works if you're not logged in as 'YouHaveA VeryBigName', otherwise the directory will be in-use). You need this step as even though you've changed the policy on 8.3 naming, this directory was probably made during the prior policy) dir /-n (This shows you the 8.3-sensitive names. You see YOUHAV~1 in the list, you got it right) The user may need to uninstall and reinstall haskell-platform, and wipe all Cabal and GHC directories under AppData/Roaming

1 0

MonadReader laws
by Roman Cheplyaka 17 Feb '13

17 Feb '13

Has anyone formulated a reasonable set of laws for MonadReader? The instances for continuation-based monad transformers contradict any intuition about local and ask. E.g. for LogicT: > flip runReader 1 $ observeAllT $ local (const 2) ask [1] > flip runReader 1 $ observeAllT $ local (const 2) mzero <|> ask [2] I wonder whether there are any real use cases for such instances (and, consequently, whether they should be removed). Roman

1 0

[ANNOUNCE] London Haskell user group - Being Lazy - Wed 27-Feb-13
by Derek Wright 17 Feb '13

17 Feb '13

Wednesday 27-Feb-2013 6-45pm (prompt) City University, College Building, St John Street, London. EC1V 4PB http://www.meetup.com/London-HUG/events/103545552/ Being Lazy Speaker: Peter Marks This talk will explore lazy evaluation in Haskell. After a brief introduction to non-strictness, and establishing a basic conceptual model of evaluation in Haskell, the primary focus will be on how we can utilize laziness to allow us to write programs differently to how we would in an eagerly evaluated language. The session will be rich on code with a worked example of a complete program. We'll also touch on some of the pitfalls of laziness that we run into in real world situations. Peter Marks has been developing software for over thirty years and has been using Haskell commercially for four years. He currently leads the FPF team at Barclays and is an active member of the London Haskell community, running the Hoodlums meetup group. N.B. The start time is slightly later than previously, to make sure everybody has arrived by the time the talk starts. Doors open 6-30pm, try not to be late!

1 0

ANNOUNCE: hackage-proxy 0.1.0.0
by Michael Snoyman 17 Feb '13

17 Feb '13

I'd like to announce the first release of a new tool called hackage-proxy. The purpose is to provide a local proxy for a Hackage server, which somehow modifies files in transport. The motivating case for this was getting more meaningful error output from Stackage when compiling against GHC HEAD. When compiling against actual Hackage, cabal will simply refuse to try to build packages which have upper version bounds such as "base < 4.7". This introduces a big dilemma: * Package authors do not want to bump the version bounds on their packages until they've tested against that version. * It's very difficult to do meaningful tests of GHC until packages on Hackage have been updated. Hopefully this package can help resolve the dilemma. Instead of requiring authors to upload new versions of their packages in order to test them, this proxy will modify the cabal files it downloads and strip off the version bounds of specified packages. Then, you can test with a newer version of GHC and find actual compilation errors instead of version bound constraints. ## Example Usage 1. cabal install hackage-proxy 2. Run hackage-proxy. By default, it will use the official Hackage server as the source, drop bounds on the packages base, process, directory, template-haskell, and Cabal, and serve from port 4200. All of this can be modified via command-line options. 3. Edit your ~/.cabal/config file. Comment out the hackage.haskell.orglines, and add in something like the following: remote-repo: hackage-proxy:http://localhost:4200 4. cabal update 5. cabal install your-package-list-here I think this can be a very valuable tool for anyone wanting to test out newer versions of GHC. In addition, as part of my normal Stackage work, I'm now collecting fairly detailed error logs of a number of packages. If this would be useful for the GHC team or anyone else, let me know and I can try and provide the logs somehow.

1 0

Netwire, keyboard events, and games
by Patrick Hurst 17 Feb '13

17 Feb '13

I'm using netwire to build a game; one of the things the player can do is move around using WASD. I want to use key *events* as the 'basis' of my wires, not the entire state vector of the keyboard so that, for example, a press event on D increments the velocity by (200, 0) and a release event decrements it by that much. However, this has the problem that I can't actually get the velocity unless I have an event to feed into the wires, which means I can only update the screen when the user presses or releases a key. While this might make for interesting gameplay, it's not what I want. is the right thing to do to make the input something like a Maybe KeyEvent instead, and pass in Nothing whenever I want to get output without an event for, e.g., a render?

3 3

What magic has the new IO manager done to improve performance ?
by yi huang 16 Feb '13

16 Feb '13

I' m curious about the design and trade offs behind the new IO manager. I see two changes from the code: 1. Run IO manager thread on each capability. 2. Use ONESHOT flag to save a system call. Is there other interesting things to know? Is it possible to use epoll's ET mode to save even more system calls? -- http://yi-programmer.com/

2 1

Text.JSON and utf8
by Martin Hilbig 16 Feb '13

16 Feb '13

hi, tl;dr: i propose this patch to Text/JSON/String.hs and would like to know why it is needed: @@ -375,7 +375,7 @@ where go s1 = case s1 of - (x :xs) | x < '\x20' || x > '\x7e' -> '\\' : encControl x (go xs) + (x :xs) | x < '\x20' -> '\\' : encControl x (go xs) ('"' :xs) -> '\\' : '"' : go xs ('\\':xs) -> '\\' : '\\' : go xs (x :xs) -> x : go xs i recently stumbled upon CouchDB telling me i'm sending invalid json. i basically read lines from a utf8 file with german umlauts and send them to CouchDB using Text.JSON and Database.CouchDB. $ file lines.txt lines.txt: UTF-8 Unicode text lets take 'ö' as an example. i use LANG=de_DE.utf8 ghci tells > 'ö' '\246' > putChar '\246' ö > putChar 'ö' ö > :m + Text.JSON Database.CouchDB > runCouchDB' $ newNamedDoc (db "foo") (doc "bar") (showJSON $ toJSObject [("test","ö")]) *** Exception: HTTP/1.1 400 Bad Request Server: CouchDB/1.2.1 (Erlang OTP/R15B03) Date: Mon, 11 Feb 2013 13:24:49 GMT Content-Type: text/plain; charset=utf-8 Content-Length: 48 Cache-Control: must-revalidate couchdb log says: Invalid JSON: {{error,{10,"lexical error: invalid bytes in UTF8 string.\n"}},<<"{\"test\":\"<F6>\"}">>} this is indeed hex ö: > :m + Numeric > putChar $ toEnum $ fst $ head $ readHex "f6" ö if i apply the above patch and reinstall JSON and CouchDB the doc creation works: > runCouchDB' $ newNamedDoc (db "db") (doc "foo") (showJSON $ toJSObject [("test", "ö")]) Right someRev but i dont get back the ö i expected: > Just (_,_,x) <-runCouchDB' $ getDoc (db "foo") (doc "bar") :: IO (Maybe (Doc,Rev,JSObject String)) > let Ok y = valFromObj "test" =<< readJSON x :: Result String > y "\195\188" > putStrLn y Ã¼ apperently with curl everything works fine: $ curl localhost:5984/db/foo -XPUT -d '{"test": "ö"}' {"ok":true,"id":"foo","rev":"someOtherRev"} $ curl localhost:5984/db/foo {"_id":"bars","_rev":"someOtherRev","test":"ö"} so how can i get my precious ö back? what am i doing wrong or does Text.JSON need another patch? another question: why does encControl in Text/JSON/String.hs handle the cases x < '\x100' and x < '\x1000' even though they can never be reached with the old predicate in encJSString (x < '\x20') finally: is '\x7e' the right literal for the job? thanks for reading have fun martin

3 2

What magic has the new parallel io manager done to improve performance?
by yi huang 16 Feb '13

16 Feb '13

I'm curious about the design and trade offs in IO manager, I can point out two changes that should boost performance: 1. Run an IO manager thread on each capability. 2. Use ONESHOT flag to save a system call. I wonder is there anything else? It must be interesting. -- http://yi-programmer.com/

1 1