История изменений
Исправление 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.