Welcome to issue 299 of the HWN, an issue covering crowd-sourced bits
of information about Haskell from around the web. This issue covers
from June 29 to July 12, 2014

Quotes of the Week

   * donri: maybe good thing Applicative isn't called
     StrongLaxSemimonoidalEndofunctor

   * ninja_code: haskell is used to debug thinking

   * johnw: the first rule of category theory club is to state your
     identity

Top Reddit Stories

   * The new haskell.org design
     Domain: new-www.haskell.org, Score: 130, Comments: 95
     Original: [1] http://new-www.haskell.org/
     On Reddit: [2] http://goo.gl/qG7683

   * GHC-7.8.3 is out!
     Domain: haskell.org, Score: 115, Comments: 40
     Original: [3] http://goo.gl/fyHQZd
     On Reddit: [4] http://goo.gl/7bsDXj

   * Announcing rest - A Haskell REST framework
     Domain: engineering.silk.co, Score: 97, Comments: 41
     Original: [5] http://goo.gl/F3W628
     On Reddit: [6] http://goo.gl/VqWdi9

   * GHC plans for 7.10.1
     Domain: ghc.haskell.org, Score: 77, Comments: 54
     Original: [7] http://goo.gl/YH6516
     On Reddit: [8] http://goo.gl/g16PE3

   * unagi-chan: Fast and scalable concurrent queues for x86, 
     with a Chan-like API
     Domain: hackage.haskell.org, Score: 61, Comments: 17
     Original: [9] http://goo.gl/7dE0e4
     On Reddit: [10] http://goo.gl/zaMC6o

   * Come practice Haskell *and* make a difference in the world by helping us 
     build a new Free/Libre/Open patronage economy
     Domain: snowdrift.coop, Score: 59, Comments: 19
     Original: [11] http://goo.gl/vU2cx
     On Reddit: [12] http://goo.gl/PRkG3B

   * What's wrong with String
     Domain: haskell.org, Score: 55, Comments: 123
     Original: [13] http://goo.gl/8etnBS
     On Reddit: [14] http://goo.gl/k2FZ9u

   * Why is package management so awful?
     Domain: self.haskell, Score: 55, Comments: 100
     Original: [15] http://goo.gl/7h7cWn
     On Reddit: [16] http://goo.gl/7h7cWn

   * Reflection without Remorse: Revealing a hidden sequence to speed up 
     monadic reflection [pdf]
     Domain: homepages.cwi.nl, Score: 49, Comments: 36
     Original: [17] http://goo.gl/QgiwtW
     On Reddit: [18] http://goo.gl/BpYmcS

   * Mutable Algorithms in Immutable Languages, Part 1
     Domain: tel.github.io, Score: 49, Comments: 27
     Original: [19] http://goo.gl/hn6218
     On Reddit: [20] http://goo.gl/apKO9f

   * Where is Haskell going in industry?
     Domain: self.haskell, Score: 47, Comments: 114
     Original: [21] http://goo.gl/Io2hvy
     On Reddit: [22] http://goo.gl/Io2hvy

   * Why Dependently Typed Programming Will (One Day) Rock Your World
     Domain: ejenk.com, Score: 45, Comments: 154
     Original: [23] http://goo.gl/d3zkiG
     On Reddit: [24] http://goo.gl/z3ZhDf

   * Using Phantom Types for Extra Safety
     Domain: blog.jakubarnold.cz, Score: 41, Comments: 19
     Original: [25] http://goo.gl/WnZH0Z
     On Reddit: [26] http://goo.gl/EJTpxl

   * Designing Dependently Typed Languages - OPLSS '14
     Domain: self.haskell, Score: 37, Comments: 11
     Original: [27] http://goo.gl/P2mV1A
     On Reddit: [28] http://goo.gl/P2mV1A

   * Hackage update, part 3
     Domain: lambda.xyz, Score: 37, Comments: 13
     Original: [29] http://goo.gl/sLHVfX
     On Reddit: [30] http://goo.gl/G7dHLc

   * Announce: The most complete prelude formed from only the "base" package
     Domain: hackage.haskell.org, Score: 37, Comments: 55
     Original: [31] http://goo.gl/lSoKVh
     On Reddit: [32] http://goo.gl/UeNUYL

   * New generic programming library (with paper accepted in WGP 2014)
     Domain: andres-loeh.de, Score: 34, Comments: 11
     Original: [33] http://goo.gl/PgV7yV
     On Reddit: [34] http://goo.gl/qFOlLB

   * Ideal programming language for a new modern OS built from scratch?
     Domain: self.haskell, Score: 32, Comments: 63
     Original: [35] http://goo.gl/eTkOFd
     On Reddit: [36] http://goo.gl/eTkOFd

   * Neil Mitchell's Haskell Blog: Optimisation with Continuations
     Domain: neilmitchell.blogspot.com.es, Score: 30, Comments: 15
     Original: [37] http://goo.gl/lvo8Oa
     On Reddit: [38] http://goo.gl/haJyX4

   * can we do better than cabal sandbox?
     Domain: self.haskell, Score: 30, Comments: 38
     Original: [39] http://goo.gl/RS3j0s
     On Reddit: [40] http://goo.gl/RS3j0s

Top StackOverflow Questions

   * Is there a monad that doesn't have a corresponding monad transformer 
     (except IO)?
     votes: 37, answers: 1
     Read on SO: [41] http://goo.gl/wBH70C

   * Arrows are exactly equivalent to applicative functors?
     votes: 21, answers: 3
     Read on SO: [42] http://goo.gl/WRjQx0

   * Why does GHC typecheck before desugaring?
     votes: 19, answers: 1
     Read on SO: [43] http://goo.gl/EzaZVr

   * List of Functors
     votes: 15, answers: 3
     Read on SO: [44] http://goo.gl/RmJvDC

   * Or-patterns in Haskell
     votes: 13, answers: 2
     Read on SO: [45] http://goo.gl/ukvJm1

   * What does this list permutations implementation in Haskell exactly do?
     votes: 12, answers: 2
     Read on SO: [46] http://goo.gl/CXOCch

   * Should Latitude, Longitude and Elevation have their own type in Haskell?
     votes: 12, answers: 2
     Read on SO: [47] http://goo.gl/fkElae

   * Haskell List Comprehension Speed Inconsistencies
     votes: 12, answers: 1
     Read on SO: [48] http://goo.gl/0o4rwI

   * What are some examples of type-level programming? [closed]
     votes: 11, answers: 3
     Read on SO: [49] http://goo.gl/fowZ6b

   * QuickCheck Gen is not a monad
     votes: 11, answers: 1
     Read on SO: [50] http://goo.gl/hiJ0q8

Until next time,
[51]+Daniel Santa Cruz

References

   1. http://new-www.haskell.org/
   2. http://www.reddit.com/r/haskell/comments/2a77f2/the_new_haskellorg_design/
   3. http://www.haskell.org/ghc/docs/7.8.3/html/users_guide/release-7-8-3.html
   4. http://www.reddit.com/r/haskell/comments/2af4jf/ghc783_is_out/
   5. http://engineering.silk.co/post/90354057868/announcing-rest-a-haskell-rest-framework
   6. http://www.reddit.com/r/haskell/comments/29h32i/announcing_rest_a_haskell_rest_framework/
   7. https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-7.10.1
   8. http://www.reddit.com/r/haskell/comments/29v4lj/ghc_plans_for_7101/
   9. http://hackage.haskell.org/package/unagi-chan-0.1.0.1
  10. http://www.reddit.com/r/haskell/comments/2adh2f/unagichan_fast_and_scalable_concurrent_queues_for/
  11. https://snowdrift.coop/
  12. http://www.reddit.com/r/haskell/comments/29zw5j/come_practice_haskell_and_make_a_difference_in/
  13. http://www.haskell.org/pipermail/haskell-cafe/2014-June/114745.html
  14. http://www.reddit.com/r/haskell/comments/29jw0s/whats_wrong_with_string/
  15. http://www.reddit.com/r/haskell/comments/2a9n0t/why_is_package_management_so_awful/
  16. http://www.reddit.com/r/haskell/comments/2a9n0t/why_is_package_management_so_awful/
  17. http://homepages.cwi.nl/~ploeg/papers/zseq.pdf
  18. http://www.reddit.com/r/haskell/comments/29i94o/re%EF%ACection_without_remorse_revealing_a_hidden/
  19. http://tel.github.io/2014/07/12/mutable_algorithms_in_immutable_languges_part_1/
  20. http://www.reddit.com/r/haskell/comments/2ahorr/mutable_algorithms_in_immutable_languages_part_1/
  21. http://www.reddit.com/r/haskell/comments/2a310v/where_is_haskell_going_in_industry/
  22. http://www.reddit.com/r/haskell/comments/2a310v/where_is_haskell_going_in_industry/
  23. http://ejenk.com/blog/why-dependently-typed-programming-will-one-day-rock-your-world.html
  24. http://www.reddit.com/r/haskell/comments/29kv2y/why_dependently_typed_programming_will_one_day/
  25. http://blog.jakubarnold.cz/2014/07/08/using-phantom-types-for-extra-safety.html
  26. http://www.reddit.com/r/haskell/comments/2a5duv/using_phantom_types_for_extra_safety/
  27. http://www.reddit.com/r/haskell/comments/2a115h/designing_dependently_typed_languages_oplss_14/
  28. http://www.reddit.com/r/haskell/comments/2a115h/designing_dependently_typed_languages_oplss_14/
  29. http://lambda.xyz/blog/hackage-part-3/
  30. http://www.reddit.com/r/haskell/comments/2abi06/hackage_update_part_3/
  31. http://hackage.haskell.org/package/base-prelude
  32. http://www.reddit.com/r/haskell/comments/2ahq11/announce_the_most_complete_prelude_formed_from/
  33. http://www.andres-loeh.de/TrueSumsOfProducts/
  34. http://www.reddit.com/r/haskell/comments/2a535x/new_generic_programming_library_with_paper/
  35. http://www.reddit.com/r/haskell/comments/29tgjd/ideal_programming_language_for_a_new_modern_os/
  36. http://www.reddit.com/r/haskell/comments/29tgjd/ideal_programming_language_for_a_new_modern_os/
  37. http://neilmitchell.blogspot.com.es/2014/06/optimisation-with-continuations.html
  38. http://www.reddit.com/r/haskell/comments/29fjg4/neil_mitchells_haskell_blog_optimisation_with/
  39. http://www.reddit.com/r/haskell/comments/2a2ec7/can_we_do_better_than_cabal_sandbox/
  40. http://www.reddit.com/r/haskell/comments/2a2ec7/can_we_do_better_than_cabal_sandbox/
  41. http://stackoverflow.com/questions/24515876/is-there-a-monad-that-doesnt-have-a-corresponding-monad-transformer-except-io
  42. http://stackoverflow.com/questions/24668313/arrows-are-exactly-equivalent-to-applicative-functors
  43. http://stackoverflow.com/questions/24639279/why-does-ghc-typecheck-before-desugaring
  44. http://stackoverflow.com/questions/24589995/list-of-functors
  45. http://stackoverflow.com/questions/24700762/or-patterns-in-haskell
  46. http://stackoverflow.com/questions/24484348/what-does-this-list-permutations-implementation-in-haskell-exactly-do
  47. http://stackoverflow.com/questions/24521976/should-latitude-longitude-and-elevation-have-their-own-type-in-haskell
  48. http://stackoverflow.com/questions/24690406/haskell-list-comprehension-speed-inconsistencies
  49. http://stackoverflow.com/questions/24481113/what-are-some-examples-of-type-level-programming
  50. http://stackoverflow.com/questions/24481648/quickcheck-gen-is-not-a-monad
  51. https://plus.google.com/105107667630152149014/about