optlam
An optimal function evaluator written in JavaScript.
Browse cluster: Cluster 72 →Tech stack & purpose
Optlam.js is an optimal lambda-calculus evaluator written in JavaScript that uses Lamping's Abstract Algorithm and interaction nets to compute functions more efficiently than conventional implementations. The project implements optimal function evaluation in the sense defined by Lévy, avoiding the "oracle" problematic to Lamping's algorithm and instead restricting itself to lambda-terms typeable in Elementary Affine Logic. Although written in JavaScript (which limits practical efficiency), it is asymptotically faster than most function evaluators and can compute complex modular exponentiations that would take years in languages like Haskell. The project was created by an individual developer (maiavictor, based on the GitHub link in the README) and is now deprecated in favor of a cleaner version.
Community & reference links
Languages
Contributors
- srvictormaia6 commits
- Victor Hernandes Silva Maia4 commits
- MaiaVictor3 commits
- dann toliver1 commits
- Victor Maia1 commits