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