Skip to content

Comment on Why is Idris 2 so much faster than Idris 1?parent

Comments

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.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.