Welcome to issue 312 of the HWN, an issue covering crowd-sourced bits

of information about Haskell from around the web. This issue covers

from October 26 to November 15, 2014

Quotes of the Week

   * barsoap: There's no place for half measures in overkill.

Top Reddit Stories

   * Category Theory for Programmers: The Preface

     Domain: bartoszmilewski.com, Score: 141, Comments: 68

     Original: [1] http://goo.gl/nTaVM5

     On Reddit: [2] http://goo.gl/9cnWqN

   * Idris 0.9.15 released: partial evaluator, uniqueness types, library cleanups, and fancier docs.

     Domain: idris-lang.org, Score: 111, Comments: 55

     Original: [3] http://goo.gl/nL9Ptr

     On Reddit: [4] http://goo.gl/mkHVEl

   * HaskForce - The Haskell Plugin for IntelliJ IDEA

     Domain: carymrobbins.github.io, Score: 104, Comments: 34

     Original: [5] http://goo.gl/Oa0jBA

     On Reddit: [6] http://goo.gl/W2jrFW

   * Haskell for all: How to desugar Haskell code

     Domain: haskellforall.com, Score: 97, Comments: 50

     Original: [7] http://goo.gl/1ZfiyP

     On Reddit: [8] http://goo.gl/hK3xTo

   * Functional programming and condescension

     Domain: superginbaby.wordpress.com, Score: 87, Comments: 147

     Original: [9] http://goo.gl/erVkNx

     On Reddit: [10] http://goo.gl/ncQcxX

   * Quick Reminder to be Courteous

     Domain: self.haskell, Score: 85, Comments: 39

     Original: [11] http://goo.gl/pmEODB

     On Reddit: [12] http://goo.gl/pmEODB

   * Category Theory Applied to Functional Programming

     Domain: eafit.edu.co, Score: 84, Comments: 14

     Original: [13] http://goo.gl/ax59vm

     On Reddit: [14] http://goo.gl/xZYksD

   * New Book - Game Programming in Haskell

     Domain: leanpub.com, Score: 84, Comments: 31

     Original: [15] http://goo.gl/hAqaaU

     On Reddit: [16] http://goo.gl/XePpcJ

   * "hasql" is up to 2x and 7x faster than "postgresql-simple" and "HDBC"

     Domain: nikita-volkov.github.io, Score: 72, Comments: 22

     Original: [17] http://goo.gl/YwU4OQ

     On Reddit: [18] http://goo.gl/fnfFAC

   * Typing Haskell in Haskell (markdownified with syntax highlighting and updated links)

     Domain: gist.github.com, Score: 68, Comments: 3

     Original: [19] http://goo.gl/U6Jnvr

     On Reddit: [20] http://goo.gl/QeLcak

   * Using Haskell at Work

     Domain: self.haskell, Score: 66, Comments: 66

     Original: [21] http://goo.gl/265kRm

     On Reddit: [22] http://goo.gl/265kRm

   * Category: The Essence of Composition (First section of the Category Theory for Programmers)

     Domain: bartoszmilewski.com, Score: 60, Comments: 37

     Original: [23] http://goo.gl/pdwr4X

     On Reddit: [24] http://goo.gl/AtYhI3

   * PureScript 0.6 released, plus new website

     Domain: github.com, Score: 55, Comments: 23

     Original: [25] http://goo.gl/TSuiEM

     On Reddit: [26] http://goo.gl/ZRBCHz

   * Tomatoes are a subtype of vegetables

     Domain: blog.ezyang.com, Score: 53, Comments: 58

     Original: [27] http://goo.gl/1evzHU

     On Reddit: [28] http://goo.gl/qiiwSS

   * The Guts of a Spineless Machine

     Domain: jozefg.bitbucket.org, Score: 49, Comments: 11

     Original: [29] http://goo.gl/KxW1iq

     On Reddit: [30] http://goo.gl/CNQbwk

   * A Large Scale Study of Programming Languages and Code Quality in Github

     Domain: macbeth.cs.ucdavis.edu, Score: 47, Comments: 48

     Original: [31] http://goo.gl/TEoSBV

     On Reddit: [32] http://goo.gl/18UfCM

   * ghci-ng - GHCi plus extra goodies

     Domain: github.com, Score: 45, Comments: 14

     Original: [33] http://goo.gl/g6VMiK

     On Reddit: [34] http://goo.gl/5Mg7n8

Top StackOverflow Questions

   * Haskell's type checker is allowing a very wrong type replacement, and the program still compiles

     votes: 68, answers: 2

     Read on SO: [35] http://goo.gl/ikcCmv

   * Subsumption in polymorphic types

     votes: 29, answers: 1

     Read on SO: [36] http://goo.gl/clKuju

   * Rewriting as a practical optimization technique in GHC: Is it really needed?

     votes: 23, answers: 3

     Read on SO: [37] http://goo.gl/MNNuhW

   * Is there an unsigned integer type that will warn about negative literals?

     votes: 21, answers: 1

     Read on SO: [38] http://goo.gl/SmRO3t

   * How can I make GHCI release memory

     votes: 19, answers: 1

     Read on SO: [39] http://goo.gl/U3qroZ

   * How much of Pascal's triangle does this evaluate?

     votes: 15, answers: 1

     Read on SO: [40] http://goo.gl/PsaQ3X

   * Why is super-compilation not implemented more prevalent?

     votes: 14, answers: 3

     Read on SO: [41] http://goo.gl/MFNsrE

Until next time,

[42]+Daniel Santa Cruz

References

   1. http://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/

   2. http://www.reddit.com/r/haskell/comments/2kkrd3/category_theory_for_programmers_the_preface/

   3. http://www.idris-lang.org/idris-0-9-15-released/

   4. http://www.reddit.com/r/haskell/comments/2kfosg/idris_0915_released_partial_evaluator_uniqueness/

   5. http://carymrobbins.github.io/intellij-haskforce/

   6. http://www.reddit.com/r/haskell/comments/2kvzuz/haskforce_the_haskell_plugin_for_intellij_idea/

   7. http://www.haskellforall.com/2014/10/how-to-desugar-haskell-code.html

   8. http://www.reddit.com/r/haskell/comments/2kf61f/haskell_for_all_how_to_desugar_haskell_code/

   9. http://superginbaby.wordpress.com/2014/10/28/suddenly-the-opposite-appeared/

  10. http://www.reddit.com/r/haskell/comments/2klj3b/functional_programming_and_condescension/

  11. http://www.reddit.com/r/haskell/comments/2lfofw/quick_reminder_to_be_courteous/

  12. http://www.reddit.com/r/haskell/comments/2lfofw/quick_reminder_to_be_courteous/

  13. http://www1.eafit.edu.co/asicard/pubs/cain-screen.pdf

  14. http://www.reddit.com/r/haskell/comments/2kowzu/category_theory_applied_to_functional_programming/

  15. https://leanpub.com/gameinhaskell

  16. http://www.reddit.com/r/haskell/comments/2m253y/new_book_game_programming_in_haskell/

  17. http://nikita-volkov.github.io/hasql-benchmarks/

  18. http://www.reddit.com/r/haskell/comments/2lwx9y/hasql_is_up_to_2x_and_7x_faster_than/

  19. https://gist.github.com/chrisdone/0075a16b32bfd4f62b7b

  20. http://www.reddit.com/r/haskell/comments/2lo881/typing_haskell_in_haskell_markdownified_with/

  21. http://www.reddit.com/r/haskell/comments/2lcx8c/using_haskell_at_work/

  22. http://www.reddit.com/r/haskell/comments/2lcx8c/using_haskell_at_work/

  23. http://bartoszmilewski.com/2014/11/04/category-the-essence-of-composition/

  24. http://www.reddit.com/r/haskell/comments/2la0cx/category_the_essence_of_composition_first_section/

  25. https://github.com/purescript/purescript/releases/tag/v0.6.0

  26. http://www.reddit.com/r/haskell/comments/2lt7oc/purescript_06_released_plus_new_website/

  27. http://blog.ezyang.com/2014/11/tomatoes-are-a-subtype-of-vegetables/

  28. http://www.reddit.com/r/haskell/comments/2meyxf/tomatoes_are_a_subtype_of_vegetables/

  29. http://jozefg.bitbucket.org/posts/2014-10-28-stg.html

  30. http://www.reddit.com/r/haskell/comments/2kswnp/the_guts_of_a_spineless_machine/

  31. http://macbeth.cs.ucdavis.edu/lang_study.pdf

  32. http://www.reddit.com/r/haskell/comments/2lb3oz/a_large_scale_study_of_programming_languages_and/

  33. https://github.com/chrisdone/ghci-ng

  34. http://www.reddit.com/r/haskell/comments/2l9bvb/ghcing_ghci_plus_extra_goodies/

  35. http://stackoverflow.com/questions/26770247/haskells-type-checker-is-allowing-a-very-wrong-type-replacement-and-the-progra

  36. http://stackoverflow.com/questions/26806653/subsumption-in-polymorphic-types

  37. http://stackoverflow.com/questions/26827663/rewriting-as-a-practical-optimization-technique-in-ghc-is-it-really-needed

  38. http://stackoverflow.com/questions/26574302/is-there-an-unsigned-integer-type-that-will-warn-about-negative-literals

  39. http://stackoverflow.com/questions/26712188/how-can-i-make-ghci-release-memory

  40. http://stackoverflow.com/questions/26729146/how-much-of-pascals-triangle-does-this-evaluate

  41. http://stackoverflow.com/questions/26605431/why-is-super-compilation-not-implemented-more-prevalent

  42. https://plus.google.com/105107667630152149014/about