3 ms·
> 1. Compile times Give Idris 2 a try if you’re not afraid of the teething problems.
by rq1 7y ago
> 1. Compile times
Give Idris 2 a try if you’re not afraid of the teething problems.
- bjoli 7y agoIsnt Idris 2, like new racket, compiled to chez? I remember Edwin Bring very impressed by the chez backend for Idris 1.
- rq1 7y agoYes. IIRC according to Edwin, he didn’t want to spend too much time on implementing an efficient RTS and decided to focus on his core competency instead to (correctly) bring in qtt. The result is surprisingly good and fast. Way faster than v1 actually on both compile and run time. Ps. Brady btw.
- deleted 7y ago[deleted]