Что за тулза

декораторы?

я уже 100 раз сказал что оно все компайл таймовое. То что парсинг на низвестных данных нельзя сделать в компайл тайм - ну извините, такая физика

может у тебя и инты не компайлтаймовые потому что atoi в арнтайме работает?

Они в рантайме работают

Тип с приватным конструктором. Таким образом можно написать тип функции, "которая принимает число от 3 до 7". И ошибиться можно лишь в одном месте, в коде конструктора, а не каждый раз при использовании. То есть компайлтайм валидации здесь нет только у конструктора. Это неплохой компромисс, и можно использовать во многих языках, а не только в упоротых.
https://wiki.haskell.org/Smart_constructors

я не умею писать на питоне -- оно не компилируется

Не понял

я не знаю такого языка как питон

Тогда что это за язык?

ну так ты сравнивал проверки данных ифами с типами и говорил, что типы компайлтаймовые. Это некорректно, если проверка для этих типов всё равно нужна в рантайме, пусть она выделяется в конструктор или ещё какую-нибудь заклинаньку

любой с компайл-тайм аннотациями

смотри

давай аналогию проведем

В mypy они есть

значит и компайл-тайм ифы там есть, просто ещё не открыли

есть менее структурированный тип - string
есть более структурированный тип - int
чтобы преобразовать первый во второй - нужен процесс парсинга - atoi.

В остальном они полностью компайл таймовые и ты не можешь передать строку туда где ожидается инт.
—
есть менее структурированный тип - int
есть более структурированный тип - WeirdRange<7,9>.
чтобы преобразовать первый во второй - нужен процесс парсинга - int_to_range<7,9>.

В остальном они полностью компайл таймовые и ты не можешь передать инт туда где ожидается WeirdRange<7,9>.

я вообще потерял интерес спорить так что ты прав, но всё равно быстрые приложения и embedded и отрисовку графики я буду писать на си

Я тебя попросил выразить тип который предлагал Алекс на существующей тулзе в существующем языке. Мне кони в вакууме не интересны.

@sadlonelysoul может так понятнее, где ранатйм где компайл атйм?