Catala Lang: DSL designed for deriving implementations from legislative texts

Re:Catala Lang: DSL designed for deriving implementations fr... by rsrsrs86 on Thursday September 23, 2021 @04:14PM (#28634648)

Working with Catala in academy. Also trying to model Catala as a type system embedded in Haskell

[ Parent | on HN ]

Re:Catala Lang: DSL designed for deriving implementations fr... by denismerigoux on Thursday September 23, 2021 @05:32PM (#28635763)

Hi, Catala author here. This is amazing! Please get in touch if you have any questions or just want to talk :)

[ Parent | on HN ]

Re:Catala Lang: DSL designed for deriving implementations fr... by rsrsrs86 on Thursday September 23, 2021 @06:20PM (#28636325)

How can I reach you?

[ Parent | on HN ]

Re:Catala Lang: DSL designed for deriving implementations fr... by oh_sigh on Thursday September 23, 2021 @11:08PM (#28638190)

denis [point] merigoux [at] inria [point] fr

[ Parent | on HN ]

Re:Catala Lang: DSL designed for deriving implementations fr... by lopatin on Thursday September 23, 2021 @04:43PM (#28635083)

What are the benefits of having this be the type level? Asking as a reformed purist.

[ Parent | on HN ]

Re:Catala Lang: DSL designed for deriving implementations fr... by rsrsrs86 on Thursday September 23, 2021 @06:22PM (#28636348)

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

[ Parent | on HN ]