Possibly related, my phone just tried to autocorrect Haskell to Hallelujah. Make of that what you will. (in case of doubt, I do like Haskell... Just... There's more choices you can make and they're not *all* wrong!)
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Is there a Scheme backend for Idris? Or only for blodwen?
-
Idris 2 uses Scheme by default, at least for the moment. There is one for Idris 1 (I posted a link to the mailing list earlier) but I don't think it's actively maintained.
- 2 more replies
New conversation -
-
-
Can X be lazy? Strictly speaking, no. You've already used that joke many times?
-
Not in exactly that form, but I suspect so :)
End of conversation
New conversation -
-
-
ah yes, the old "why can't you invest your time into doing things the way I want them done?"
-
I feel like I should add this to the faq but I can't find a polite way to do it...
- 1 more reply
New conversation -
-
-
Question: Assuming the function is total, and the compiler optimizes with fusing? Wouldn't lazy and strict converge to the same?
-
Yes, but the performance will be different, so you need to know what the machine will do at run time
- 9 more replies
New conversation -
-
-
Maybe it's because many people are reading the FAQs in the finely crafted documentation http://docs.idris-lang.org/en/latest/faq/faq.html?highlight=Lazy#why-does-idris-use-eager-evaluation-rather-than-lazy …
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.