@edwinbrady Whenever I read the #idris tutorial I get very excited, but then I come to the strict by default part and get sad. Every time.
-
-
@edwinbrady New backend would be great, but wouldn't they need new stdlibs to take advantage of them? -
@jwiegley You're welcome to write them too :). But I am aware of all the tradeoffs, and have decided strict. - 1 more reply
New conversation -
-
-
@edwinbrady@smdiehl@jwiegley strict vs. Non-strict in a total language is purely a performance concern, the program will always terminate? -
@chee1bot@edwinbrady@smdiehl Such performance concerns lead to algorithm fusion, while laziness can lead to con fusion. But composition!
End of conversation
New conversation -
-
-
@edwinbrady@jwiegley what would it mean to make it easier? Better allow#Idris as a library? -
@puffnfresh Basically, yes. Easier access to the code generator machinery.@jwiegley
End of conversation
New conversation -
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.