prologist

5 ms·

1. 1.▲
   by prologist 3y ago

   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.[
2. 2.▲
   by prologist 3y ago

   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 (2
3. 3.▲
   by prologist 3y ago

   Ceramics are notoriously brittle so it will be interesting to see how they make ceramic tapes.
4. 4.▲
   by prologist 3y ago

   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
5. 5.▲
   by prologist 3y ago

   Any sufficiently advanced type system is indistinguishable from Prolog.