> 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
   using GHC 7.10's new PartialTypeSignatures extension. Three years later, Dan
   Burton's wish
   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
within grasp. Visual Studio <https://news.ycombinator.com/item?id=9459364>,
eat your heart out.

-- Kim-Ee
Haskell mailing list

Reply via email to