Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Very likely. At the very least a subset or with some additions, I-structures come to mind.

If you're interested, someone already did some legwork on this, using an eager version of Haskell:

[1] S. Aditya, Arvind, J.-W. Maessen, L. Augustsson, and R. S. Nikhil, “Semantics of pH: A parallel dialect of Haskell,” presented at the FPCA 95, 1995, pp. 35–49.



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: