[Haskell-cafe] Haskell Weekly News: Issue 224

Daniel Santa Cruz dstcruz at gmail.com
Thu Apr 26 04:14:05 CEST 2012


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



More information about the Haskell-Cafe mailing list