Daniel Santa Cruz | 20 Sep 03:36 2012

Haskell Weekly News: Issue 244

Welcome to issue 244 of the HWN, an issue covering crowd-sourced bits
of information about Haskell from around the web. This issue covers the
week of September 9 to September 15, 2012.


As you might have heard, GHC 7.6.1 is out for all platforms. I would
say "get it while it is still hot", but I guess I missed my opportunity
to do that last week.

Sonke Hahn wrote in to announce that on Monday "Story Episodes of
Nikki and the Robots" was was released.

Malcolm Wallace has uploaded videos from ICFP 2012, for those of us
that didn't have the opportunity to be there. Big thanks for sharing
these with the community!

 Quotes of the Week

   * copumpkin: when in doubt, blame ski

   * shachaf: You can call the greengrocer and place an order. That'll
     convert their unordered pears into ordered pears!

   * shachaf: Those who would give up essential type independence for a
     little temporary type safety deserve neither independence nor

   * ddarius: edwardk: So your plan for Haskell adoption is to write
     Haskell in languages that aren't Haskell, say "Man, these languages
     suck, this would be super easy in Haskell", and then use the
     Haskell you started with reproducing functionality at an
     "unbelievable" rate.

   * cmccann: personally I'm just waiting for an extension that demotes
     types to the value level, so that we can finally have natural

 Top Reddit Stories

   * Yet another Haskell IDE in the works
     Domain: yesodweb.com, Score: 71, Comments: 94
     On Reddit: [4] http://goo.gl/N1nfs
     Original: [5] http://goo.gl/z47p8

   * The case of the mysterious explosion in space
     Domain: serpentine.com, Score: 65, Comments: 9
     On Reddit: [6] http://goo.gl/O782g
     Original: [7] http://goo.gl/eQxOc

   * Haskell vs. F# vs. Scala: A High-level Language Features and Parallelism Support Comparison
     Domain: macs.hw.ac.uk, Score: 47, Comments: 30
     On Reddit: [8] http://goo.gl/XWdPX
     Original: [9] http://goo.gl/daRy2

   * The functor design pattern
     Domain: haskellforall.com, Score: 42, Comments: 45
     On Reddit: [10] http://goo.gl/FpJL4
     Original: [11] http://goo.gl/pZ4yu

   * How To Exclude Women From Your Technical Community: A Tutorial
     Domain: tim.dreamwidth.org, Score: 42, Comments: 309
     On Reddit: [12] http://goo.gl/iKN7H
     Original: [13] http://goo.gl/GKMjb

   * A simple library that allows logic programming in Haskell
     Domain: github.com, Score: 38, Comments: 10
     On Reddit: [14] http://goo.gl/J9Pbp
     Original: [15] http://goo.gl/1bRw5

   * Larry Wall: "You should probably know about it [Haskell] if only to be able to say 'is this like Haskell?', and, if so, then you know you'll have to hire some really smart people to program in it."
     Domain: youtube.com, Score: 34, Comments: 130
     On Reddit: [16] http://goo.gl/z1PTW
     Original: [17] http://goo.gl/5bCN9

   * Malcolm Wallace is broadcasting videos from ICFP
     Domain: m.youtube.com, Score: 33, Comments: 9
     On Reddit: [18] http://goo.gl/O6uuy
     Original: [19] http://goo.gl/Kyg5O

   * Darcs hub alpha: a darcsden fork to “turn the dogfooding knobs up to 11”
     Domain: hub.darcs.net, Score: 30, Comments: 10
     On Reddit: [20] http://goo.gl/5D614
     Original: [21] http://goo.gl/pDHL9

   * The Architecture of the Mighttpd High-Speed Web Server
     Domain: iij.ad.jp, Score: 28, Comments: 4
     On Reddit: [22] http://goo.gl/7yRbw
     Original: [23] http://goo.gl/oCkBt

   * Tying the knot on a Rubik's cube
     Domain: self.haskell, Score: 25, Comments: 7
     On Reddit: [24] http://goo.gl/0XPiY
     Original: [25] http://goo.gl/0XPiY

   * Kazu Yamamoto: Improving the performance of Warp
     Domain: yesodweb.com, Score: 24, Comments: 1
     On Reddit: [26] http://goo.gl/yvRfR
     Original: [27] http://goo.gl/gEQlA

   * Taking advantage of "Theorems for Free"?
     Domain: self.haskell, Score: 20, Comments: 9
     On Reddit: [28] http://goo.gl/cqy6U
     Original: [29] http://goo.gl/cqy6U

 Top StackOverflow Questions

   * Is there a nice way to make function signatures more informative in Haskell?
     votes: 37, answers: 6
     Read on SO: [30] http://goo.gl/vOY98

   * Purely functional data structures for text editors
     votes: 26, answers: 7
     Read on SO: [31] http://goo.gl/ciJQ3

   * Lazy Pattern matching in Data.List
     votes: 15, answers: 1
     Read on SO: [32] http://goo.gl/T2YPC

   * Can I provide the type-checker with proofs about inductive naturals in GHC 7.6?
     votes: 14, answers: 1
     Read on SO: [33] http://goo.gl/zoMDr

   * Why does Haskell's “flip id” has this type?
     votes: 12, answers: 1
     Read on SO: [34] http://goo.gl/HWuyZ

   * How long pauses can occur in a Haskell program due to garbage collection?
     votes: 11, answers: 1
     Read on SO: [35] http://goo.gl/Stnq7

   * Good introduction to free theorems [closed]
     votes: 11, answers: 1
     Read on SO: [36] http://goo.gl/2OVYJ

   * Int vs Word in common use?
     votes: 10, answers: 3
     Read on SO: [37] http://goo.gl/JR9xK

   * Haskell collections with guaranteed worst-case bounds for every single operation?
     votes: 9, answers: 1
     Read on SO: [38] http://goo.gl/Oc4L9

   * Zipper data structure for graphical model editor
     votes: 8, answers: 1
     Read on SO: [39] http://goo.gl/BF865

Until next time,
Daniel Santa Cruz


Haskell mailing list
Haskell <at> haskell.org
Daniel Santa Cruz | 27 Sep 02:46 2012

Haskell Weekly News: Issue 245

Welcome to issue 245 of the HWN, an issue covering crowd-sourced bits
of information about Haskell from around the web. This issue covers the
week of September 16 to September 22, 2012.

Quotes of the Week

   * dmwit: You have your intuition correct, despite all the pedantry in
     the room.


   * byorgey: HASKELL is a pure, functional, strongly typed language
     featuring a name with all capitals, so it is suitable for beginners

   * ciaranm: a comonad is just a comonoid in the category of
     endofunctors. what's the coproblem?

   * dmwit: ISAAC -- ignore success at all costs

   * merijn: If you're not gonna use the types [by writing them] you
     might as well just write python

   * Cale: The real reason for the installed size of GHC being so large
     is that in the background it secretly downloads a video of SPJ
     riding a unicycle.

Top Reddit Stories

   * First commercial Haskell-powered (game logic) computer game? 
     (Nikki and the Robots Story Episodes)
     Domain: buy.joyridelabs.de, Score: 57, Comments: 27
     On Reddit: [1] http://goo.gl/hngXz
     Original: [2] http://goo.gl/Y5Oax

   * Common misconceptions about Safe Haskell
     Domain: blog.ezyang.com, Score: 49, Comments: 23
     On Reddit: [3] http://goo.gl/NBSx7
     Original: [4] http://goo.gl/43i6n

   * The MonadTrans class is missing a method
     Domain: haskellforall.com, Score: 44, Comments: 32
     On Reddit: [5] http://goo.gl/okxAX
     Original: [6] http://goo.gl/GnvzB

   * The Haskell Implementors' Workshop videos and slides available online
     Domain: haskell.org, Score: 43, Comments: 4
     On Reddit: [7] http://goo.gl/LuORg
     Original: [8] http://goo.gl/pEvww

   * Writing javascript games in haskell : breakout
     Domain: jshaskell.blogspot.com, Score: 39, Comments: 10
     On Reddit: [9] http://goo.gl/Dv8QK
     Original: [10] http://goo.gl/lXxsS

   * HIW 2012. Simon Peyton Jones: GHC Status Update. - YouTube
     Domain: youtube.com, Score: 37, Comments: 12
     On Reddit: [11] http://goo.gl/3GEZK
     Original: [12] http://goo.gl/j7al9

   * Comparing Snap's and Yesod's Template Languages Heist and Hamlet
     Domain: gist.github.com, Score: 36, Comments: 33
     On Reddit: [13] http://goo.gl/AzaVV
     Original: [14] http://goo.gl/StRaF

   * Request: Tutorial on debugging using stack trace features of GHC 7.4
     Domain: self.haskell, Score: 31, Comments: 6
     On Reddit: [15] http://goo.gl/DcR1C
     Original: [16] http://goo.gl/DcR1C

   * A kind for regions
     Domain: monoidal.blogspot.com, Score: 29, Comments: 27
     On Reddit: [17] http://goo.gl/4aBe7
     Original: [18] http://goo.gl/tBDDW

   * [screencast] Quick introduction to Haskell using Gtk and the web
     Domain: vimeo.com, Score: 28, Comments: 4
     On Reddit: [19] http://goo.gl/oi2IB
     Original: [20] http://goo.gl/LOkcf

   * Warp optimization - Sending header and body at once
     Domain: yesodweb.com, Score: 27, Comments: 17
     On Reddit: [21] http://goo.gl/wstwx
     Original: [22] http://goo.gl/opsHb

   * Runtime Codegeneration in Haskell: Harpy vs. LLVM
     Domain: blog.wien.tomnetworks.com, Score: 24, Comments: 10
     On Reddit: [23] http://goo.gl/aD0hE
     Original: [24] http://goo.gl/jU3nf

   * Show off your Vim/Emacs config!
     Domain: self.haskell, Score: 24, Comments: 7
     On Reddit: [25] http://goo.gl/jV6Sa
     Original: [26] http://goo.gl/jV6Sa

   * Elm 0.4: Graphics Upgrade! Markdown, better for games, new optimizations, 
     minification, ...
     Domain: elm-lang.org, Score: 22, Comments: 1
     On Reddit: [27] http://goo.gl/SJW29
     Original: [28] http://goo.gl/2Q5Fg

   * Making your zipper disappear with Zippo
     Domain: brandon.si, Score: 22, Comments: 6
     On Reddit: [29] http://goo.gl/MQg77
     Original: [30] http://goo.gl/Ua8a9

   * [ANNOUNCE] Juicy.Pixels 2.0 - With Gif file decoding
     Domain: hackage.haskell.org, Score: 20, Comments: 12
     On Reddit: [31] http://goo.gl/kEKrE
     Original: [32] http://goo.gl/EVvBh

   * Videos from this the CUFP 2012 in Copenhagen are now up
     Domain: cufp.org, Score: 17, Comments: 2
     On Reddit: [33] http://goo.gl/mpe8Z
     Original: [34] http://goo.gl/aCB9I

   * Haskell developer jobs at StanChart - London, Singapore and Tianjin
     Domain: haskellers.com, Score: 17, Comments: 6
     On Reddit: [35] http://goo.gl/t7axk
     Original: [36] http://goo.gl/wZrV5

   * New GHCJS Hello World (can you find the hidden game?)
     Domain: ghcjs.github.com, Score: 17, Comments: 10
     On Reddit: [37] http://goo.gl/c4BeA
     Original: [38] http://goo.gl/Aqh1i

Top StackOverflow Questions

   * “What part of Milner-Hindley do you not understand?”
     votes: 73, answers: 4
     Read on SO: [39] http://goo.gl/Nossl

   * Matching on type level Nat in GHC 7.6
     votes: 17, answers: 1
     Read on SO: [40] http://goo.gl/YijoA

   * Threading extra state through a parser in Scala
     votes: 16, answers: 1
     Read on SO: [41] http://goo.gl/8cYMQ

   * find all types that are instances of a typeclass
     votes: 13, answers: 1
     Read on SO: [42] http://goo.gl/ywHUN

   * When to use various language pragmas and optimisations?
     votes: 13, answers: 2
     Read on SO: [43] http://goo.gl/qqtID

   * What are these explicit “forall”s doing?
     votes: 12, answers: 1
     Read on SO: [44] http://goo.gl/fO0kf

   * How does the ST monad work?
     votes: 11, answers: 2
     Read on SO: [45] http://goo.gl/xxntD

   * What are the pros and cons of adding additional functions/combinators 
     to a typeclass definition?
     votes: 10, answers: 2
     Read on SO: [46] http://goo.gl/HhDgT

   * Type parameters constraints for instances of typeclasses with kind * -> *
     votes: 9, answers: 2
     Read on SO: [47] http://goo.gl/bGEQW

   * Theoretically, is this a valid comonad instance for a list?
     votes: 9, answers: 2
     Read on SO: [48] http://goo.gl/z4DI4

   * In haskell how can I uppercase a unicode character with respect 
     to current locale
     votes: 9, answers: 1
     Read on SO: [49] http://goo.gl/enNwK

   * Does haskell erase types?
     votes: 8, answers: 2
     Read on SO: [50] http://goo.gl/YP8Nn

   * Is there an Iteratee-like concept which pulls data from multiple sources?
     votes: 8, answers: 4
     Read on SO: [51] http://goo.gl/AOV0Y

Until next time,
Daniel Santa Cruz


Haskell mailing list
Haskell <at> haskell.org
Daniel Santa Cruz | 4 Oct 02:10 2012

Haskell Weekly News: Issue 246

Welcome to issue 246 of the HWN, an issue covering crowd-sourced bits
of information about Haskell from around the web. This issue covers the
week of September 23 to September 23, 2012.

Want to contribute quotes for HWN? Until today the only way to help
with those was to use <at> remember in the IRC channel. Now you can also
use <at> HWNQuotes in twitter to submit quotes for the weekly newsletter.

Quotes of the Week

   * carpi: all said ... the brain of someone of who writes compilers
     for haskell scares me nuts. I wouldn't want them concentrating on
     me, lest I catch fire.

   * Igloo: The major problem, as far as I can see, is how to construct
     the mumble'.

   * edwardk: i want to be able to know if the compiler is being stupid
     or if its just me, and without any sort of model to reason about it
     with, i always have to assume it could be the compiler; i already
     have to deal with that problem, its called 'scala'

   * ddarius: Now I can just point people at a readable and relevant
     paper instead of having to Cale it.

   * rwbarton: also, a generally safe answer to "was there an update to
     lambdabot recently" is "no"

   * camccann: you want a debugger? GHC has one. Except that stepping
     through lazy evaluation is like listening to a stream of
     consciousness narrative told by a 5-year-old with ADHD.

Top Reddit Stories

   * My Haskell book is not dead! I'd love some feedback now that it's six 
     chapters long and growing.
     Domain: sthaskell.com, Score: 61, Comments: 18
     On Reddit: [1] http://goo.gl/AfLwS
     Original: [2] http://goo.gl/oB0e8

   * What commercial users say they want from Haskell
     Domain: fpcomplete.com, Score: 46, Comments: 54
     On Reddit: [3] http://goo.gl/JTtMG
     Original: [4] http://goo.gl/ZoHrh

   * Haskell rewarding moments: Orc Battle translation
     Domain: self.haskell, Score: 41, Comments: 22
     On Reddit: [5] http://goo.gl/5xjJJ
     Original: [6] http://goo.gl/5xjJJ

   * Does Stroustroup have some FP envy? This is a pretty neat library 
     implementation of pattern matching in C++.
     Domain: open-std.org, Score: 40, Comments: 44
     On Reddit: [7] http://goo.gl/PH7ZU
     Original: [8] http://goo.gl/KuGrw

   * Functional TDD: a clash of cultures?
     Domain: facebook.com, Score: 34, Comments: 34
     On Reddit: [9] http://goo.gl/9xBLo
     Original: [10] http://goo.gl/kOi2G

   * Dovetailing
     Domain: self.haskell, Score: 33, Comments: 21
     On Reddit: [11] http://goo.gl/GdlMi
     Original: [12] http://goo.gl/GdlMi

   * Oh the fun of trying to install wxhaskell
     Domain: self.haskell, Score: 33, Comments: 33
     On Reddit: [13] http://goo.gl/4F3Fu
     Original: [14] http://goo.gl/4F3Fu

   * Lazy v. Yield: Incremental, Linear Pretty-printing 
     (Kiselyov, Peyton-Jones, Sabry) [pdf]
     Domain: cs.indiana.edu, Score: 31, Comments: 54
     On Reddit: [15] http://goo.gl/PfVHl
     Original: [16] http://goo.gl/ub46l

   * Call for discussion: OverloadedLists extension
     Domain: gist.github.com, Score: 24, Comments: 52
     On Reddit: [17] http://goo.gl/0O1G8
     Original: [18] http://goo.gl/xYyTq

   * Real World Haskell: is there a second edition coming?
     Domain: self.haskell, Score: 24, Comments: 9
     On Reddit: [19] http://goo.gl/rjjQb
     Original: [20] http://goo.gl/rjjQb

   * Introduction to Functional Reactive Programming [video]
     Domain: blog.edwardamsden.com, Score: 23, Comments: 3
     On Reddit: [21] http://goo.gl/vSVKP
     Original: [22] http://goo.gl/IH3MF

Top StackOverflow Questions

   * What optimizations can GHC be expected to perform reliably?
     votes: 27, answers: 2
     Read on SO: [23] http://goo.gl/E6bH4

   * A simple example showing that IO doesn't satisfy the monad laws?
     votes: 22, answers: 4
     Read on SO: [24] http://goo.gl/YptHT

   * Are there any good use cases for OverlappingInstances?
     votes: 12, answers: 3
     Read on SO: [25] http://goo.gl/FLChO

   * Why is ListT monad transformer considered buggy - what 
     monad laws it breaks?
     votes: 11, answers: 1
     Read on SO: [26] http://goo.gl/HX7Oa

   * How to build and use a bootstrap executable in a Cabal package
     votes: 10, answers: 1
     Read on SO: [27] http://goo.gl/tvA03

   * Continuation passing style representation of types
     votes: 10, answers: 1
     Read on SO: [28] http://goo.gl/6R60n

   * GHC code generation for type class function calls
     votes: 10, answers: 3
     Read on SO: [29] http://goo.gl/3ggvE

   * Why inductive datatypes forbid types like `data Bad a = C (Bad a -> a)` 
     where the type recursion occurs in front of ->?
     votes: 10, answers: 2
     Read on SO: [30] http://goo.gl/jtG6d

   * Are functions of arity-n really just an n-category due to currying? 
     Can they be made into a 1-category?
     votes: 9, answers: 2
     Read on SO: [31] http://goo.gl/JfJLF

   * Setting socket options on OSX
     votes: 9, answers: 0
     Read on SO: [32] http://goo.gl/aybHY

Until next time,
Daniel Santa Cruz


Haskell-Cafe mailing list
Haskell-Cafe <at> haskell.org