Episode 6 is out! Type driven Development with @edwinbrady #idris http://corecursive.com/006-type-driven-development-and-idris-with-edwin-brady?tdest_id=633636 … …
-
-
Replying to @corecursive @edwinbrady
One thing I noticed from your book,
@edwinbrady, is that solutions tend to be case-heavy. How does that play alongside pipelines of the sort that are common in Elm? Coming from Clojure and Elixir, I'm very fond of such.pic.twitter.com/lPpwkFZkxN
2 replies 0 retweets 0 likes -
Replying to @marick @edwinbrady
I think the case expansion in atom works shows off the type driven idea. In practice, I assume, there might be a 'refactor to higher order function' step included in the refine step, and composing functions works just as well as Haskell. Head isn't total though :)
2 replies 0 retweets 0 likes
I would really like a "refactor to higher order function" gadget. I hope we can take the type driven approach much further to better support pipelines, hofs, etc.
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.