July 13, 2011

Haskell Weekly News: Issue 190

Welcome to issue 190 of the HWN, a newsletter covering developments in the Haskell community. This release covers the week of July 3 to 9, 2011.

Announcements

Karel Gardas announced that he, Stephen Blackheath, and David Terei are "working together on ARM registerised port of GHC. The port is using LLVM as a code generator and is kind of working already." Testing is much appreciated!

Matthias Fischmann inveted people to the HacPhi satellite in Berlin on July 29-31. See the post for details. Admission is free, but there is limited space, so don't wait too long!

Quotes of the Week

  • chrisdone: [on hpaste as motivational tool] When I added hlint I was like 'hey Neil, check this', and he was all 'Oh noes! I must fix all the bugs!'
  • luite: *amacleod started excising GOTOs from his BASIC code when he was 10. *roconnor started excising GOTOs from his Pascal code when he was 11. *luite used goto's in his C code last year.
  • AlanPerlis: One can't proceed from the informal to the formal by formal means.
  • Axman6: well, if C++ is anything to go by, the next Haskell will have lambdas and easy concurrency!
  • Cale: Constructing a definition from a type is formally the same thing as constructing a proof from a theorem. (Just with different logical systems in place :)
  • xplat: im in ur Sierpinski space, classifyin' ur subobjects
  • cmccann: in ContT, flow controls you
  • [Kron] What is the meaning of life? D: [joe6] learning agda?
  • camccann: Applying readFile to a file path doesn't return a String value any more than putting a steak next to a meat grinder magically turns them into a hamburger.
  • blackdog: the type system makes you strong, makes you hard.

Top Reddit Stories

Top StackOverflow Questions

About the Haskell Weekly News

To help create new editions of this newsletter, please send stories to dstcruz@gmail.com.

Until next time,
Daniel Santa Cruz

No comments: