которые живут только в compile-time?
DM>sort — вид статического терма, не только типа данных. Например, утверждения (props) — статические термы, не являющиеся типами данных. Еще можно свой сорт ввести, который будет как-то использоваться при компиляции для формулирования некоторых инвариантов и фактов, но типом данных он сам по себе не будет. "Тип данных" — лишь один из сортов, грубо говоря.
т.е., например, то, что инвариант цикл двигается ближе к цели от итерации к итерации — это сорт?
DM>>> А в ряде других случаев мы упираемся в то, что статические значения используются только в компайл-тайме, в рантайме их просто нет. DG>>согласен, по умолчанию они на runtime не переносятся, но их туда можно перенести тем или иным способом.
DM>Можно, просто девиз ATS — точность. "If I could associate only one single word with ATS, I would choose the word precision. Programming in ATS is about being precise and being able to effectively enforce precision." DM>Хочешь рантайм-значение — опиши его явно: где оно создается, куда передается и как связано с остальными.
во, извращенцы!
что называется — выберите любые две: сложность решаемой задачи, точность описания, реальное время разработки.
