I'm more excited by #Idris than I have been by any new programming language since I first ran across #Scala in 2004: http://www.idris-lang.org
-
-
Replying to @milessabin
@milessabin Eager evaluation? I bet that was uncontroversial!1 reply 1 retweet 1 like -
Replying to @JorgeO
@JorgeO I was a little surprised by that as well. Any idea why that was chosen? cc/@milessabin2 replies 0 retweets 0 likes -
Replying to @coltfred
@coltfred@JorgeO strict/lazy plays out differently in a total language. See Greg Morrisett's comment http://augustss.blogspot.co.uk/2011/05/more-points-for-lazy-evaluation-in.html … /cc@edwinbrady1 reply 1 retweet 1 like
Replying to @milessabin
@milessabin @coltfred @JorgeO Unsurprisingly, lots of people ask that! http://www.idris-lang.org/documentation/faq/ …
10:47 AM - 29 Oct 2013
0 replies
0 retweets
1 like
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.