News for hackers. Stuff that matters.
Re:Catala Lang: DSL designed for deriving implementations fr... by etaioinshrdlu on Thursday September 23, 2021 @08:57PM (#28637459)
It looks like a mix of a functional language and Prolog.
Re:Catala Lang: DSL designed for deriving implementations fr... by denismerigoux on Friday September 24, 2021 @04:56AM (#28640053)
It is actually a purely functional language : the compiler translates all the code to lambda calculus at some point (https://dl.acm.org/doi/10.1145/3473582).