Re:Why is Idris 2 so much faster than Idris 1?
by krapht on Monday May 25, 2020 @04:46PM
(#23304790)
Sure. Linear types and borrow checking is possible in Lisp too, but I wouldn't take that as evidence that it's super easy to make Clojure behave like Rust.
What is possible and what is practical are two different things.
What is possible and what is practical are two different things.