prologist

Thanks. The Shen language takes this to its logical conclusion (pun intended) and implements a fully Turing complete type system. Types are specified with sequents which are essentially Prolog relations using a slightly different notation.[1]

1: https://shenlanguage.org/OSM/Recursive.html

Their road map to denser storage, TB/cm vs GB/cm, mentions tapes. The cartridges make sense since they're essentially cd-roms, CeraTape on the other hand with 10 nanometer coating seems like magic.

> Meanwhile, CeraTape (2030-35) gives away the storage medium type in its name. These data tapes will have a 5 µm thick substrate with a 10 nm thick ceramic coating.

Ceramics are notoriously brittle so it will be interesting to see how they make ceramic tapes.

It's just a demonstration of how to encode the transition rules for Conway's game of life as a set of types, aka logical constraints. TypeScript's type system has unification, same as in Prolog, and since Prolog is basically Turing complete so is TypeScript's type system.

Any sufficiently advanced type system is indistinguishable from Prolog.