PFL Interpreter

LA home
Computing
FP
 PFL
  Syntax
  Examples
  Interpreter
  Interpreter

Also see:
 λ-calculus
 Prolog
Semantics

The PFL interpreter is based on the λ-calculus [interpreter].

PFL.p main, driver
lazy.D.P  
lazy.O.P binary ops
lazy.U.P unary ops
lazy.apply.P  
lazy.env.P  
lazy.eval.P  
lazy.exec.P set up the initial processes and start them running
lazy.mkval.P make values
lazy.show.P printing
lazy.type.P  
 
pfl.interact.P process interactions of complimentary pairs c!v->... and c?x->...
pfl.count.P count processes
lex.insym.P lexical
lex.type.P  
syntax.P parser
syntax.print.P  
syntax.type.P  
www #ad:

pfl...
|   choice
|| parallel
-> sequence
? input act
! output act
chan new channel
↑ © L. Allison, www.allisons.org/ll/   (or as otherwise indicated).
Created with "vi (Linux)",  charset=iso-8859-1,   fetched Wednesday, 24-Apr-2024 23:59:29 UTC.
Free: Linux, Ubuntu operating-sys, OpenOffice office-suite, The GIMP ~photoshop, Firefox web-browser, FlashBlock flash on/off.