4 ms·
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 i
by murbard2 10y ago
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.
http://www.tezos.com/language.txt http://www.tezos.com/language.txt
- evincarofautumn 10y agoI 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.