[Haskell-cafe] Haskell Weekly News: Issue 213

Daniel Santa Cruz dstcruz at gmail.com
Thu Feb 2 03:42:05 CET 2012


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.html

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_tower_the_haskell/
   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_with_haskell_slides/
   5.
http://www.haskell.org/pipermail/glasgow-haskell-users/2012-January/021714.html
   6.
http://www.reddit.com/r/haskell/comments/p0x96/announce_ghc_741_release_candidate_2/
   7.
http://alessandrovermeulen.me/2012/01/26/getting-rid-of-javascript-with-haskell/
   8.
http://www.reddit.com/r/haskell/comments/oz27a/web_application_that_uses_uhc_to_compile_haskell/
   9. http://hdiff.luite.com/
  10.
http://www.reddit.com/r/haskell/comments/ozjys/web_app_that_shows_you_the_changes_between/
  11. http://www.haskell.org/pipermail/haskell-cafe/2012-January/098704.html
  12.
http://www.reddit.com/r/haskell/comments/orh4f/combining_regions_and_iteratees/
  13. http://blog.ezyang.com/2012/01/monadbasecontrol-is-unsound/
  14.
http://www.reddit.com/r/haskell/comments/ot5f2/monadbasecontrol_is_unsound_inside_233/
  15. http://www.yesodweb.com/blog/2012/01/wiki-chat-subsite
  16.
http://www.reddit.com/r/haskell/comments/oub3p/yesod_example_wiki_markdown_chat_subsite_event/
  17.
http://blog.moertel.com/articles/2012/01/26/the-inner-beauty-of-tree-traversals
  18.
http://www.reddit.com/r/haskell/comments/oyu7d/inner_beauty_of_tree_traversals_pre_and_postorder/
  19. http://thecostofknowledge.com/
  20.
http://www.reddit.com/r/haskell/comments/ozi7i/seem_like_theres_a_boycott_of_elsevier_going_on/
  21.
http://www.jonmsterling.com/posts/2012-01-12-unifying-monoids-and-monads-with-polymorphic-kinds.html
  22.
http://www.reddit.com/r/haskell/comments/osn5d/unifying_monoids_and_monads_with_polymorphic_kinds/
  23. http://blog.ezyang.com/2012/01/modelling-io/
  24.
http://www.reddit.com/r/haskell/comments/ourfu/modelling_io_monadio_and_beyond/
  25.
http://stackoverflow.com/questions/8976423/is-it-a-good-idea-to-compile-a-language-to-c
  26.
http://stackoverflow.com/questions/9027384/haskell-ghc-what-is-the-time-complexity-of-a-pattern-match-with-n-constructors
  27.
http://stackoverflow.com/questions/9015318/what-to-use-instead-of-a-main-loop-in-haskell
  28.
http://stackoverflow.com/questions/9016521/associated-types-and-container-elements
  29. http://stackoverflow.com/questions/9036554/undefined-at-the-type-level
  30.
http://stackoverflow.com/questions/9004937/is-there-a-good-reason-why-deleteby-does-not-have-its-most-general-type
  31.
http://stackoverflow.com/questions/8963942/using-low-bitsize-integral-types-like-int8-and-what-they-are-for
  32.
http://stackoverflow.com/questions/9010808/how-is-the-ghc-runtime-support-for-profiling-implemented
  33.
http://stackoverflow.com/questions/9013329/how-to-achieve-product-of-two-monads-effect
  34.
http://stackoverflow.com/questions/9034060/combine-two-monads-when-neither-has-a-transformer
  35.
http://stackoverflow.com/questions/8963376/why-dont-type-synonyms-permit-recursion-in-haskell
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120201/1fe01a51/attachment.htm>


More information about the Haskell-Cafe mailing list