[Haskell] Haskell Weekly News: Issue 223

[Daniel Santa Cruz]

Welcome to issue 223 of the HWN, an issue covering crowd-sourced bits
of information about Haskell from around the web. This issue covers the
week of April 8 to 14, 2012.

Quotes of the Week

   * merijn: I'm tempted to just do unsafePerformIO newEmptyMVar at the
             top level
     quicksilver: I can't really be expected to deal with your
                  sinfulness. That's between you and your god.

   * acowley: Good haskell code is 20 LANGUAGE pragmas, 40 imports, then
              one line of perl.

   * deggis: oh. running GHC HEAD. must try that next week if coffee
             just someday isn't enough

   * dmwit: hGetContents does not close its handle.
     dmwit: hGetContents semicloses its handle.

   * monochrom: isTrue = (unsafeCoerce :: Either a b -> Bool)
                       . (unsafeCoerce :: Maybe c -> Either a b)
                       . (unsafeCoerce :: Bool -> Maybe c)

   * dmwit: For basically all good properties P, IEEE 754 is not P.

   * Cale: Little known fact: For any positive integer n, the infinite
           sequence of Project Euler problems has only finitely many elements
           whose solution is not divisible by n.

Top Reddit Stories

   * Announcing Yesod 1.0
     Domain: yesodweb.com, Score: 101, Comments: 42
     On Reddit: [1] http://goo.gl/izD19
     Original: [2] http://goo.gl/oTSto

   * Why reasoning about space usage in Haskell is hard
     Domain: ro-che.info, Score: 63, Comments: 14
     On Reddit: [3] http://goo.gl/yIkI4
     Original: [4] http://goo.gl/IAQtu

   * GHC HEAD now has type level natural number/ literals
     Domain: github.com, Score: 63, Comments: 18
     On Reddit: [5] http://goo.gl/GfGbB
     Original: [6] http://goo.gl/Lkp6v

   * Working Together
     Domain: yesodweb.com, Score: 62, Comments: 31
     On Reddit: [7] http://goo.gl/o3G85
     Original: [8] http://goo.gl/jBdJA

   * How less is more : polymorphic types can improve safety even in
monomorphic functions
     Domain: blog.malde.org, Score: 61, Comments: 13
     On Reddit: [9] http://goo.gl/fzUlO
     Original: [10] http://goo.gl/WHE3A

   * A Hopefully Fair and Useful Comparison of Haskell Web Frameworks
     Domain: softwaresimply.blogspot.com, Score: 60, Comments: 30
     On Reddit: [11] http://goo.gl/WuDuL
     Original: [12] http://goo.gl/DXBA8

   * First impressions of Haskell: A review of my Haskell adventure
     Domain: binarysculpting.com, Score: 46, Comments: 36
     On Reddit: [13] http://goo.gl/gG0fl
     Original: [14] http://goo.gl/ZqUT3

   * A "radix tree" import syntax?
     Domain: self.haskell, Score: 41, Comments: 26
     On Reddit: [15] http://goo.gl/kBOLZ
     Original: [16] http://goo.gl/kBOLZ

   * Using ContT to please the eye
     Domain: self.haskell, Score: 28, Comments: 15
     On Reddit: [17] http://goo.gl/hbFrs
     Original: [18] http://goo.gl/hbFrs

   * Designing a DCPU-16 emulator in Haskell: on determinism and I/O
     Domain: jaspervdj.be, Score: 28, Comments: 6
     On Reddit: [19] http://goo.gl/KHIgP
     Original: [20] http://goo.gl/NT89i

Top StackOverflow Questions

   * What are type quantifiers?
     votes: 15, answers: 3
     Read on SO: [21] http://goo.gl/d3hnH

   * Haskell: How does 'atomicModifyIORef' work?
     votes: 12, answers: 2
     Read on SO: [22] http://goo.gl/3b5dK

   * Is there a runtime penalty associated with typeclasses?
     votes: 12, answers: 1
     Read on SO: [23] http://goo.gl/Isw7k

   * Timing out pure functions
     votes: 11, answers: 1
     Read on SO: [24] http://goo.gl/aTzVG

   * Haskell - simple constructor comparison (?) function
     votes: 11, answers: 3
     Read on SO: [25] http://goo.gl/ZC6CC

   * Partial Application with Infix Functions
     votes: 10, answers: 3
     Read on SO: [26] http://goo.gl/QvabF

   * Haskell: Why is there no type mismatch (and why does this compile)?
     votes: 9, answers: 2
     Read on SO: [27] http://goo.gl/1gxFE

   * “Dependent optional” data in Haskell
     votes: 9, answers: 4
     Read on SO: [28] http://goo.gl/9K5Wx

   * How can I help SpecConstr in GHC?
     votes: 8, answers: 2
     Read on SO: [29] http://goo.gl/PGa4C

   * How to get good performance when writing a list of integers from
1 to 10 million to a file?
     votes: 7, answers: 2
     Read on SO: [30] http://goo.gl/Kym6r

   * Efficiently turn a ByteString into a hex representation
     votes: 7, answers: 1
     Read on SO: [31] http://goo.gl/aq2ct


Until next time,
Daniel Santa Cruz

References

   1. http://www.yesodweb.com/blog/2012/04/announcing-yesod-1-0
   2. http://www.reddit.com/r/haskell/comments/s0tr2/announcing_yesod_10/
   3. http://ro-che.info/articles/2012-04-08-space-usage-reasoning.html
   4. http://www.reddit.com/r/haskell/comments/rzu8a/why_reasoning_about_space_usage_in_haskell_is_hard/
   5. https://github.com/ghc/packages-base/blob/b5b5ec18819fb85ebf1bdb6345ac031787e6fd54/GHC/TypeLits.hs
   6. http://www.reddit.com/r/haskell/comments/s0vln/ghc_head_now_has_type_level_natural_number/
   7. http://www.yesodweb.com/blog/2012/04/working-together
   8. http://www.reddit.com/r/haskell/comments/s2ei5/working_together/
   9. http://blog.malde.org/posts/polymorphic-types-are-safer.html
  10. http://www.reddit.com/r/haskell/comments/s7q3b/how_less_is_more_polymorphic_types_can_improve/
  11. http://softwaresimply.blogspot.com/2012/04/hopefully-fair-and-useful-comparison-of.html
  12. http://www.reddit.com/r/haskell/comments/s3pbm/a_hopefully_fair_and_useful_comparison_of_haskell/
  13. http://binarysculpting.com/2012/04/12/a-review-of-my-haskell-adventure/
  14. http://www.reddit.com/r/haskell/comments/s6okb/first_impressions_of_haskell_a_review_of_my/
  15. http://www.reddit.com/r/haskell/comments/s2o8p/a_radix_tree_import_syntax/
  16. http://www.reddit.com/r/haskell/comments/s2o8p/a_radix_tree_import_syntax/
  17. http://www.reddit.com/r/haskell/comments/s49kk/using_contt_to_please_the_eye/
  18. http://www.reddit.com/r/haskell/comments/s49kk/using_contt_to_please_the_eye/
  19. http://jaspervdj.be/posts/2012-04-12-st-io-dcpu-16.html
  20. http://www.reddit.com/r/haskell/comments/s5xqb/designing_a_dcpu16_emulator_in_haskell_on/
  21. http://stackoverflow.com/questions/10062253/what-are-type-quantifiers
  22. http://stackoverflow.com/questions/10102881/haskell-how-does-atomicmodifyioref-work
  23. http://stackoverflow.com/questions/10148897/is-there-a-runtime-penalty-associated-with-typeclasses
  24. http://stackoverflow.com/questions/10071560/timing-out-pure-functions
  25. http://stackoverflow.com/questions/10112733/haskell-simple-constructor-comparison-function
  26. http://stackoverflow.com/questions/10131300/partial-application-with-infix-functions
  27. http://stackoverflow.com/questions/10091874/haskell-why-is-there-no-type-mismatch-and-why-does-this-compile
  28. http://stackoverflow.com/questions/10136222/dependent-optional-data-in-haskell
  29. http://stackoverflow.com/questions/10145954/how-can-i-help-specconstr-in-ghc
  30. http://stackoverflow.com/questions/10080273/how-to-get-good-performance-when-writing-a-list-of-integers-from-1-to-10-million
  31. http://stackoverflow.com/questions/10099921/efficiently-turn-a-bytestring-into-a-hex-representation