История изменений
Исправление
MOPKOBKA,
(текущая версия)
:
Откуда ты взял какой-то compile-time?
Ты написал что Haskell wexpr == iexpr, я воспринял это как намек, на то что Haskell wexpr исполняется в RT. Твое пояснение с eq(T, T) ниже как будто тоже сводится к RT/CT, если все вычисления происходят в RT то несовместимость типов не может быть обнаружена, там будет какой нибудь 0..MAX int.
Тайпчекинг то что в CT, ты противопоставляешь это eval из скриптухи, а eval он обычно RT.
Исходная версия
MOPKOBKA,
:
Откуда ты взял какой-то compile-time?
Ты написал что Haskell wexpr == iexpr, я воспринял это как намек, на то что Haskell wexpr исполняется в RT. Твое пояснение с eq(T, T) ниже как будто тоже сводится к RT/CT, если все вычисления происходят в RT то несовместимость типов не может быть обнаружена, там будет какой нибудь 0..MAX int.