search

jstolarek / inferno

Mirrored from https://gitlab.inria.fr/fpottier/inferno
MIT License
0 stars 1 forks source link

Implement lists in the client #44

Open jstolarek opened 2 years ago

jstolarek commented 2 years ago

Right now we have two build in types: Int and Bool. It would be nice to have lists as well. This would allow implementing all examples from the PLDI paper.

EDIT: or maybe it would be possible to implement arbitrary parameterised data types, not just lists? There are some examples in the PLDI paper that use ST monad.