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

That is amazing! "Every good regulator of a system must be a model of that system" [1] So not only does the Haskell code encode a shell, but also a type inferencer and type checker, all in 18kloc.

3-5kloc more and you would have a shell compiler!

[1] https://libgen.is/scimag/10.1080%2F00207727008920220



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

Search: