Hacker News new | comments | show | ask | jobs | submit login

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.

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact