- Haskell-Cafe - Haskell.org

Fwd: Contributing to http-conduit
by Chris Wong 03 Feb '12

03 Feb '12

Sorry, accidentally clicked "Reply" rather than "Reply to all". Here's the message I sent: ---------- Forwarded message ---------- From: Chris Wong <chrisyco%2Bhaskell-cafe(a)gmail.com> Date: Fri, Feb 3, 2012 at 7:44 PM Subject: Re: [Haskell-cafe] Contributing to http-conduit To: "Myles C. Maxfield" <myles.maxfield(a)gmail.com> On Fri, Feb 3, 2012 at 5:32 PM, Myles C. Maxfield <myles.maxfield(a)gmail.com> wrote: > I propose making an entirely unrelated package, public-suffix-list, with a > module Network.PublicSuffixList, which will expose this function, as well as > functions about parsing the list itself. Thoughts? I'll volunteer to write this module, but I'm not sure whether to read it in at run time, or generate the module containing the data in advance. The latter seems less error-prone -- no messing around with file paths or IO. Chris

1 0

ANN: combinatorics
by wren ng thornton 03 Feb '12

03 Feb '12

-------------------------------------------- -- combinatorics 0.1.0 -------------------------------------------- The combinatorics package offers efficient *exact* computation of common combinatorial functions like the binomial coefficients and factorial. (For fast *approximations*, see the math-functions package instead.) -------------------------------------------- -- Long Description -------------------------------------------- * Math.Combinatorics.Primes: provides the prime numbers via Runciman's lazy wheel sieve algorithm. Provided here since efficient algorithms for combinatorial functions often require prime numbers. The current version memoizes the primes as an infinite list CAF, which could lead to memory leaks in long-running programs with irregular access to large primes. I'm looking into a GHC patch to allow resetting individual CAFs from within compiled programs so that you can explicitly decide when to un-memoize the primes. (In GHCi when you reload a module all the CAFs are reset. However, there's no way to access this feature from within compiled programs as yet.) * Math.Combinatorics.Binomial: offers a fast computation of the binomial coefficients based on the prime factorization of the result. As it turns out, it's easier to compute the prime factorization of the answer than it is to compute the answer directly! And you don't even need the factorial function to do so. Albeit, with a fast factorial function, the naive definition of binomial coefficients gives this algorithm a run for its money. * Math.Combinatorics.Factorial: offers a fast computation of factorial numbers. As Peter Luschny comments[1], the factorial function is often shown as a classic example of recursive functions, like addition of Peano numbers, however that naive way of computing factorials is extremely inefficient and does a disservice to those learning about recursion. The current implementation uses the split-recursive algorithm which is more than sufficient for casual use. I'm working on implementing the parallel prime-swing algorithm, which should be a bit faster still. [1] http://www.luschny.de/math/factorial/FastFactorialFunctions.htm -------------------------------------------- -- Links -------------------------------------------- Homepage: http://code.haskell.org/~wren/ Hackage: http://hackage.haskell.org/package/combinatorics Darcs: http://community.haskell.org/~wren/combinatorics Haddock (Darcs version): http://community.haskell.org/~wren/combinatorics/dist/doc/html/combinatorics -- Live well, ~wren

3 7

cabal-install package precedence with --extra-lib-dirs
by Scott Lawrence 02 Feb '12

02 Feb '12

When running cabal install with --extra-lib-dirs=./lib, if a package is found both in ~/.cabal/lib and ./lib, cabal seems to favor the ~/.cabal/lib one. Is there some way to specify the correct precedence to use? -- Scott Lawrence

2 1

Re: [Haskell-cafe] strict version of Haskell - does it exist?
by Marc Weber 02 Feb '12

02 Feb '12

> jsonLines :: C.Resource m => C.Conduit B.ByteString m Value > jsonLines = C.sequenceSink () $ do > val <- CA.sinkParser json' > CB.dropWhile isSpace_w8 > return $ C.Emit () [val] Adding a \state -> (the way Felipe Lessa told me) make is work and it runs in about 20sec and that although some conduit overhead is likely to take place. omitting my custom data type using bytestrings operating on Value of Aeson reduces running time to 16secs. PHP/C++ still wins: less than 12secs. Now I can imagine again that even a desktop multi core system is faster than a single threaded C application. Thanks for your help. Maybe I can setup profiling again to understand why its still taking little bit more time. Marc Weber

7 8

ANN: test-framework-doctest 0.2 (now works also with test-framework 0.5)
by Sakari Jokinen 02 Feb '12

02 Feb '12

test-framework-doctest provides integration between doctest-haskell and test-framework.. See http://hackage.haskell.org/package/test-framework-doctest for details. Big thanks to Simon Hengel who did all the real work in making the library work with test-framework 0.5 cheers Sakari

1 0

zlib 0.5.3.2 broken?
by Michael Snoyman 02 Feb '12

02 Feb '12

Hi all, I've received a number of reports of a broken zlib 0.5.3.2 (and experienced it myself). Is this a generally known issue? As a temporary workaround, I've released a new version of zlib-bindings that has an upper bound on zlib to avoid 0.5.3.2 (and later). Once a new patched version is released, I'll release an updated version of zlib-bindings to remove that overly restrictive upper bound. Michael

5 4

PhD studentship in Nottingham (closing date 10th February)
by Graham Hutton 02 Feb '12

02 Feb '12

Dear all, I am currently advertising a PhD Studentship in Functional Programming at the University of Nottingham in the UK: http://www.nottingham.ac.uk/jobs/currentvacancies/ref/SCI1088 The closing date is *** Friday 10th February 2012 ***. If you would like to apply, please follow the instructions in the advert, rather than clicking on "apply online". Many thanks, Graham Hutton -- Prof Graham Hutton Functional Programming Lab School of Computer Science University of Nottingham, UK http://www.cs.nott.ac.uk/~gmh This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.

1 0

ANN: NubFinder : Mining Opinions on the Web
by dokondr 02 Feb '12

02 Feb '12

Hello, I am pleased to announce NubFinder research project. Goal: develop technology to search and analyze user opinions on the Web. NubFinder and NubTrend are research prototypes trying first to accomplish a more 'simple' task - classification of emotions in Twitter messages, and then approach opinion mining. NubFinder project site: https://sites.google.com/site/nubfinder NubFinder discussion group: http://groups.google.com/group/nubfinder Thanks for your interest in NubFinder Research! -- All the best, Dmitri O. Kondratiev "This is what keeps me going: discovery" dokondr(a)gmail.com http://sites.google.com/site/dokondr/welcome

2 2

ANN: hledger 0.17
by Simon Michael 02 Feb '12

02 Feb '12

Happy new year all. hledger and hledger-web 0.17 are released. Not quite as planned, this release mainly fixes bugs and updates dependencies. Also the hledger-vty and hledger-chart packages have been demoted to "unmaintained extras" for now to save time. hledger is a library, command-line tool, and web app for reporting on financial transactions stored in a text file. It is a haskell port and friendly fork of John Wiegley's Ledger. Home: http://hledger.org To install: cabal update, then cabal install hledger (or cabal-install hledger-web). If you have any trouble, please let me know, or watch the mail list/bug tracker for updates. (Ready to run binaries are provided on request to project donors, a great way to support the project - see http://hledger.org/DOWNLOAD.html.) Release notes for 0.17: * support HP 2011.4.0.0 * support and require cmdargs 0.9 * allow non-threaded builds, supporting more debian architectures * parsing: give a clearer error when journal file path contains ~ * parsing: -B/--cost now ignores P historical prices, like ledger * parsing: inferred amounts now use the cost commodity if known, like ledger (#69) * balance: report differently-priced lots in an account as a single amount, like ledger * web: support and require yesod >= 0.9.4 * web: use the main aeson package again * web: fix a regression with dollar signs in hamlet templates * web: add form allowed blank account names (#81) * chart, vty: hledger-chart and hledger-vty demoted to non-maintained extras for now Best, -Simon

1 0

Haskell Weekly News: Issue 213
by Daniel Santa Cruz 02 Feb '12

02 Feb '12

Welcome to issue 213 of the HWN, a newsletter covering quotes, stories, and questions seen around the net concerning Haskell during the week of January 22 to 28, 2012. You can read the HTML version at: http://contemplatecode.blogspot.com/2012/02/haskell-weekly-news-issue-213.h… Quotes of the Week * monochrom: great way to answer a semantics question by commenting on the font ... "what is the semantics of IO?" "the I may be narrower than O in some fonts, and same width in some other fonts" ... "on very old typewriters, it also denotes the number 10 (ten), for those of you looking for a denotation" * elliott: |\/|/-\|-|-|=|\||} is my preferred mappend operator * merijn: rostayob: I used to be a functional programmer like you, but then I took an UML diagram to the knee >.> * mauke: monoids are simple elliott: And as we all know, monads are basically just monoids! monochrom: haskell is basically just ascii * O'Keefe: "Elegance is not optional." * O'Keefe: "If I don't write it, I won't wrong it." * kmc: "monads are like containers, as long as you forget everything you know about containers, and treat it as a synonym for 'monad'" * Enigmagic: this calls for mfix and some tequila Top Reddit Stories * SPJ : Escape From the Ivory Tower: The Haskell Journey, From 1990 to 2011 Domain: yow.eventer.com, Score: 67, Comments: 12 On Reddit: [1] http://goo.gl/JqRUW Original: [2] http://goo.gl/9ILW1 * Make Things Now! - Pragmatic FP With Haskell (slides) Domain: code.haskell.org, Score: 44, Comments: 22 On Reddit: [3] http://goo.gl/WJQnH Original: [4] http://goo.gl/UMd9y * ANNOUNCE: GHC 7.4.1 Release Candidate 2 Domain: haskell.org, Score: 37, Comments: On Reddit: [5] http://goo.gl/D9F37 Original: [6] http://goo.gl/sdD1L * Web application that uses UHC to compile Haskell to JavaScript Domain: alessandrovermeulen.me, Score: 36, Comments: 13 On Reddit: [7] http://goo.gl/A3S0k Original: [8] http://goo.gl/lyX2K * Web app that shows you the changes between releases of packages on hackage Domain: hdiff.luite.com, Score: 33, Comments: 4 On Reddit: [9] http://goo.gl/6ioFh Original: [10] http://goo.gl/aZAyc * Combining Regions and Iteratees Domain: haskell.org, Score: 30, Comments: 10 On Reddit: [11] http://goo.gl/LEPiQ Original: [12] http://goo.gl/k3wpd * MonadBaseControl is unsound : Inside 233 Domain: blog.ezyang.com, Score: 29, Comments: 19 On Reddit: [13] http://goo.gl/ptCF6 Original: [14] http://goo.gl/Y5bbh * Yesod example: wiki, markdown, chat subsite, event source Domain: yesodweb.com, Score: 29, Comments: 1 On Reddit: [15] http://goo.gl/GyfzS Original: [16] http://goo.gl/on96C * inner beauty of tree traversals: pre- and post-order Domain: blog.moertel.com, Score: 29, Comments: On Reddit: [17] http://goo.gl/6fKzq Original: [18] http://goo.gl/NpjrO * Seem like there's a boycott of Elsevier going on. Domain: thecostofknowledge.com, Score: 29, Comments: 1 On Reddit: [19] http://goo.gl/2B106 Original: [20] http://goo.gl/dvxML * Unifying Monoids and Monads with Polymorphic Kinds Domain: jonmsterling.com, Score: 26, Comments: 29 On Reddit: [21] http://goo.gl/kTafx Original: [22] http://goo.gl/A3IrU * Modelling IO: MonadIO and beyond Domain: blog.ezyang.com, Score: 26, Comments: 4 On Reddit: [23] http://goo.gl/gr2M1 Original: [24] http://goo.gl/0n1a9 Top StackOverflow Questions * Is it a good idea to compile a language to C? votes: 26, answers: 7 Read on SO: [25] http://goo.gl/V8sSx * Haskell GHC: what is the time complexity of a pattern match with N constructors? votes: 19, answers: 1 Read on SO: [26] http://goo.gl/SU0l8 * What to use instead of a main loop in Haskell? votes: 12, answers: 2 Read on SO: [27] http://goo.gl/iYasz * Associated types and container elements votes: 12, answers: 2 Read on SO: [28] http://goo.gl/zBNWU * Undefined at the type level votes: 12, answers: 1 Read on SO: [29] http://goo.gl/m9Acn * Is there a good reason why `deleteBy` does not have its most general type? votes: 10, answers: 3 Read on SO: [30] http://goo.gl/dQDrf * Using low bitsize integral types like `Int8` and what they are for votes: 9, answers: 2 Read on SO: [31] http://goo.gl/YaE68 * How is the ghc runtime support for profiling implemented? votes: 9, answers: 2 Read on SO: [32] http://goo.gl/yz7eC * how to achieve “product of two monads” effect? votes: 9, answers: 1 Read on SO: [33] http://goo.gl/pLhVK * Combine two monads when neither has a transformer? votes: 9, answers: 1 Read on SO: [34] http://goo.gl/yw8tr * Why don't type synonyms permit recursion in Haskell? votes: 8, answers: 2 Read on SO: [35] http://goo.gl/hPzVq Until next time, Daniel Santa Cruz References 1. http://yow.eventer.com/events/1004/talks/1054 2. http://www.reddit.com/r/haskell/comments/ovc9s/spj_escape_from_the_ivory_to… 3. http://code.haskell.org/~dons/talks/padl-keynote-2012-01-24.pdf 4. http://www.reddit.com/r/haskell/comments/oxg3c/make_things_now_pragmatic_fp… 5. http://www.haskell.org/pipermail/glasgow-haskell-users/2012-January/021714.… 6. http://www.reddit.com/r/haskell/comments/p0x96/announce_ghc_741_release_can… 7. http://alessandrovermeulen.me/2012/01/26/getting-rid-of-javascript-with-has… 8. http://www.reddit.com/r/haskell/comments/oz27a/web_application_that_uses_uh… 9. http://hdiff.luite.com/ 10. http://www.reddit.com/r/haskell/comments/ozjys/web_app_that_shows_you_the_c… 11. http://www.haskell.org/pipermail/haskell-cafe/2012-January/098704.html 12. http://www.reddit.com/r/haskell/comments/orh4f/combining_regions_and_iterat… 13. http://blog.ezyang.com/2012/01/monadbasecontrol-is-unsound/ 14. http://www.reddit.com/r/haskell/comments/ot5f2/monadbasecontrol_is_unsound_… 15. http://www.yesodweb.com/blog/2012/01/wiki-chat-subsite 16. http://www.reddit.com/r/haskell/comments/oub3p/yesod_example_wiki_markdown_… 17. http://blog.moertel.com/articles/2012/01/26/the-inner-beauty-of-tree-traver… 18. http://www.reddit.com/r/haskell/comments/oyu7d/inner_beauty_of_tree_travers… 19. http://thecostofknowledge.com/ 20. http://www.reddit.com/r/haskell/comments/ozi7i/seem_like_theres_a_boycott_o… 21. http://www.jonmsterling.com/posts/2012-01-12-unifying-monoids-and-monads-wi… 22. http://www.reddit.com/r/haskell/comments/osn5d/unifying_monoids_and_monads_… 23. http://blog.ezyang.com/2012/01/modelling-io/ 24. http://www.reddit.com/r/haskell/comments/ourfu/modelling_io_monadio_and_bey… 25. http://stackoverflow.com/questions/8976423/is-it-a-good-idea-to-compile-a-l… 26. http://stackoverflow.com/questions/9027384/haskell-ghc-what-is-the-time-com… 27. http://stackoverflow.com/questions/9015318/what-to-use-instead-of-a-main-lo… 28. http://stackoverflow.com/questions/9016521/associated-types-and-container-e… 29. http://stackoverflow.com/questions/9036554/undefined-at-the-type-level 30. http://stackoverflow.com/questions/9004937/is-there-a-good-reason-why-delet… 31. http://stackoverflow.com/questions/8963942/using-low-bitsize-integral-types… 32. http://stackoverflow.com/questions/9010808/how-is-the-ghc-runtime-support-f… 33. http://stackoverflow.com/questions/9013329/how-to-achieve-product-of-two-mo… 34. http://stackoverflow.com/questions/9034060/combine-two-monads-when-neither-… 35. http://stackoverflow.com/questions/8963376/why-dont-type-synonyms-permit-re…

1 0