It's been a while since anyone asked if Idris could be lazy by default... Github makes it easy to fork, and Idris makes it easy to write your own backend, so enjoy yourself :). (As with much of CS, it's a trade off. Laziness is lovely. It has its place. Idris isn't lazy. Sorry)
-
-
If it's just a performance thing (not a correctness thing), I'd hope someday compilers could be smart enough to just do whatever performs the best.
-
What performs "best"? Least peak memory usage? Least wall clock time? Fewest allocations? I'd rather say what I mean than have the machine guess arbitrarily.
- 5 more replies
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.