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 @corecursive
Pondering this further, I think it's partly because the examples rely on dependent pattern matching, and partly because that's what the tools make easy to do. Going to take a look at your book now for some alternative perspectives on what else we should make easy...
1 reply 0 retweets 0 likes -
Replying to @edwinbrady @corecursive
If you'd like a coupon for the book, DM me. The book is perhaps too obsessed with avoiding cases, starting at chapter 5. Chapter 26 is were I probably go completely off the rails.pic.twitter.com/179IihRC9M
1 reply 0 retweets 1 like
Thanks, although I already have it :). Happy to support this effort - different perspectives are really useful after all.
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.