Cat 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
#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
Jon Purdy’s thoughts on statically-typed #concatenative languages like Cat, talking about a new one called "Kitten". #cs
A new #PyPy release with significant #performance improvements. Also they now support five architectures: i386, amd64, ARM (32-bit), PowerPC 64, and IBM System/360 (s390x), and they now have basic numpy support instead of none. #python #compilers