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
_______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell