The secdh package

[Tags:bsd3, library, program]

SECDH stands for Stack-Environment-Code-Dump-Heap, and is an abstract machine based on Landin's classic SECD machine for evaluation of lambda-calculus expressions. This machine adds a heap of suspension cells to the structure managed by the machine, allowing fully-lazy evaluation, similar to Haskell. The machine operates directly on the syntax tree, as Landin's machine does. The entire implementation, including parser, evaluator, and garbage collector, occupies just over 1100 lines of code.

Properties

Versions 0.1, 0.2
Dependencies base (==4.*), containers (>=0.4), secdh [details]
License BSD3
Author Peter Gavin
Maintainer pgavin@gmail.com
Stability Unknown
Category Compilers/Interpreters
Home page http://github.org/pgavin/secdh
Source repository head: git clone http://abt12monk.org/git/secdh.git/
Uploaded Tue Sep 13 09:46:25 UTC 2011 by PeterGavin
Updated Sat Feb 28 09:01:20 UTC 2015 by PeterGavin to revision 1
Distributions NixOS:0.2
Downloads 483 total (7 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
Last success reported on 2015-11-24 [all 5 reports]

Modules

  • Language
    • Slambda
      • Language.Slambda.Read
      • Language.Slambda.Show
      • Language.Slambda.Types
      • Language.Slambda.Util
  • SECDH
    • SECDH.Eval
    • SECDH.Show
    • SECDH.Types

Downloads

Maintainer's Corner

For package maintainers and hackage trustees