<div dir="ltr"><div>Welcome to issue 256 of the HWN, an issue covering crowd-sourced bits</div><div>of information about Haskell from around the web. This issue covers the</div><div>weeks of January 20 to 26, 2013.</div><div>

<br></div><div>Quotes of the Week</div><div><br></div><div>   * elliott: cmccann: unfortunately it is too perfect an abstraction to</div><div>     <span class="" style="white-space:pre">        </span>      be useful.</div><div>

<br></div><div>   * SamanthaD: shachaf: you&#39;re one of those dirty imperative communists</div><div>     <span class="" style="white-space:pre">                </span>who want the state to dictate everything!</div><div><br></div><div>

   * monochrom: I refuse camel case and mark zuckerberg. same level. not</div><div>     <span class="" style="white-space:pre">                </span>negotiable.</div><div><br></div><div>   * mauke: a newtype is like an existing type but wearing glasses and a</div>

<div>     <span class="" style="white-space:pre">        </span>    fake mustache and a sign saying &quot;you&#39;ve never seen me before&quot;</div><div><br></div><div>Top Reddit Stories</div><div><br></div><div>   * Taking magic out of GHC or: Tracing compilation by transformation </div>

<div>     (intro to Core transformations, inlining,..</div><div>     Domain: <a href="http://ics.p.lodz.pl">ics.p.lodz.pl</a>, Score: 59, Comments: 2</div><div>     On Reddit: [1] <a href="http://goo.gl/lJmsb">http://goo.gl/lJmsb</a></div>

<div>     Original: [2] <a href="http://goo.gl/IbJ5O">http://goo.gl/IbJ5O</a></div><div><br></div><div>   * Introduction to Haskell IO</div><div>     Domain: <a href="http://haskellforall.com">haskellforall.com</a>, Score: 57, Comments: 26</div>

<div>     On Reddit: [3] <a href="http://goo.gl/fPky4">http://goo.gl/fPky4</a></div><div>     Original: [4] <a href="http://goo.gl/Xymbr">http://goo.gl/Xymbr</a></div><div><br></div><div>   * The longest type signature I have ever seen (package Nussinov78)</div>

<div>     Domain: <a href="http://i.imgur.com">i.imgur.com</a>, Score: 48, Comments: 26</div><div>     On Reddit: [5] <a href="http://goo.gl/ePwNs">http://goo.gl/ePwNs</a></div><div>     Original: [6] <a href="http://goo.gl/B74yW">http://goo.gl/B74yW</a></div>

<div><br></div><div>   * There is now a patch for the GHC runtime system which implements a </div><div>     scheduler which can handle threads with priorities.</div><div>     Domain: <a href="http://hackage.haskell.org">hackage.haskell.org</a>, Score: 47, Comments: 12</div>

<div>     On Reddit: [7] <a href="http://goo.gl/22XgH">http://goo.gl/22XgH</a></div><div>     Original: [8] <a href="http://goo.gl/8iC8w">http://goo.gl/8iC8w</a></div><div><br></div><div>   * Success story: novice haskeller moves console cursor with </div>

<div>     “netwire” FRP library</div><div>     Domain: <a href="http://danbst.wordpress.com">danbst.wordpress.com</a>, Score: 43, Comments: 8</div><div>     On Reddit: [9] <a href="http://goo.gl/dm8ga">http://goo.gl/dm8ga</a></div>

<div>     Original: [10] <a href="http://goo.gl/Ue7pK">http://goo.gl/Ue7pK</a></div><div><br></div><div>   * Haskell as pseudo code</div><div>     Domain: <a href="http://arxiv.org">arxiv.org</a>, Score: 33, Comments: 2</div>

<div>     On Reddit: [11] <a href="http://goo.gl/JL8Mf">http://goo.gl/JL8Mf</a></div><div>     Original: [12] <a href="http://goo.gl/5D4zV">http://goo.gl/5D4zV</a></div><div><br></div><div>   * Generalizing do notation</div>

<div>     Domain: self.haskell, Score: 28, Comments: 19</div><div>     On Reddit: [13] <a href="http://goo.gl/teYAD">http://goo.gl/teYAD</a></div><div>     Original: [14] <a href="http://goo.gl/teYAD">http://goo.gl/teYAD</a></div>

<div><br></div><div>   * Tutorial: Up-front Unit Testing in Haskell</div><div>     Domain: <a href="http://github.com">github.com</a>, Score: 26, Comments: 21</div><div>     On Reddit: [15] <a href="http://goo.gl/kjzYJ">http://goo.gl/kjzYJ</a></div>

<div>     Original: [16] <a href="http://goo.gl/oB2jg">http://goo.gl/oB2jg</a></div><div><br></div><div>   * The Design of a Practical Proof Checker for a Lazy Functional Language [PDF]</div><div>     Domain: <a href="http://people.cs.missouri.edu">people.cs.missouri.edu</a>, Score: 26, Comments: </div>

<div>     On Reddit: [17] <a href="http://goo.gl/sj5Aj">http://goo.gl/sj5Aj</a></div><div>     Original: [18] <a href="http://goo.gl/eEUOj">http://goo.gl/eEUOj</a></div><div><br></div><div>   * Introduction to Haskell, Lecture 2 is Live</div>

<div>     Domain: <a href="http://shuklan.com">shuklan.com</a>, Score: 24, Comments: 4</div><div>     On Reddit: [19] <a href="http://goo.gl/1nUVv">http://goo.gl/1nUVv</a></div><div>     Original: [20] <a href="http://goo.gl/rCbfx">http://goo.gl/rCbfx</a></div>

<div><br></div><div>   * Hugs in your browser</div><div>     Domain: <a href="http://tryhaskell.org">tryhaskell.org</a>, Score: 24, Comments: 21</div><div>     On Reddit: [21] <a href="http://goo.gl/zNtex">http://goo.gl/zNtex</a></div>

<div>     Original: [22] <a href="http://goo.gl/wMPPW">http://goo.gl/wMPPW</a></div><div><br></div><div>   * Free functors - the reason Free and operational are not equivalent</div><div>     Domain: self.haskell, Score: 24, Comments: 12</div>

<div>     On Reddit: [23] <a href="http://goo.gl/E7qe7">http://goo.gl/E7qe7</a></div><div>     Original: [24] <a href="http://goo.gl/E7qe7">http://goo.gl/E7qe7</a></div><div><br></div><div>   * Scribbling, smudging and smearing with Haskell</div>

<div>     Domain: self.haskell, Score: 22, Comments: 108</div><div>     On Reddit: [25] <a href="http://goo.gl/KBw0V">http://goo.gl/KBw0V</a></div><div>     Original: [26] <a href="http://goo.gl/KBw0V">http://goo.gl/KBw0V</a></div>

<div><br></div><div>   * Touch and Keyboard API (announcing Elm 0.7.1)</div><div>     Domain: <a href="http://elm-lang.org">elm-lang.org</a>, Score: 20, Comments: 3</div><div>     On Reddit: [27] <a href="http://goo.gl/OhFaH">http://goo.gl/OhFaH</a></div>

<div>     Original: [28] <a href="http://goo.gl/rV9bU">http://goo.gl/rV9bU</a></div><div><br></div><div>   * (re)implementing the generalised Functor strength function using lenses.</div><div>     Domain: <a href="http://statusfailed.com">statusfailed.com</a>, Score: 20, Comments: 3</div>

<div>     On Reddit: [29] <a href="http://goo.gl/gEYHr">http://goo.gl/gEYHr</a></div><div>     Original: [30] <a href="http://goo.gl/TDX2A">http://goo.gl/TDX2A</a></div><div><br></div><div>Top StackOverflow Questions</div>

<div><br></div><div>   * Can using UndecidableInstances pragma locally have global consequences </div><div>     on compilation termination?</div><div>     votes: 20, answers: 1</div><div>     Read on SO: [31] <a href="http://goo.gl/PcQF1">http://goo.gl/PcQF1</a></div>

<div><br></div><div>   * Why doesn&#39;t GHC Haskell support overloaded record parameter names?</div><div>     votes: 14, answers: 1</div><div>     Read on SO: [32] <a href="http://goo.gl/BJ71T">http://goo.gl/BJ71T</a></div>

<div><br></div><div>   * How much does it cost for Haskell FFI to go into C and back?</div><div>     votes: 14, answers: 2</div><div>     Read on SO: [33] <a href="http://goo.gl/kUCKn">http://goo.gl/kUCKn</a></div><div><br>

</div><div>   * Compile unsafe Haskell</div><div>     votes: 13, answers: 1</div><div>     Read on SO: [34] <a href="http://goo.gl/nGaCX">http://goo.gl/nGaCX</a></div><div><br></div><div>   * Why GADT/existential data constructors cannot be used in lazy patterns?</div>

<div>     votes: 12, answers: 2</div><div>     Read on SO: [35] <a href="http://goo.gl/zhpCh">http://goo.gl/zhpCh</a></div><div><br></div><div>   * Correct design for Haskell exception handling</div><div>     votes: 11, answers: 2</div>

<div>     Read on SO: [36] <a href="http://goo.gl/zeWoH">http://goo.gl/zeWoH</a></div><div><br></div><div>   * How to use phase control of inlining in haskell?</div><div>     votes: 10, answers: 0</div><div>     Read on SO: [37] <a href="http://goo.gl/dyuGI">http://goo.gl/dyuGI</a></div>

<div><br></div><div>   * Looking for resources that help testing a Haskell implementation for </div><div>     standard conformance</div><div>     votes: 9, answers: 1</div><div>     Read on SO: [38] <a href="http://goo.gl/DL7vY">http://goo.gl/DL7vY</a></div>

<div><br></div><div>   * Generate a C struct based on a complex Haskell type</div><div>     votes: 8, answers: 1</div><div>     Read on SO: [39] <a href="http://goo.gl/7E8OT">http://goo.gl/7E8OT</a></div><div><br></div><div>

   * How to structure a Haskell project?</div><div>     votes: 7, answers: 1</div><div>     Read on SO: [40] <a href="http://goo.gl/J4GuA">http://goo.gl/J4GuA</a></div><div><br></div><div>   * Difference between two functions creating a singleton list</div>

<div>     votes: 7, answers: 3</div><div>     Read on SO: [41] <a href="http://goo.gl/ZXzw0">http://goo.gl/ZXzw0</a></div><div><br></div><div>Until next time,</div><div>Daniel Santa Cruz</div><div><br></div><div>References</div>

<div><br></div><div>   1. <a href="http://ics.p.lodz.pl/~stolarek/blog/2013/01/taking-magic-out-of-ghc-or-tracing-compilation-by-transformation/">http://ics.p.lodz.pl/~stolarek/blog/2013/01/taking-magic-out-of-ghc-or-tracing-compilation-by-transformation/</a></div>

<div>   2. <a href="http://www.reddit.com/r/haskell/comments/17bu54/taking_magic_out_of_ghc_or_tracing_compilation_by/">http://www.reddit.com/r/haskell/comments/17bu54/taking_magic_out_of_ghc_or_tracing_compilation_by/</a></div>

<div>   3. <a href="http://www.haskellforall.com/2013/01/introduction-to-haskell-io.html">http://www.haskellforall.com/2013/01/introduction-to-haskell-io.html</a></div><div>   4. <a href="http://www.reddit.com/r/haskell/comments/17712e/introduction_to_haskell_io/">http://www.reddit.com/r/haskell/comments/17712e/introduction_to_haskell_io/</a></div>

<div>   5. <a href="http://i.imgur.com/Zv9JH9A.png">http://i.imgur.com/Zv9JH9A.png</a></div><div>   6. <a href="http://www.reddit.com/r/haskell/comments/178jwh/the_longest_type_signature_i_have_ever_seen/">http://www.reddit.com/r/haskell/comments/178jwh/the_longest_type_signature_i_have_ever_seen/</a></div>

<div>   7. <a href="http://hackage.haskell.org/trac/ghc/ticket/7606">http://hackage.haskell.org/trac/ghc/ticket/7606</a></div><div>   8. <a href="http://www.reddit.com/r/haskell/comments/1725g0/there_is_now_a_patch_for_the_ghc_runtime_system/">http://www.reddit.com/r/haskell/comments/1725g0/there_is_now_a_patch_for_the_ghc_runtime_system/</a></div>

<div>   9. <a href="http://danbst.wordpress.com/2013/01/23/novice-netwire-user/">http://danbst.wordpress.com/2013/01/23/novice-netwire-user/</a></div><div>  10. <a href="http://www.reddit.com/r/haskell/comments/173cxi/success_story_novice_haskeller_moves_console/">http://www.reddit.com/r/haskell/comments/173cxi/success_story_novice_haskeller_moves_console/</a></div>

<div>  11. <a href="http://arxiv.org/abs/1301.5076">http://arxiv.org/abs/1301.5076</a></div><div>  12. <a href="http://www.reddit.com/r/haskell/comments/176xk0/haskell_as_pseudo_code/">http://www.reddit.com/r/haskell/comments/176xk0/haskell_as_pseudo_code/</a></div>

<div>  13. <a href="http://www.reddit.com/r/haskell/comments/16zrsp/generalizing_do_notation/">http://www.reddit.com/r/haskell/comments/16zrsp/generalizing_do_notation/</a></div><div>  14. <a href="http://www.reddit.com/r/haskell/comments/16zrsp/generalizing_do_notation/">http://www.reddit.com/r/haskell/comments/16zrsp/generalizing_do_notation/</a></div>

<div>  15. <a href="https://github.com/kazu-yamamoto/unit-test-example/blob/master/markdown/en/tutorial.md">https://github.com/kazu-yamamoto/unit-test-example/blob/master/markdown/en/tutorial.md</a></div><div>  16. <a href="http://www.reddit.com/r/haskell/comments/1750i9/tutorial_upfront_unit_testing_in_haskell/">http://www.reddit.com/r/haskell/comments/1750i9/tutorial_upfront_unit_testing_in_haskell/</a></div>

<div>  17. <a href="http://people.cs.missouri.edu/~harrisonwl/papers/tfp2012.pdf">http://people.cs.missouri.edu/~harrisonwl/papers/tfp2012.pdf</a></div><div>  18. <a href="http://www.reddit.com/r/haskell/comments/179367/the_design_of_a_practical_proof_checker_for_a/">http://www.reddit.com/r/haskell/comments/179367/the_design_of_a_practical_proof_checker_for_a/</a></div>

<div>  19. <a href="http://shuklan.com/haskell">http://shuklan.com/haskell</a></div><div>  20. <a href="http://www.reddit.com/r/haskell/comments/172h5q/introduction_to_haskell_lecture_2_is_live/">http://www.reddit.com/r/haskell/comments/172h5q/introduction_to_haskell_lecture_2_is_live/</a></div>

<div>  21. <a href="http://tryhaskell.org/hugs/">http://tryhaskell.org/hugs/</a></div><div>  22. <a href="http://www.reddit.com/r/haskell/comments/177a56/hugs_in_your_browser/">http://www.reddit.com/r/haskell/comments/177a56/hugs_in_your_browser/</a></div>

<div>  23. <a href="http://www.reddit.com/r/haskell/comments/17a33g/free_functors_the_reason_free_and_operational_are/">http://www.reddit.com/r/haskell/comments/17a33g/free_functors_the_reason_free_and_operational_are/</a></div>

<div>  24. <a href="http://www.reddit.com/r/haskell/comments/17a33g/free_functors_the_reason_free_and_operational_are/">http://www.reddit.com/r/haskell/comments/17a33g/free_functors_the_reason_free_and_operational_are/</a></div>

<div>  25. <a href="http://www.reddit.com/r/haskell/comments/175mxw/scribbling_smudging_and_smearing_with_haskell/">http://www.reddit.com/r/haskell/comments/175mxw/scribbling_smudging_and_smearing_with_haskell/</a></div>
<div>
  26. <a href="http://www.reddit.com/r/haskell/comments/175mxw/scribbling_smudging_and_smearing_with_haskell/">http://www.reddit.com/r/haskell/comments/175mxw/scribbling_smudging_and_smearing_with_haskell/</a></div><div>
  27. <a href="http://elm-lang.org/blog/announce/version-0.7.1.elm">http://elm-lang.org/blog/announce/version-0.7.1.elm</a></div>
<div>  28. <a href="http://www.reddit.com/r/haskell/comments/179nwl/touch_and_keyboard_api_announcing_elm_071/">http://www.reddit.com/r/haskell/comments/179nwl/touch_and_keyboard_api_announcing_elm_071/</a></div><div>  29. <a href="http://statusfailed.com/blog/2013/01/26/haskells-strength-generalising-with-lenses.html">http://statusfailed.com/blog/2013/01/26/haskells-strength-generalising-with-lenses.html</a></div>

<div>  30. <a href="http://www.reddit.com/r/haskell/comments/17b5ak/reimplementing_the_generalised_functor_strength/">http://www.reddit.com/r/haskell/comments/17b5ak/reimplementing_the_generalised_functor_strength/</a></div>

<div>  31. <a href="http://stackoverflow.com/questions/14476230/can-using-undecidableinstances-pragma-locally-have-global-consequences-on-compil">http://stackoverflow.com/questions/14476230/can-using-undecidableinstances-pragma-locally-have-global-consequences-on-compil</a></div>

<div>  32. <a href="http://stackoverflow.com/questions/14422169/why-doesnt-ghc-haskell-support-overloaded-record-parameter-names">http://stackoverflow.com/questions/14422169/why-doesnt-ghc-haskell-support-overloaded-record-parameter-names</a></div>

<div>  33. <a href="http://stackoverflow.com/questions/14519905/how-much-does-it-cost-for-haskell-ffi-to-go-into-c-and-back">http://stackoverflow.com/questions/14519905/how-much-does-it-cost-for-haskell-ffi-to-go-into-c-and-back</a></div>

<div>  34. <a href="http://stackoverflow.com/questions/14429966/compile-unsafe-haskell">http://stackoverflow.com/questions/14429966/compile-unsafe-haskell</a></div><div>  35. <a href="http://stackoverflow.com/questions/14538255/why-gadt-existential-data-constructors-cannot-be-used-in-lazy-patterns">http://stackoverflow.com/questions/14538255/why-gadt-existential-data-constructors-cannot-be-used-in-lazy-patterns</a></div>

<div>  36. <a href="http://stackoverflow.com/questions/14538294/correct-design-for-haskell-exception-handling">http://stackoverflow.com/questions/14538294/correct-design-for-haskell-exception-handling</a></div><div>  37. <a href="http://stackoverflow.com/questions/14446368/how-to-use-phase-control-of-inlining-in-haskell">http://stackoverflow.com/questions/14446368/how-to-use-phase-control-of-inlining-in-haskell</a></div>

<div>  38. <a href="http://stackoverflow.com/questions/14484569/looking-for-resources-that-help-testing-a-haskell-implementation-for-standard-co">http://stackoverflow.com/questions/14484569/looking-for-resources-that-help-testing-a-haskell-implementation-for-standard-co</a></div>

<div>  39. <a href="http://stackoverflow.com/questions/14500582/generate-a-c-struct-based-on-a-complex-haskell-type">http://stackoverflow.com/questions/14500582/generate-a-c-struct-based-on-a-complex-haskell-type</a></div>

<div>  40. <a href="http://stackoverflow.com/questions/14421178/how-to-structure-a-haskell-project">http://stackoverflow.com/questions/14421178/how-to-structure-a-haskell-project</a></div><div>  41. <a href="http://stackoverflow.com/questions/14530555/difference-between-two-functions-creating-a-singleton-list">http://stackoverflow.com/questions/14530555/difference-between-two-functions-creating-a-singleton-list</a></div>

<div>  42. <a href="https://plus.google.com/105107667630152149014/about">https://plus.google.com/105107667630152149014/about</a></div><div><br></div></div>