资 源 简 介
The Happy language is a CamL-like language. Its particularly is that it is used for concurrent computations. In the theory, π-calculus is an equivalent .
Our compiler is written in Java with an object conception approach. It uses the JavaCC parser generator as front-end. The back-end is design to produce C code.
Happy looks like that :
let Int x = 10 in (print_int ((fun Int a |-> a * 2) x))