[Haskell] Haskell Weekly News: Issue 256

Thu Jan 31 03:39:54 CET 2013

Welcome to issue 256 of the HWN, an issue covering crowd-sourced bits
of information about Haskell from around the web. This issue covers the
weeks of January 20 to 26, 2013.

Quotes of the Week

   * elliott: cmccann: unfortunately it is too perfect an abstraction to
           be useful.

   * SamanthaD: shachaf: you're one of those dirty imperative communists
      who want the state to dictate everything!

   * monochrom: I refuse camel case and mark zuckerberg. same level. not
      negotiable.

   * mauke: a newtype is like an existing type but wearing glasses and a
         fake mustache and a sign saying "you've never seen me before"

Top Reddit Stories

   * Taking magic out of GHC or: Tracing compilation by transformation
     (intro to Core transformations, inlining,..
     Domain: ics.p.lodz.pl, Score: 59, Comments: 2
     On Reddit: [1] http://goo.gl/lJmsb
     Original: [2] http://goo.gl/IbJ5O

   * Introduction to Haskell IO
     Domain: haskellforall.com, Score: 57, Comments: 26
     On Reddit: [3] http://goo.gl/fPky4
     Original: [4] http://goo.gl/Xymbr

   * The longest type signature I have ever seen (package Nussinov78)
     Domain: i.imgur.com, Score: 48, Comments: 26
     On Reddit: [5] http://goo.gl/ePwNs
     Original: [6] http://goo.gl/B74yW

   * There is now a patch for the GHC runtime system which implements a
     scheduler which can handle threads with priorities.
     Domain: hackage.haskell.org, Score: 47, Comments: 12
     On Reddit: [7] http://goo.gl/22XgH
     Original: [8] http://goo.gl/8iC8w

   * Success story: novice haskeller moves console cursor with
     “netwire” FRP library
     Domain: danbst.wordpress.com, Score: 43, Comments: 8
     On Reddit: [9] http://goo.gl/dm8ga
     Original: [10] http://goo.gl/Ue7pK

   * Haskell as pseudo code
     Domain: arxiv.org, Score: 33, Comments: 2
     On Reddit: [11] http://goo.gl/JL8Mf
     Original: [12] http://goo.gl/5D4zV

   * Generalizing do notation
     Domain: self.haskell, Score: 28, Comments: 19
     On Reddit: [13] http://goo.gl/teYAD
     Original: [14] http://goo.gl/teYAD

   * Tutorial: Up-front Unit Testing in Haskell
     Domain: github.com, Score: 26, Comments: 21
     On Reddit: [15] http://goo.gl/kjzYJ
     Original: [16] http://goo.gl/oB2jg

   * The Design of a Practical Proof Checker for a Lazy Functional Language
[PDF]
     Domain: people.cs.missouri.edu, Score: 26, Comments:
     On Reddit: [17] http://goo.gl/sj5Aj
     Original: [18] http://goo.gl/eEUOj

   * Introduction to Haskell, Lecture 2 is Live
     Domain: shuklan.com, Score: 24, Comments: 4
     On Reddit: [19] http://goo.gl/1nUVv
     Original: [20] http://goo.gl/rCbfx

   * Hugs in your browser
     Domain: tryhaskell.org, Score: 24, Comments: 21
     On Reddit: [21] http://goo.gl/zNtex
     Original: [22] http://goo.gl/wMPPW

   * Free functors - the reason Free and operational are not equivalent
     Domain: self.haskell, Score: 24, Comments: 12
     On Reddit: [23] http://goo.gl/E7qe7
     Original: [24] http://goo.gl/E7qe7

   * Scribbling, smudging and smearing with Haskell
     Domain: self.haskell, Score: 22, Comments: 108
     On Reddit: [25] http://goo.gl/KBw0V
     Original: [26] http://goo.gl/KBw0V

   * Touch and Keyboard API (announcing Elm 0.7.1)
     Domain: elm-lang.org, Score: 20, Comments: 3
     On Reddit: [27] http://goo.gl/OhFaH
     Original: [28] http://goo.gl/rV9bU

   * (re)implementing the generalised Functor strength function using
lenses.
     Domain: statusfailed.com, Score: 20, Comments: 3
     On Reddit: [29] http://goo.gl/gEYHr
     Original: [30] http://goo.gl/TDX2A

Top StackOverflow Questions

   * Can using UndecidableInstances pragma locally have global consequences
     on compilation termination?
     votes: 20, answers: 1
     Read on SO: [31] http://goo.gl/PcQF1

   * Why doesn't GHC Haskell support overloaded record parameter names?
     votes: 14, answers: 1
     Read on SO: [32] http://goo.gl/BJ71T

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

   * Compile unsafe Haskell
     votes: 13, answers: 1
     Read on SO: [34] http://goo.gl/nGaCX

   * Why GADT/existential data constructors cannot be used in lazy patterns?
     votes: 12, answers: 2
     Read on SO: [35] http://goo.gl/zhpCh

   * Correct design for Haskell exception handling
     votes: 11, answers: 2
     Read on SO: [36] http://goo.gl/zeWoH

   * How to use phase control of inlining in haskell?
     votes: 10, answers: 0
     Read on SO: [37] http://goo.gl/dyuGI

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

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

   * How to structure a Haskell project?
     votes: 7, answers: 1
     Read on SO: [40] http://goo.gl/J4GuA

   * Difference between two functions creating a singleton list
     votes: 7, answers: 3
     Read on SO: [41] http://goo.gl/ZXzw0

Until next time,
Daniel Santa Cruz

References

   1.
http://ics.p.lodz.pl/~stolarek/blog/2013/01/taking-magic-out-of-ghc-or-tracing-compilation-by-transformation/
   2.
http://www.reddit.com/r/haskell/comments/17bu54/taking_magic_out_of_ghc_or_tracing_compilation_by/
   3. http://www.haskellforall.com/2013/01/introduction-to-haskell-io.html
   4.
http://www.reddit.com/r/haskell/comments/17712e/introduction_to_haskell_io/
   5. http://i.imgur.com/Zv9JH9A.png
   6.
http://www.reddit.com/r/haskell/comments/178jwh/the_longest_type_signature_i_have_ever_seen/
   7. http://hackage.haskell.org/trac/ghc/ticket/7606
   8.
http://www.reddit.com/r/haskell/comments/1725g0/there_is_now_a_patch_for_the_ghc_runtime_system/
   9. http://danbst.wordpress.com/2013/01/23/novice-netwire-user/
  10.
http://www.reddit.com/r/haskell/comments/173cxi/success_story_novice_haskeller_moves_console/
  11. http://arxiv.org/abs/1301.5076
  12.
http://www.reddit.com/r/haskell/comments/176xk0/haskell_as_pseudo_code/
  13.
http://www.reddit.com/r/haskell/comments/16zrsp/generalizing_do_notation/
  14.
http://www.reddit.com/r/haskell/comments/16zrsp/generalizing_do_notation/
  15.
https://github.com/kazu-yamamoto/unit-test-example/blob/master/markdown/en/tutorial.md
  16.
http://www.reddit.com/r/haskell/comments/1750i9/tutorial_upfront_unit_testing_in_haskell/
  17. http://people.cs.missouri.edu/~harrisonwl/papers/tfp2012.pdf
  18.
http://www.reddit.com/r/haskell/comments/179367/the_design_of_a_practical_proof_checker_for_a/
  19. http://shuklan.com/haskell
  20.
http://www.reddit.com/r/haskell/comments/172h5q/introduction_to_haskell_lecture_2_is_live/
  21. http://tryhaskell.org/hugs/
  22. http://www.reddit.com/r/haskell/comments/177a56/hugs_in_your_browser/
  23.
http://www.reddit.com/r/haskell/comments/17a33g/free_functors_the_reason_free_and_operational_are/
  24.
http://www.reddit.com/r/haskell/comments/17a33g/free_functors_the_reason_free_and_operational_are/
  25.
http://www.reddit.com/r/haskell/comments/175mxw/scribbling_smudging_and_smearing_with_haskell/
  26.
http://www.reddit.com/r/haskell/comments/175mxw/scribbling_smudging_and_smearing_with_haskell/
  27. http://elm-lang.org/blog/announce/version-0.7.1.elm
  28.
http://www.reddit.com/r/haskell/comments/179nwl/touch_and_keyboard_api_announcing_elm_071/
  29.
http://statusfailed.com/blog/2013/01/26/haskells-strength-generalising-with-lenses.html
  30.
http://www.reddit.com/r/haskell/comments/17b5ak/reimplementing_the_generalised_functor_strength/
  31.
http://stackoverflow.com/questions/14476230/can-using-undecidableinstances-pragma-locally-have-global-consequences-on-compil
  32.
http://stackoverflow.com/questions/14422169/why-doesnt-ghc-haskell-support-overloaded-record-parameter-names
  33.
http://stackoverflow.com/questions/14519905/how-much-does-it-cost-for-haskell-ffi-to-go-into-c-and-back
  34. http://stackoverflow.com/questions/14429966/compile-unsafe-haskell
  35.
http://stackoverflow.com/questions/14538255/why-gadt-existential-data-constructors-cannot-be-used-in-lazy-patterns
  36.
http://stackoverflow.com/questions/14538294/correct-design-for-haskell-exception-handling
  37.
http://stackoverflow.com/questions/14446368/how-to-use-phase-control-of-inlining-in-haskell
  38.
http://stackoverflow.com/questions/14484569/looking-for-resources-that-help-testing-a-haskell-implementation-for-standard-co
  39.
http://stackoverflow.com/questions/14500582/generate-a-c-struct-based-on-a-complex-haskell-type
  40.
http://stackoverflow.com/questions/14421178/how-to-structure-a-haskell-project
  41.
http://stackoverflow.com/questions/14530555/difference-between-two-functions-creating-a-singleton-list
  42. https://plus.google.com/105107667630152149014/about
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell/attachments/20130130/b43b97c4/attachment.htm>