Hacker News new | comments | ask | show | jobs | submit login
Generic Evaluators – defining language-generic evaluators (lazy/eager/stack &c) (languagengine.co)
1 point by psygnisfive on Sept 29, 2015 | hide | past | web | favorite | 1 comment



I'd caution the reader that this post is about purely functional, type theoretically defined languages. I haven't yet generalized to languages with implicit effects (tho I suspect it's possible). Explicit, type-defined effects via free monad-like setups are entirely possible with this, however.




Applications are open for YC Summer 2019

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

Search: