I'm glad to see a successor for the defunct cat. I love the precision and concision you can achieve with this style of programming.
Cat was a big inspiration in Michelson, another concatenative, statically typed, functional programming language that we designed to run smart contract in Tezos.
I hadn’t heard of it—that’s very interesting, thanks. :)
It would be nice to use GADTs for Kitten’s AST, but last time I tried, it made inference complicated, and I never figured out a good way to encode Kitten’s permission system in Haskell types. Even just annotating Kitten types with their kinds (in the old compiler) was too cumbersome.
Cat was a big inspiration in Michelson, another concatenative, statically typed, functional programming language that we designed to run smart contract in Tezos.
http://www.tezos.com/language.txt