[Haskell-cafe] Haskell Weekly News

[Kim-Ee Yeoh]

> Another Lennart, last name Spitzner, creates another genie that turns type
> signatures into programs. Unlike Djinn, Exference
> <http://haskell.1045720.n5.nabble.com/ANN-exference-a-different-djinn-td5807986.html>
> makes no promises over termination. "Your wish is my command even at the
> expense of closure."
>
> Like Agda? You can now enjoy the hole-driven development style in Haskell,
> brought to you courtesy of Mote by Izaak Meckler
> <https://github.com/imeckler/mote>. Discussion here
> <https://www.reddit.com/r/haskell/comments/33v4nm/ann_mote_a_tool_bringing_holedriven_development/>
> .
> <http://tomassetti.me/an-erd-web-server-generation-entity-diagrams-from-a-textual-description-with-haskell/>


Relevant addendum:

   - Ever use 'undefined' when writing definition stubs? Ever wished you
   had a type-level 'undefined' too? Thomas Winant explains advanced
   stubbing
   <https://www.fpcomplete.com/user/thomasw/new-in-ghc-7-10-partial-type-signatures>
   using GHC 7.10's new PartialTypeSignatures extension. Three years later, Dan
   Burton's wish
   <http://stackoverflow.com/questions/9036554/undefined-at-the-type-level>
   is granted.

Thanks to Dominique Devriese for prompting inclusion.

And speaking of granting wishes, stub-driven development in your favorite
editor jetpacked with type-to-term genies is tantalizingly
<http://haskell.1045720.n5.nabble.com/ANN-exference-a-different-djinn-td5807986.html#a5808041>
within grasp. Visual Studio <https://news.ycombinator.com/item?id=9459364>,
eat your heart out.

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