Insightful blog post on why Idris 2 is 10x faster than Idris 1. What I learned: - Store the global context in a mutable array. - Types can eat all your memory. Use sharing. - Don't start by generating C. Try an existing functional runtime. - Don't be lazy. - Sometimes be lazy.https://twitter.com/edwinbrady/status/1264993751006666754 …
Replying to @andreymokhov
"I'll be the judge of when to be lazy, not the machine" perhaps...
3:11 AM - 26 May 2020
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.