I did the same for my performant implementation of pure functional programming language BLC/BLC2,
which in 400+ lines contains a graph reduction engine for combinatory logic, to which the lambda calculus programs are converted by Kiselyov's bracket abstraction algorithm.
tromp · · focus · HN ↗
I did the same for my performant implementation of pure functional programming language BLC/BLC2, which in 400+ lines contains a graph reduction engine for combinatory logic, to which the lambda calculus programs are converted by Kiselyov's bracket abstraction algorithm.
[1] <a href="https://github.com/tromp/AIT/blob/master/uni.c" rel="nofollow">https://github.com/tromp/AIT/blob/master/uni.c
nine_k · · focus · HN ↗