mmlang.scala

// Removed the => evaluate operator.
//    BEFORE 1 => +2
//    NOW    1 + 2
// Evaluation is determined by juxtaposition (reading left to right).
//    value type   (equiv   value => type (execution))
//    type  type   (equiv   type  => type (compilation)) 

mmlang> 1
==>1
mmlang> +2
==>[plus,2]
mmlang> 1+2
==>3
mmlang> 1[plus,2]
==>3
mmlang> 1,2,3[plus,2]
==>3
==>4
==>5
mmlang> [1->2][plus,['a'->'b']]
==>[1->2,'a'->'b']
mmlang> [1->2],[3->4],[5->6][plus,['a'->'b']]
==>[1->2,'a'->'b']
==>[3->4,'a'->'b']
==>[5->6,'a'->'b']
mmlang>