Калькулятор на типах TypeScript

[nin-jin]

Всё это куда проще реализуется:

[nin-jin]

Ну, судя по минусам, писать статью о том, как это работает и почему не вешает компилятор на несколько секунд, не стоит, понятно.

[amakhrov]

Возможно, минусующие среагировали на $mol_ в названии типов? Я с ходу подумал было, что вы выкатили реализацию на чем-то отличном от TS. Но перешел по ссылке - и там, конечно, чистый TS, так что сравнение вполне честное

[amakhrov]

Заминусовали, может, и зря.

Но с "куда проще" не согласен. У автора в статье кода раза в 2 меньше. Может, конечно, из-за разного форматирование / разбивки по строкам. Но и существенного выигрыша в сложности тоже не вижу в вашем варианте.

Из плюсов - финальный тип вызывается напрямую

type result = $mol_type_int_calc< '7+5-2*2+1' >

тогда как в статье обертка из двух типов (

CalcByExpression<StringToCalcExpression<'7+5-2*2+1'>>;

[nin-jin]

Кода больше из-за большей функциональности:

• Поддержка чисел до 2^13

• Поддержка скобок

• Поддержка пробелов

• Поддержка возведения в степень

• Поддержка сравнения чисел

• И всё это не вешает компилятор ненужными рекурсиями

Но сложность не в строках кода измеряется, а во времени, которое нужно, чтобы в нём разобраться.

[vasyakolobok77]

Для статьи нужен тег: Ненормальное программирование )

[siandreev]

Добавил)

[Inspector-Due]

Следующий шаг: нахождение производных на типах!

[euhoo]

как бы я хотел не встретить такое в реальном проекте

[Hrodvitnir]

Автор, ты меня пугаешь изващенностью своего ума
Но, черт возьми, это гениально

[amakhrov]

Тайпскрипт клевый!

Тут на волне Wordle-хайпа недавно проскакивала реализация Wordle на типах Тайпскрипта.

https://github.com/johanneslumpe/typescriptle