[Haskell-cafe] Haskell Weekly News

Kim-Ee Yeoh ky3 at atamo.com
Fri Jan 15 11:01:55 UTC 2016

*Top Picks:*

   - Team GHC announces the first release candidate of version 8.0
   New features include:
   - Strict and StrictData extensions
      - TypeFamilyDependencies extension for injective type families
      - TypeInType extension for more dependent typing hackery
      - explicit type application in plain Haskell, not Core
      - Applicative do-notation
      - a spanking new pattern-match checker
      - modularization of the ghci interpreter: it can now run as an
      independent process

Note that the announcement includes a list of bugs linked to the new

   - The engineers at an Australian real estate listings website explain
   how they "used Category Theory to solve a problem in Java."
   They face the problem of their search API having grown gnarly and
   inextensible. First they offer a monoid tutorial culminating in
   SearchResults -> SearchResults endomorphisms. Then they regularize their
   database lookups as Kleisli-composable instances of a monomorphic state
   monad of type (DataSource, SearchResults) -> SearchResults. Finally, they
   profunctorize the state monad for mereological development of the
   DataSource. So how was the blog post received? A vocal section of the HN
   community express skepticism
   <https://news.ycombinator.com/item?id=10892696>. One haskell subredditor
   found it "an excellent article."

   - Verity Stob <https://en.wikipedia.org/wiki/Verity_Stob>, the doyen of
   information technology satire, skewers the cargo culting of Functional
   <http://www.theregister.co.uk/2016/01/13/stob_remember_the_monoids/> and
   by the by writes a monad tutorial (omg!). Haskell redditors chuckle and
   cluck at the hatchet job

   - Team Wander Nauta creates Viskell
   <https://github.com/wandernauta/viskell>, "an experimental visual
   programming environment for a typed (Haskell-like) functional programming
   language." Programming with touch tablets in mind, he implements Viskell in
   Java 8 because "Haskell lacks suitable GUI libraries, and we need good
   multi-touch support." A slides PDF contains more screenshots.
   Well-received on both Hacker News
   <https://news.ycombinator.com/item?id=10874294> and /r/haskell

*Quotes of the Week:*

   - Tom Ellis: <https://news.ycombinator.com/item?id=10870488#up_10874714>
   In Haskell you don't fight the type system. It fights your bugs.

   - Jeremy Bowers:
   <https://news.ycombinator.com/item?id=10892293#up_10896419> The reason I
   find Haskell interesting is precisely that it's the only place I know where
   the theoretically-minded and the practically-minded get together and
   interpollinate. Everywhere else the one group pretty much just sneers at
   the other.

   - Redditor lukewarm:
   Yes, you can write industry quality software in Haskell. Do all your
   computations in the IO monad, keep intermediate results in MVars. Use only
   Int and String types. Use exceptions to handle errors. Write yourself
   custom constructs to emulate for and while loops, preferably using
   Template Haskell.

-- Kim-Ee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20160115/44d5798f/attachment.html>

More information about the Haskell-Cafe mailing list