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@milessabin who cares? It's total, doesn't matter :)2 replies 0 retweets 0 likes -
Replying to @puffnfresh
@puffnfresh Speaking as a novice in this realm, wouldn't it still matter for things such as infinite lists, etc? cc/@JorgeO@milessabin2 replies 0 retweets 0 likes -
Replying to @coltfred
@coltfred@puffnfresh@JorgeO@milessabin infinite recursion isn't total1 reply 0 retweets 0 likes -
Replying to @jedws
@jedws I sent a copy of@edwinbrady 's paper to my kindle so maybe I'll have a clue after that. I'm new to the idea of "total language".3 replies 0 retweets 0 likes -
Replying to @coltfred
@coltfred@edwinbrady I found this useful http://etorreborre.blogspot.com.au/2012/06/strong-functional-programming.html?m=1 …1 reply 0 retweets 0 likes
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.