Тайпчек штука сугубо индивидуальная. Я когда-то давно писал игрушечный язык для дотнета - всякие методы работы с типами есть в виде отдельной библиотечки: https://github.com/impworks/typetools
Ну, я не знаю, как это по научному называются, типа constraint solvers или что-то такое. Как в каком-то Лиспоподобном языке разработчик сделал свой встроенный в компилятор аналог Пролога, чтобы типизацию сделать. Язык по-моему назывался Shen или как-то так.
Обсуждают сегодня