5 ms·
I think this kind of sentence makes such a huge disservice for the HVM. Rust closures also doesn't support the full λ-calculus! HVM supports way more λ-terms th
by LightMachine 3y ago
I think this kind of sentence makes such a huge disservice for the HVM. Rust closures also doesn't support the full λ-calculus! HVM supports way more λ-terms than Rust does. That said, we're working on full λ-calculus support, so this shouldn't be a problem soon.
- markusde 3y agoAha-- so then HVM allows a more efficient reduction of some lambda terms, but is not intended to replace something like GHC core? What is the subset of lambda terms which HVM can (soundly) evaluate?
- LightMachine 3y agoWell, it should be a viable alternative to GHC once we implement full lambdas, but without them, it should be seen as a separate language, just like Rust. The complete subset of lambda terms that HVM can soundly evaluate hasn't been identified yet. It is known that HVM can, at least, soundly evaluate all terms typeable on Elementary Affine Logic (EAL), but, while that is a huge set, it isn't comprehensive, as HVM can evaluate many terms outside of EAL, including recursive terms such as the Y-Combinator.
- markusde 3y agoInteresting-- thanks!