Jon Purdy on his #Kitten #concatenative programming language with #static-typing
on 02024-09-19Christopher Diggins’s DDJ article about the #Cat #concatenative programming language with #static-typing
on 02024-09-19Christopher Diggins’s blog, covering the #Cat #concatenative programming language with #static-typing
on 02024-09-19Christopher Diggins’s "Cat" #concatenative programming language with #static-typing
on 02024-09-19Jon Purdy’s #Kitten #concatenative programming language with #static-typing
on 02024-09-19Jon Purdy’s #Kitten #concatenative programming language with #static-typing
on 02024-09-19#Kitten apparently has infix syntax and Python-style control syntax, a huge departure from earlier #concatenative languages like Cat and Forth.
on 02022-05-26Something about #concatenative programming?
on 02020-11-12“I guess now is as good a time as any to explain "Mirth". Mirth is a strongly-typed #concatenative functional programming language. Mirth draws a lot of inspiration from monoidal category theory, as well as the languages Haskell, Idris, Rust, Lisp, #Forth, and its namesake, Joy.” #cs
on 02019-02-01Jon Purdy’s thoughts on statically-typed #concatenative languages like Cat, talking about a new one called "Kitten". #cs
on 02016-04-21#pdf #paper on Push-forth, a higher-order statically-typed #concatenative language derived from Joy and Cat, intended for genetic programming. It has a very nice notation for program states in terms of a two-stack machine. #programming #cs
on 02016-04-21Cat is a higher-order #concatenative language (like Forth, Joy, or PostScript) that is statically type-checked with a type system based on #Hindley-Milner. This post goes into some details of how this works. #programming #cs
on 02016-04-21