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

Re. GADTs, you can parse to an ADT then have a separate function to add the extra type information. The problem is that you want to add static information to dynamic input, so you need to handle the error cases.

Yep. I tought about it, but I was a few days from the deadline date, and this will add a significant amount of work.

Anyway, I was dissatisfied of that. GADTs are awesome to add some "proofness" to a type checker.


Guidelines | FAQ | Support | API | Lists | Bookmarklet | DMCA | Y Combinator | Apply | Contact