Re. GADTs, you can parse to an ADT then have a separate function to add the extr... | Hacker News

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

		evincarofautumn on Jan 10, 2014 \| parent \| context \| favorite \| on: Implementing a JIT Compiled Language with Haskell ... 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.

raphaelj on Jan 10, 2014 | [–]

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 | Lists | API | Security | Legal | Apply to YC | Contact