[Haskell-cafe] Haskell Weekly News
ky3 at atamo.com
Fri May 1 13:02:47 UTC 2015
> Another Lennart, last name Spitzner, creates another genie that turns type
> signatures into programs. Unlike Djinn, Exference
> 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
- Ever use 'undefined' when writing definition stubs? Ever wished you
had a type-level 'undefined' too? Thomas Winant explains advanced
using GHC 7.10's new PartialTypeSignatures extension. Three years later, Dan
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
within grasp. Visual Studio <https://news.ycombinator.com/item?id=9459364>,
eat your heart out.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe