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

Actually, the expression problem has been solved in Haskell. (Or rather, they are multiple good attempts at solutions.)

Is nanopass typed? I'd like to see some good examples of typed Racket.



It is a sort of a typed DSL hosted on top of an untyped language.


Thanks!




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

Search: