Preserves: An Expressive Data Language

Re:Preserves: An Expressive Data Language by tonyg on Friday August 09, 2019 @11:33AM (#20655284)

Yes, but it's even less ready for public scrutiny :-)

Actually, could you say more about what you have in mind? Something a bit like a config language, maybe -- terminating, sub-Turing -- or something more like a Lisp?

[ Parent | on HN ]

Re:Preserves: An Expressive Data Language by camgunz on Friday August 09, 2019 @03:47PM (#20657688)

Something like a Lisp yeah. I think sub-Turing is interesting for verification/configuration/whatever, but I have a soft spot for small languages with powerful base concepts.

[ Parent | on HN ]

Re:Preserves: An Expressive Data Language by clacke2 on Sunday August 11, 2019 @04:18AM (#20667038)

Now you guys made me think of https://github.com/Gabriel439/Haskell-Annah-Library again.

[ Parent | on HN ]