F-Algebras

by dimitrs_papadimitriou

HTML

<script src="https://rawgit.com/eu81273/jsfiddle-console/master/console.js"></script>

JavaScript

var Id = v => ({ 
    v: v,
    map: f => Id(f(v)),
   });
 
 var algInt = IdF => IdF.v;
 
  var algIntSq = IdF => IdF.v^2 ;
  
 var evaluation  = algIntSq(Id(4))
 
 console.log(evaluation)