26 Apr 04:14 2012

## Haskell Weekly News: Issue 224

Daniel Santa Cruz <dstcruz <at> gmail.com>

2012-04-26 02:14:05 GMT

2012-04-26 02:14:05 GMT

Welcome to issue 224 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of April 15 to 21, 2012. Announcements Some of these announcements are a bit behind, for which I apologize. Better late than never... The long awaited version of cabal-install is out! [1] http://goo.gl/LlO7s Janis Voigtlander is looking for contributors for the May 2012 edition of the Haskell Comunities and Activities Report. If you have anything Haskell related that you have been working on, make sure to send Janis a note. The deadline is May 1st. [2] http://goo.gl/AW3gR Jeremy O'Donoghue announced the release of wxHaskell 0.90. "his release represents a significant milestone for us as it includes support for wxWidgets 2.9.x." [3] http://goo.gl/vTYTp Janis Voigtlander also issued a call for papers for the Haskell Symposium 2012, Copenhagen, Denmark on 13th September, 2012, directly after ICFP. [4] http://goo.gl/fR2hB Eric Kow released the 9th edition of the Parallel Haskell Digest. [5] http://goo.gl/gBIhK Quotes of the Week * TSC: The type families might have little type children * mm_freak: i'd love to have an embeddable Agda type checker and evaluator mm_freak: that would make a great scripting language for haskell programs * shachaf: You can't spell "-funsafe" without "fun" and "safe". * elliott: By the way, I find the inclusion of a package named "colour" in a section titled "Color" offensive :) * elliott: I don't think Haskell can ever hope to enter the enterprise if we can't model non-standard colourblind observers with it. * danharaj:oh hey this looks nice. Mathnerd314: every open-source math library under the sun glued together into a Python framework danharaj: nevermind o_o * elliott: What do we do with people who paste code blocks on IRC? We yell at them. * acowley: I am a bull in a math shop * elliott: I like how edwardk's answer to every question always goes "most abstract solution to the problem possible --> microoptimisation details". elliott: I swear I've seen him go from category theory to unboxed types and unsafeCoerce in a single line of IRC. * shachaf: It is a sobering thought that by the time Galois was my age, he had been dead for almost two months. Top Reddit Stories * Why do Monads Matter? (or it's Monad tutorial season again) Domain: cdsmith.wordpress.com, Score: 64, Comments: 27 On Reddit: [6] http://goo.gl/DCJYV Original: [7] http://goo.gl/8glhF * Ur/Web records: can we apply lessons from them to Haskell? Domain: blog.ezyang.com, Score: 53, Comments: On Reddit: [8] http://goo.gl/9m3Sw Original: [9] http://goo.gl/dNcET * Blank Canvas - a new Haskell graphics library based on HTML5 and <canvas> Domain: ittc.ku.edu, Score: 42, Comments: 10 On Reddit: [10] http://goo.gl/H3SMB Original: [11] http://goo.gl/if7kG * Client Side Yesod, an FRP-inspired approach Domain: yesodweb.com, Score: 41, Comments: 44 On Reddit: [12] http://goo.gl/gECTq Original: [13] http://goo.gl/Rn0LS * Understanding Haskell Kinds Domain: softwaresimply.blogspot.com, Score: 38, Comments: 18 On Reddit: [14] http://goo.gl/XxiwQ Original: [15] http://goo.gl/xaqDM * Adding SIMD Support to Data Parallel Haskell Domain: ghc-simd.blogspot.co.uk, Score: 35, Comments: 8 On Reddit: [16] http://goo.gl/R8M9L Original: [17] http://goo.gl/ZeJ7e * Working With HTML In Haskell Domain: adit.io, Score: 31, Comments: 24 On Reddit: [18] http://goo.gl/4NMBc Original: [19] http://goo.gl/EOvM1 * Descending the level ladder Domain: monoidal.blogspot.com, Score: 26, Comments: 13 On Reddit: [20] http://goo.gl/9IYZL Original: [21] http://goo.gl/TJm0D * Why is Haskell so large? Domain: self.haskell, Score: 25, Comments: 29 On Reddit: [22] http://goo.gl/KQnbj Original: [23] http://goo.gl/KQnbj * Parallel Haskell Digest 9: GSoC, STM, SIMD, and the Downfall of Imperative Programming? Domain: well-typed.com, Score: 25, Comments: 1 On Reddit: [24] http://goo.gl/Z5bF3 Original: [25] http://goo.gl/eLnVs * blaze-html 0.5 released Domain: jaspervdj.be, Score: 25, Comments: 3 On Reddit: [26] http://goo.gl/7XtMD Original: [27] http://goo.gl/RkbR7 * Four Tips for New Haskell Programmers Domain: softwaresimply.blogspot.com, Score: 22, Comments: 72 On Reddit: [28] http://goo.gl/GQ4O1 Original: [29] http://goo.gl/Ye57L * Check for interest - an argument/option parser using type level strings Domain: self.haskell, Score: 22, Comments: 13 On Reddit: [30] http://goo.gl/eOtE5 Original: [31] http://goo.gl/eOtE5 * New Cabal feature: cabal bench Domain: blog.johantibell.com, Score: 22, Comments: 3 On Reddit: [32] http://goo.gl/ClkjJ Original: [33] http://goo.gl/sA3aD Top StackOverflow Questions * The Pause monad votes: 20, answers: 5 Read on SO: [34] http://goo.gl/DNIo1 * To what extent are macros “functions in reverse?” votes: 15, answers: 6 Read on SO: [35] http://goo.gl/ZoEht * Curry-Howard isomorphism votes: 13, answers: 3 Read on SO: [36] http://goo.gl/1pzKd * How does Djinn work? votes: 12, answers: 3 Read on SO: [37] http://goo.gl/RnEny * How is co-recursion handled? votes: 12, answers: 2 Read on SO: [38] http://goo.gl/DXtj1 * Distinction between typeclasses MonadPlus, Alternative, and Monoid? votes: 11, answers: 1 Read on SO: [39] http://goo.gl/4LZd7 * Why can't Existential Types use record syntax? votes: 11, answers: 2 Read on SO: [40] http://goo.gl/4Gn96 * Given a Haskell type signature, is it possible to generate the code automatically? votes: 11, answers: 4 Read on SO: [41] http://goo.gl/7Xff3 * Is it possible to force a type to a class in Haskell? votes: 10, answers: 6 Read on SO: [42] http://goo.gl/SeFpb * Haskell concurrency - is forkIO really nondeterministic? votes: 10, answers: 2 Read on SO: [43] http://goo.gl/z2q9Y * Where to find programming exercises for applicative functors? votes: 9, answers: 4 Read on SO: [44] http://goo.gl/CXOYU Until next time, Daniel Santa Cruz References 1. http://permalink.gmane.org/gmane.comp.lang.haskell.general/19239 2. http://www.haskell.org/pipermail/haskell/2012-April/023244.html 3. http://permalink.gmane.org/gmane.comp.lang.haskell.wxhaskell.general/1178 4. http://permalink.gmane.org/gmane.comp.science.types.announce/2949 5. http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/97851 6. http://cdsmith.wordpress.com/2012/04/18/why-do-monads-matter/ 7. http://www.reddit.com/r/haskell/comments/sfvbu/why_do_monads_matter_or_its_monad_tutorial_season/ 8. http://blog.ezyang.com/2012/04/how-urweb-records-work-and-what-it-might-mean-for-haskell/ 9. http://www.reddit.com/r/haskell/comments/sjoh5/urweb_records_can_we_apply_lessons_from_them_to/ 10. http://ittc.ku.edu/csdl/fpg/Tools/BlankCanvas 11. http://www.reddit.com/r/haskell/comments/seppr/blank_canvas_a_new_haskell_graphics_library_based/ 12. http://www.yesodweb.com/blog/2012/04/client-side 13. http://www.reddit.com/r/haskell/comments/sm72n/client_side_yesod_an_frpinspired_approach/ 14. http://softwaresimply.blogspot.com/2012/04/less-travelled-monad-tutorial-part-1.html 15. http://www.reddit.com/r/haskell/comments/scagx/understanding_haskell_kinds/ 16. http://ghc-simd.blogspot.co.uk/2012/04/adding-simd-support-to-data-parallel.html 17. http://www.reddit.com/r/haskell/comments/sfxck/adding_simd_support_to_data_parallel_haskell/ 18. http://adit.io/posts/2012-04-14-working_with_HTML_in_haskell.html 19. http://www.reddit.com/r/haskell/comments/sbxhb/working_with_html_in_haskell/ 20. http://monoidal.blogspot.com/2012/04/descending-level-ladder.html 21. http://www.reddit.com/r/haskell/comments/scq1q/descending_the_level_ladder/ 22. http://www.reddit.com/r/haskell/comments/sb80y/why_is_haskell_so_large/ 23. http://www.reddit.com/r/haskell/comments/sb80y/why_is_haskell_so_large/ 24. http://www.well-typed.com/blog/65 25. http://www.reddit.com/r/haskell/comments/sjbgv/parallel_haskell_digest_9_gsoc_stm_simd_and_the/ 26. http://jaspervdj.be/posts/2012-04-21-blaze-html-0.5.html 27. http://www.reddit.com/r/haskell/comments/sl6ps/blazehtml_05_released/ 28. http://softwaresimply.blogspot.com/2012/04/four-tips-for-new-haskell-programmers.html 29. http://www.reddit.com/r/haskell/comments/sarkz/four_tips_for_new_haskell_programmers/ 30. http://www.reddit.com/r/haskell/comments/sbpmz/check_for_interest_an_argumentoption_parser_using/ 31. http://www.reddit.com/r/haskell/comments/sbpmz/check_for_interest_an_argumentoption_parser_using/ 32. http://blog.johantibell.com/2012/04/cabal-bench.html 33. http://www.reddit.com/r/haskell/comments/sfhv3/new_cabal_feature_cabal_bench/ 34. http://stackoverflow.com/questions/10236953/the-pause-monad 35. http://stackoverflow.com/questions/10249110/to-what-extent-are-macros-functions-in-reverse 36. http://stackoverflow.com/questions/10212660/curry-howard-isomorphism 37. http://stackoverflow.com/questions/10217931/how-does-djinn-work 38. http://stackoverflow.com/questions/10257326/how-is-co-recursion-handled 39. http://stackoverflow.com/questions/10167879/distinction-between-typeclasses-monadplus-alternative-and-monoid 40. http://stackoverflow.com/questions/10192663/why-cant-existential-types-use-record-syntax 41. http://stackoverflow.com/questions/10205793/given-a-haskell-type-signature-is-it-possible-to-generate-the-code-automaticall 42. http://stackoverflow.com/questions/10211664/is-it-possible-to-force-a-type-to-a-class-in-haskell 43. http://stackoverflow.com/questions/10247555/haskell-concurrency-is-forkio-really-nondeterministic 44. http://stackoverflow.com/questions/10239630/where-to-find-programming-exercises-for-applicative-functors