"Provides a static type system with type inferencing"BS Editor: Cat is a functional stack-based programming language inspired by the Joy programming language. .. Christopher Diggins cat details