Comment by rsrsrs86 5 years ago Working with Catala in academy. Also trying to model Catala as a type system embedded in Haskell 5 comments rsrsrs86 Reply denismerigoux 5 years ago Hi, Catala author here. This is amazing! Please get in touch if you have any questions or just want to talk :) rsrsrs86 5 years ago How can I reach you? oh_sigh 5 years ago denis [point] merigoux [at] inria [point] fr lopatin 5 years ago What are the benefits of having this be the type level? Asking as a reformed purist. rsrsrs86 5 years ago Ok I expressed it wrong. I am just trying to embed a legal DSL it in Haskell and get the type system to help building type-safe contracts - same as embedding the STLC in GADTs
denismerigoux 5 years ago Hi, Catala author here. This is amazing! Please get in touch if you have any questions or just want to talk :) rsrsrs86 5 years ago How can I reach you? oh_sigh 5 years ago denis [point] merigoux [at] inria [point] fr
rsrsrs86 5 years ago How can I reach you? oh_sigh 5 years ago denis [point] merigoux [at] inria [point] fr
lopatin 5 years ago What are the benefits of having this be the type level? Asking as a reformed purist. rsrsrs86 5 years ago Ok I expressed it wrong. I am just trying to embed a legal DSL it in Haskell and get the type system to help building type-safe contracts - same as embedding the STLC in GADTs
rsrsrs86 5 years ago Ok I expressed it wrong. I am just trying to embed a legal DSL it in Haskell and get the type system to help building type-safe contracts - same as embedding the STLC in GADTs
Hi, Catala author here. This is amazing! Please get in touch if you have any questions or just want to talk :)
How can I reach you?
denis [point] merigoux [at] inria [point] fr
What are the benefits of having this be the type level? Asking as a reformed purist.
Ok I expressed it wrong. I am just trying to embed a legal DSL it in Haskell and get the type system to help building type-safe contracts - same as embedding the STLC in GADTs