Re:Why is Idris 2 so much faster than Idris 1?
by devit on Monday May 25, 2020 @04:46PM
(#23304792)
It's not a bug, it's due to the trait (aka typeclass) system.
Apparently Haskell has some restrictions that make typeclasses decidable (if -XUndecidableInstances is not set), but Rust has no such mechanism other than numeric iteration limits.
Apparently Haskell has some restrictions that make typeclasses decidable (if -XUndecidableInstances is not set), but Rust has no such mechanism other than numeric iteration limits.