3 ms·
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 dy
by evincarofautumn 13y ago
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.
- deleted 13y ago[deleted]
- raphaelj 13y agoYep. 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.