Re:Coq typeclass resolution is Turing-complete
by thaliaarchi on Sunday April 16, 2023 @03:16PM
(#35593333)
Haskell is notoriously difficult to reason about runtime performance, but that is due to its lazy evaluation, not because it is functional. Lazy evaluation can cause hidden space leaks, where expressions have not yet been evaluated, so maintain references to other values. Most functional programming languages are not lazy.
[ Parent
| on HN ]
There are no comments on this comment yet.