Welcome to issue 267 of the HWN, an issue covering crowd-sourced bits
of information about Haskell from around the web. This issue covers the
week of April 28 to May 11, 2013.

Quotes of the Week

   * ciaranm: a category is just a category in the category of
     categories

   * cmccann: the Either monad is like the Maybe monad, except with
     something instead of Nothing.

   * sclv: Q: Why are the adjunctions of Galois connections backwards?
     A: He never got the hang of duals.

   * acowley: blackdog's experience with IDEs is apparently both more
     sensual and more culinary than mine

   * cmccann: shachaf jokes are what the quotes section of HWN is for.
     cmccann: though lately there have been not as many :[
     shachaf: cmccann: Hey, there wasn't a single shachaf quote in the
     last HWN!
     shachaf: Leave me alone.
     shachaf: There were two cmccann quotes.

   * edwardk: cmccann: i'm NDA'd out of that space for a while ;)
     elliott: edwardk just collects NDAs so that he can focus.

   * trapdInIO: in java everything happens elsewhere

   * edwardk: i never bothered to release the c preprocessor because it
     was entangled with an old compiler of mind

   * acowley: I get nervous when I haven't triggered the impossible for
     more than a month or so :/

   * hpc: be careful, excessive consumption of lenses will go straight
     to your type signature

   * acowley: The longer I leave this function named "jumanji" the less
     I want to find a better name

   * ion: The next step is unsafeCoerce. At that point youâre halfway
     into implementing lens.

   * bos: i'm not sure edwardk is a good model to follow. (a) because
     you won't be able to, and (b) because you won't be able to.

Top Reddit Stories

   * John Carmack interested in doing a moderate-sized project in Haskell
     Domain: twitter.com, Score: 136, Comments: 30
     On Reddit: [1] http://goo.gl/7rJpH
     Original: [2] http://goo.gl/yL9kV

   * John Carmack starting port of Wolf 3D in Haskell
     Domain: twitter.com, Score: 108, Comments: 19
     On Reddit: [3] http://goo.gl/MKkiI
     Original: [4] http://goo.gl/SN7Mp

   * Haskell for all: Program imperatively using Haskell lenses
     Domain: haskellforall.com, Score: 103, Comments: 80
     On Reddit: [5] http://goo.gl/FIfUd
     Original: [6] http://goo.gl/zkEHI

   * unm-hip a Haskell Image Processing Library
     Domain: self.haskell, Score: 71, Comments: 18
     On Reddit: [7] http://goo.gl/erMhx
     Original: [8] http://goo.gl/erMhx

   * Crit-bit trees in Haskell: fast, and open to contributors!
     Domain: github.com, Score: 56, Comments: 16
     On Reddit: [9] http://goo.gl/1vQMS
     Original: [10] http://goo.gl/08byj

   * Tutorial on HLearn's Markov networks, monoids, and "type level lenses" explained with Futurama
     Domain: izbicki.me, Score: 53, Comments: 10
     On Reddit: [11] http://goo.gl/3mYuD
     Original: [12] http://goo.gl/4WjnU

   * Cool mailing list archive I stumbled on: Haskell controlling garbage trucks
     Domain: haskell.org, Score: 49, Comments: 2
     On Reddit: [13] http://goo.gl/h8p4y
     Original: [14] http://goo.gl/kSGkx

   * Haskell intuition
     Domain: self.haskell, Score: 49, Comments: 23
     On Reddit: [15] http://goo.gl/F04IM
     Original: [16] http://goo.gl/F04IM

   * The Difference between Recursion & Induction
     Domain: blog.ezyang.com, Score: 47, Comments: 3
     On Reddit: [17] http://goo.gl/mZN3T
     Original: [18] http://goo.gl/z2jZx

   * Yesod 1.2 released
     Domain: yesodweb.com, Score: 45, Comments: 8
     On Reddit: [19] http://goo.gl/el7dt
     Original: [20] http://goo.gl/lqBM9

   * Haskell 2014 committee has now been formed
     Domain: thread.gmane.org, Score: 42, Comments: 27
     On Reddit: [21] http://goo.gl/okojc
     Original: [22] http://goo.gl/1g6FG

   * Web Frameworks Benchmark 4 (includes WAI)
     Domain: techempower.com, Score: 41, Comments: 60
     On Reddit: [23] http://goo.gl/FLGJu
     Original: [24] http://goo.gl/AJbhV

   * Haskell for all: pipes-3.3.0: Folds and uniting ListT with Proxy
     Domain: haskellforall.com, Score: 41, Comments: 14
     On Reddit: [25] http://goo.gl/sO1EK
     Original: [26] http://goo.gl/5rZ0u

   * First working program using the Repa plugin
     Domain: disciple-devel.blogspot.com, Score: 39, Comments: 5
     On Reddit: [27] http://goo.gl/bQgfV
     Original: [28] http://goo.gl/9K5Qk

   * How to use Hoogle from GHCi
     Domain: youtube.com, Score: 36, Comments: 2
     On Reddit: [29] http://goo.gl/9V9o7
     Original: [30] http://goo.gl/LU7Zk

   * 4th Episode of "The Pragmatic Haskeller": HTTP and more
     Domain: cakesolutions.net, Score: 35, Comments: 3
     On Reddit: [31] http://goo.gl/rMLyC
     Original: [32] http://goo.gl/npjKm

   * A monadic joke
     Domain: self.haskell, Score: 34, Comments: 28
     On Reddit: [33] http://goo.gl/OmwSp
     Original: [34] http://goo.gl/OmwSp

   * A "Natural" Theorem Prover in Haskell — By Tim Gowers!
     Domain: gowers.wordpress.com, Score: 34, Comments: 5
     On Reddit: [35] http://goo.gl/OomyR
     Original: [36] http://goo.gl/LWNHW

   * Towards a Haskell Logic Library
     Domain: spin.atomicobject.com, Score: 30, Comments: 1
     On Reddit: [37] http://goo.gl/puVS7
     Original: [38] http://goo.gl/7dXA0

   * Barabra Liskov - Keynote: The Power of Abstraction
     Domain: infoq.com, Score: 29, Comments: 25
     On Reddit: [39] http://goo.gl/B7AZJ
     Original: [40] http://goo.gl/SSYSm


Top StackOverflow Questions

   * What constitutes a fold for types other than list?
     votes: 34, answers: 4
     Read on SO: [41] http://goo.gl/AkbgP

   * Lazy vs Strict implementations of data structures
     votes: 19, answers: 2
     Read on SO: [42] http://goo.gl/De1VO

   * Compiling very large constants with GHC
     votes: 17, answers: 1
     Read on SO: [43] http://goo.gl/mWOMz

   * Haskell Tree splitting: Can someone please explain this line?
     votes: 16, answers: 1
     Read on SO: [44] http://goo.gl/ZVaQE

   * Could cabal notice about unused package in dependencies?
     votes: 15, answers: 1
     Read on SO: [45] http://goo.gl/IUOx2

   * How can eta-reduction of a well typed function result in a type error?
     votes: 14, answers: 2
     Read on SO: [46] http://goo.gl/3A4hu

   * What is so special about Monads?
     votes: 14, answers: 4
     Read on SO: [47] http://goo.gl/CF7BC

   * Why does ghci desugar type lists and type families? Can this be selectively disabled?
     votes: 13, answers: 0
     Read on SO: [48] http://goo.gl/QBmM7

   * How are functors in Haskell and OCaml similar?
     votes: 13, answers: 1
     Read on SO: [49] http://goo.gl/rIYKy

   * Monitoring GHC activity
     votes: 10, answers: 1
     Read on SO: [50] http://goo.gl/q7WuU

   * Why isn't the Prelude's words function written more simply?
     votes: 10, answers: 1
     Read on SO: [51] http://goo.gl/W1TqA

   * How to design a monadic stack?
     votes: 10, answers: 2
     Read on SO: [52] http://goo.gl/LAeJI

   * How to generate arbitrary instances of a simple type for quickcheck
     votes: 9, answers: 2
     Read on SO: [53] http://goo.gl/oCesk

Until next time,
+Daniel Santa Cruz

References

   1. https://twitter.com/ID_AA_Carmack/status/331557216488390656
   2. http://www.reddit.com/r/haskell/comments/1dv4ij/john_carmack_interested_in_doing_a_moderatesized/
   3. https://twitter.com/id_aa_carmack/status/331918309916295168
   4. http://www.reddit.com/r/haskell/comments/1dwjup/john_carmack_starting_port_of_wolf_3d_in_haskell/
   5. http://www.haskellforall.com/2013/05/program-imperatively-using-haskell.html
   6. http://www.reddit.com/r/haskell/comments/1dpk2b/haskell_for_all_program_imperatively_using/
   7. http://www.reddit.com/r/haskell/comments/1dzk73/unmhip_a_haskell_image_processing_library/
   8. http://www.reddit.com/r/haskell/comments/1dzk73/unmhip_a_haskell_image_processing_library/
   9. https://github.com/bos/critbit
  10. http://www.reddit.com/r/haskell/comments/1e1ywq/critbit_trees_in_haskell_fast_and_open_to/
  11. http://izbicki.me/blog/markov-networks-monoids-and-futurama
  12. http://www.reddit.com/r/haskell/comments/1e0759/tutorial_on_hlearns_markov_networks_monoids_and/
  13. http://www.haskell.org/pipermail/haskell-cafe/2010-April/075647.html
  14. http://www.reddit.com/r/haskell/comments/1df8fy/cool_mailing_list_archive_i_stumbled_on_haskell/
  15. http://www.reddit.com/r/haskell/comments/1e3cl0/haskell_intuition/
  16. http://www.reddit.com/r/haskell/comments/1e3cl0/haskell_intuition/
  17. http://blog.ezyang.com/2013/04/the-difference-between-recursion-induction/
  18. http://www.reddit.com/r/haskell/comments/1dbwp4/the_difference_between_recursion_induction/
  19. http://www.yesodweb.com/blog/2013/05/yesod-1-2-released
  20. http://www.reddit.com/r/haskell/comments/1dko1d/yesod_12_released/
  21. http://thread.gmane.org/gmane.comp.lang.haskell.general/19796
  22. http://www.reddit.com/r/haskell/comments/1dhbjr/haskell_2014_committee_has_now_been_formed/
  23. http://www.techempower.com/blog/2013/05/02/frameworks-round-4/
  24. http://www.reddit.com/r/haskell/comments/1dk73s/web_frameworks_benchmark_4_includes_wai/
  25. http://www.haskellforall.com/2013/05/pipes-330-folds-and-uniting-listt-with.html
  26. http://www.reddit.com/r/haskell/comments/1dsuto/haskell_for_all_pipes330_folds_and_uniting_listt/
  27. http://disciple-devel.blogspot.com/2013/05/first-working-program-using-repa-plugin.html
  28. http://www.reddit.com/r/haskell/comments/1dm7a6/first_working_program_using_the_repa_plugin/
  29. http://www.youtube.com/watch?v=QpDQhGYPqkU
  30. http://www.reddit.com/r/haskell/comments/1dxx4m/how_to_use_hoogle_from_ghci/
  31. http://www.cakesolutions.net/teamblogs/2013/04/28/tph-episode-4-http-and-more/
  32. http://www.reddit.com/r/haskell/comments/1d9zou/4th_episode_of_the_pragmatic_haskeller_http_and/
  33. http://www.reddit.com/r/haskell/comments/1dcfso/a_monadic_joke/
  34. http://www.reddit.com/r/haskell/comments/1dcfso/a_monadic_joke/
  35. http://gowers.wordpress.com/2013/04/14/answers-results-of-polls-and-a-brief-description-of-the-program/
  36. http://www.reddit.com/r/haskell/comments/1dtw7v/a_natural_theorem_prover_in_haskell_by_tim_gowers/
  37. http://spin.atomicobject.com/2013/05/10/haskell-logic-library/?utm_source=twitter-sv
  38. http://www.reddit.com/r/haskell/comments/1e2okw/towards_a_haskell_logic_library/
  39. http://www.infoq.com/presentations/programming-abstraction-liskov
  40. http://www.reddit.com/r/haskell/comments/1dodfb/barabra_liskov_keynote_the_power_of_abstraction/
  41. http://stackoverflow.com/questions/16426463/what-constitutes-a-fold-for-types-other-than-list
  42. http://stackoverflow.com/questions/16296571/lazy-vs-strict-implementations-of-data-structures
  43. http://stackoverflow.com/questions/16348340/compiling-very-large-constants-with-ghc
  44. http://stackoverflow.com/questions/16267497/haskell-tree-splitting-can-someone-please-explain-this-line
  45. http://stackoverflow.com/questions/16390273/could-cabal-notice-about-unused-package-in-dependencies
  46. http://stackoverflow.com/questions/16402942/how-can-eta-reduction-of-a-well-typed-function-result-in-a-type-error
  47. http://stackoverflow.com/questions/16439025/what-is-so-special-about-monads
  48. http://stackoverflow.com/questions/16346293/why-does-ghci-desugar-type-lists-and-type-families-can-this-be-selectively-disa
  49. http://stackoverflow.com/questions/16353066/how-are-functors-in-haskell-and-ocaml-similar
  50. http://stackoverflow.com/questions/16348118/monitoring-ghc-activity
  51. http://stackoverflow.com/questions/16446274/why-isnt-the-preludes-words-function-written-more-simply
  52. http://stackoverflow.com/questions/16457111/how-to-design-a-monadic-stack
  53. http://stackoverflow.com/questions/16440208/how-to-generate-arbitrary-instances-of-a-simple-type-for-quickcheck
  54. https://plus.google.com/105107667630152149014/about