News for hackers. Stuff that matters.

A comment on Catala Lang: DSL designed for deriving implementations from legislative texts. Parent comment

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 ]