Viewing profile — 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 essent…

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 …

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…

Any sufficiently advanced type system is indistinguishable from Prolog.