Welcome to issue 275 of the HWN, an issue covering crowd-sourced bits
of information about Haskell from around the web. This issue covers the
week of July 28 to August 3, 2013.

Quotes of the Week

   * littlecalculist: combinatorics. n. math's way of punishing you for
     failing to use abstraction.

   * dmwit: ?let instance Num Bool where (+) = (/=); (*) = (&&); 
     negate = id; abs = id; signum = id; fromInteger = odd

   * edwardk: clearly it should be \x -> x <$ do f . g $ x. do is a
     magical () killing machine

   * dmwit: Type families are not injective. Your first three
     inscrutable error messages with type families in them will be
     because you don't understand this rule.

   * elliott: halting problem, n. the property which makes stating
     anything about programs impossible, according to at least one
     person in any room

   * carmack: Everything that is syntactically legal that the compiler
     will accept will eventually wind up in your codebase.

Top Reddit Stories

   * John Carmack talking at length about Haskell in his 
     QuakeCon Keynote speech (live)
     Domain: twitch.tv, Score: 105, Comments: 47
     On Reddit: [1] http://goo.gl/1g1zqD
     Original: [2] http://goo.gl/C17ci8

   * SPJ: GHC's Glorious future
     Domain: haskell.org, Score: 79, Comments: 16
     On Reddit: [3] http://goo.gl/97DGuc
     Original: [4] http://goo.gl/YAY6wC

   * There's a massive gap between the "average" and "expert" Haskeller. 
     How do I bridge that gap?
     Domain: self.haskell, Score: 73, Comments: 53
     On Reddit: [5] http://goo.gl/Y3jEoa
     Original: [6] http://goo.gl/Y3jEoa

   * Getting Started With GHC Hacking
     Domain: dagit.github.io, Score: 64, Comments: 2
     On Reddit: [7] http://goo.gl/ZwHVpm
     Original: [8] http://goo.gl/ljhyff

   * Extensible Effects: An Alternative to Monad Transformers
     Domain: cs.indiana.edu, Score: 63, Comments: 47
     On Reddit: [9] http://goo.gl/2JqImi
     Original: [10] http://goo.gl/zq5klw

   * The Intel Labs Haskell Research Compiler [pdf]
     Domain: leafpetersen.com, Score: 55, Comments: 19
     On Reddit: [11] http://goo.gl/wRQs7E
     Original: [12] http://goo.gl/2eZhEX

   * Goto in Haskell
     Domain: self.haskell, Score: 36, Comments: 34
     On Reddit: [13] http://goo.gl/pelEJo
     Original: [14] http://goo.gl/pelEJo

   * The Algebra of Algebraic Data Type
     Domain: chris-taylor.github.io, Score: 35, Comments: 3
     On Reddit: [15] http://goo.gl/PPi0M1
     Original: [16] http://goo.gl/xE78Ko

   * Functors and monads for analyzing data
     Domain: izbicki.me, Score: 32, Comments: 16
     On Reddit: [17] http://goo.gl/42ux1T
     Original: [18] http://goo.gl/LAJ7ti

   * Why use _ <-?
     Domain: self.haskell, Score: 31, Comments: 24
     On Reddit: [19] http://goo.gl/QpGPP1
     Original: [20] http://goo.gl/QpGPP1

   * CIS 194: Introduction to Haskell (Spring 2013)
     Domain: cis.upenn.edu, Score: 30, Comments: 3
     On Reddit: [21] http://goo.gl/9zHuXb
     Original: [22] http://goo.gl/cNyEOT

   * The Commutative monad
     Domain: gelisam.blogspot.ca, Score: 30, Comments: 41
     On Reddit: [23] http://goo.gl/kDVTrl
     Original: [24] http://goo.gl/mTCHL0

   * FRP GUI - reactive-banana + threepenny-gui = awesome
     Domain: apfelmus.nfshost.com, Score: 30, Comments: 11
     On Reddit: [25] http://goo.gl/xu91UA
     Original: [26] http://goo.gl/9Vu6ng


Top StackOverflow Questions

   * Monad Stack Penetration Classes with Free/Operational Monad Transformers?
     votes: 16, answers: 1
     Read on SO: [27] http://goo.gl/t4F6kd

   * Haskell reexport everything
     votes: 12, answers: 1
     Read on SO: [28] http://goo.gl/7HQCVC

   * What are the main differences between Scala and Frege 
     (in programming paradigms)?
     votes: 11, answers: 2
     Read on SO: [29] http://goo.gl/TRhjDB

   * If a thunk results in an exception, is the exception kept as the 
     result of the thunk?
     votes: 10, answers: 1
     Read on SO: [30] http://goo.gl/rPSd6J

   * Check if import is redundant
     votes: 9, answers: 1
     Read on SO: [31] http://goo.gl/jEqBnt

   * Haskell Parser Combinators
     votes: 9, answers: 1
     Read on SO: [32] http://goo.gl/YCrsX3

   * A library implementation of a recursion scheme
     votes: 8, answers: 1
     Read on SO: [33] http://goo.gl/DdYPtw

Until next time,
[34]+Daniel Santa Cruz

References

   1. http://www.twitch.tv/bethesda?utm_campaign=live_embed_click&utm_source=www.quakecon.org
   2. http://www.reddit.com/r/haskell/comments/1jj40p/john_carmack_talking_at_length_about_haskell_in/
   3. http://www.haskell.org/pipermail/ghc-devs/2013-August/001818.html
   4. http://www.reddit.com/r/haskell/comments/1jky60/spj_ghcs_glorious_future/
   5. http://www.reddit.com/r/haskell/comments/1jeo0p/theres_a_massive_gap_between_the_average_and/
   6. http://www.reddit.com/r/haskell/comments/1jeo0p/theres_a_massive_gap_between_the_average_and/
   7. http://dagit.github.io/posts/2013-08-03-getting-started-with-ghc-hacking.html
   8. http://www.reddit.com/r/haskell/comments/1jnaz5/getting_started_with_ghc_hacking/
   9. http://www.cs.indiana.edu/~sabry/papers/exteff.pdf
  10. http://www.reddit.com/r/haskell/comments/1j9n5y/extensible_effects_an_alternative_to_monad/
  11. http://www.leafpetersen.com/leaf/publications/hs2013/hrc-paper.pdf
  12. http://www.reddit.com/r/haskell/comments/1jh4iv/the_intel_labs_haskell_research_compiler_pdf/
  13. http://www.reddit.com/r/haskell/comments/1jk06q/goto_in_haskell/
  14. http://www.reddit.com/r/haskell/comments/1jk06q/goto_in_haskell/
  15. http://chris-taylor.github.io/blog/2013/02/13/the-algebra-of-algebraic-data-types-part-iii/
  16. http://www.reddit.com/r/haskell/comments/1jhq7k/the_algebra_of_algebraic_data_type/
  17. http://izbicki.me/blog/functors-and-monads-for-analyzing-data
  18. http://www.reddit.com/r/haskell/comments/1ja3js/functors_and_monads_for_analyzing_data/
  19. http://www.reddit.com/r/haskell/comments/1jcls5/why_use/
  20. http://www.reddit.com/r/haskell/comments/1jcls5/why_use/
  21. http://www.cis.upenn.edu/~cis194/
  22. http://www.reddit.com/r/haskell/comments/1j9m5e/cis_194_introduction_to_haskell_spring_2013/
  23. http://gelisam.blogspot.ca/2013/07/the-commutative-monad.html
  24. http://www.reddit.com/r/haskell/comments/1jegxb/the_commutative_monad/
  25. http://apfelmus.nfshost.com/blog/2013/08/02-reactive-banana-threepenny.html
  26. http://www.reddit.com/r/haskell/comments/1jk16t/frp_gui_reactivebanana_threepennygui_awesome/
  27. http://stackoverflow.com/questions/17936900/monad-stack-penetration-classes-with-free-operational-monad-transformers
  28. http://stackoverflow.com/questions/18035458/haskell-reexport-everything
  29. http://stackoverflow.com/questions/17905322/what-are-the-main-differences-between-scala-and-frege-in-programming-paradigms
  30. http://stackoverflow.com/questions/18018254/if-a-thunk-results-in-an-exception-is-the-exception-kept-as-the-result-of-the-t
  31. http://stackoverflow.com/questions/17904265/check-if-import-is-redundant
  32. http://stackoverflow.com/questions/18028220/haskell-parser-combinators
  33. http://stackoverflow.com/questions/18013547/a-library-implementation-of-a-recursion-scheme
  34. https://plus.google.com/105107667630152149014/about