Comment on Show HN: Conway's Game of Life in TypeScript's type systemparentComments−divs12103ycommenting for future reference.that's a great quote.−prologist3yThanks. 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−divs12103yYes! I have played with Shen before.IIRC the type checker is literally a Prolog.
Comments
commenting for future reference.
that's a great quote.
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
Yes! I have played with Shen before.
IIRC the type checker is literally a Prolog.