#programming
Maxim Orlovsky
I am working on a categorical programming language (i.e. matching category theory) named #Cation. It is a base for domain-specific languages like #Contractum for #RGB smart contracts. However, Cation can do much more than that and is designed as a generic programming language with termination analysis, GADT, monads, balanced ternary types in standard lib and many more exciting features. Basically, in Cation everything - data, functions, types etc - are natural transformation, and everything runs in parallel with lazy evaluation of race conditions (“quantum-style”).
I have already spent 2.5 years on it, so the things are starting taking a shape. Everyone interested in category theory and such challenges pls join https://t.me/cation_lang
Maxim Orlovsky
I am working on a categorical programming language (i.e. matching category theory) named #Cation. It is a base for domain-specific languages like #Contractum for #RGB smart contracts. However, Cation can do much more than that and is designed as a generic programming language with termination analysis, GADT, monads, balanced ternary types in standard lib and many more exciting features. Basically, in Cation everything - data, functions, types etc - are natural transformation, and everything runs in parallel with lazy evaluation of race conditions (“quantum-style”).
I have already spent 2.5 years on it, so the things are starting taking a shape. Everyone interested in category theory and such challenges pls join https://t.me/cation_lang
🤔2🔥1🆒1