PFL Syntax

LA home
Computing
FP
 PFL
  Syntax
  Examples
  Interpreter
  Syntax

Also see:
  λ syntax
PFL.out -- the interpreter, reads a PFL source program from standard input.
[Examples/] -- example PFL programs

processes:
  process1 || process2       p1 and p2 in parallel
  process1 |  process2       choice of either p1 or p2
  action -> process          sequence
  stop                       null process

NB. there is a (typical) restriction that
  `||' below `|', eg. (p1||p2)|p3, is not allowed.

actions:
  channel ? variable         input  action
  channel ! expression       output action

channels:
  let c=chan in ...          chan returns a new channel
  output                     standard ouput channel
  input                      standard input channel

Otherwise the non-process part of the language is as for [λ FP].

April 1993

NB.   ->   is the sequencing, "then do" operator, nothing at all to do with function-types or the definition of functions as in Haskell.

[Refs].

www:

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, 20-Feb-2019 09:34:39 EST.

Free: Linux, Ubuntu operating-sys, OpenOffice office-suite, The GIMP ~photoshop, Firefox web-browser, FlashBlock flash on/off.