Добірка проєктів реалізованих виключно на системі типів TypeSc | Wild Wild Web

Добірка проєктів реалізованих виключно на системі типів TypeScript

Доки я ще не зловив бажання розповісти про {Reverse, Bind} Shell та що це й для чого, поділюсь з вами невеличкою добіркою, яку я знайшов гуляючись інтернетом.

Мушу сказати та попередити, що всі ці фокуси з типами, звісно, дуже круто виглядають. Але я ще раз наголошу на тому, що гратись з типами з ціллю загального розвитку та писати код в продакшн — це різні речі.

Тому, подивитись на такі цікаві проєкти, дізнатись щось нове з цього, що може допомогти в другому проєкті, завжди "за!". Але, будь ласка, не намагайтесь тягнути такий код в продакшн, вам ще з людьми працювати

Що ж, disclaimer залишив, тепер і сам список приведу:

- 4-Bit Virtual Machine - стекова віртуальна машина з математичними операціями, роботою зі стеком та виводом на екран. Ви йому кортеж з оп кодів віртуальної машини, він вам результат виконання.

- Tiny SQL database - невеличка база даних, реалізована виключно на анотаціях типів. Приймає рядок з SQL запитом і саму "базу даних" як тип параметри та повертає результат.

- Tiny Language Interpreter - інтерпретатор для мови програмування, подібної до Lisp. Розуміє синтаксис Lisp, має функції та змінні. Приймає рядок з кодом та повертає результат.

- Tic Tac Toe Game - гра в хрестики нолики. Це не сама гра в класичному сенсі, ніхто з вами грати не буде. Але ви даєте на вході розташування, а він вам відповідає хто виграв.

Це не всі проєкти які я побачив в добірці, але ті, які, на мою думку, були дуже цікавими та пізнавальними.

Напишіть в коментарях, а який самий "складний" тип ви писали в TypeScript? Для чого ви це робили й скільки часу пішло на це?

З нещодавнього мого, чим займався в Wix, намагався зробити Schema Builder виключно в системі типів TypeScript з інтроспекцією в рантайм, але нічого не вийшло. Були локальні успіхи та шанси переграти рішення в цю сторону, та прийшла війна і довелось змінити пріоритети.