Skip to content

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

Comments

Good point, Lispy languages with sufficiently powerful macro systems can do this. This is part of the reason, why no language committee deciding on backwards compatible changes to the language is needed to develop such a library.

I don't know enough to say whether this would be possible in Rust.

AboutSource Built by g1lg1l

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