Comment on Why is Idris 2 so much faster than Idris 1?parentComments−devit6yIt'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.
Comments
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.