Comment on Implementing a JIT Compiled Language with Haskell and LLVMparentComments−evincarofautumn12yRe. 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.−raphaelj12yYep. 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.
Comments
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.