Hacker News new | ask | show | jobs
by brundolf 1022 days ago
Cute :)

Any sufficiently advanced type system is indistinguishable from an interpreter!
2 comments
evolveyourmind 1022 days ago
You can also easily implement meta-languages. Eg. lambda calculus: https://github.com/desi-ivanov/ts-lambda-calc
link
klysm 1022 days ago
=> turing completeness
link