Т8
Что можно чекать?
входящие и выходящие значения, например - CT contracts
Size: a a a
2020 June 07
Т8
валидировать параметры и возвращаемый тип - в частности
DF
Крестовые контракты же рантаймовые
DF
Или это другой пропозал
DF
Там были типа атрибуты для контрактов
DF
Но все чекалось в рантайме
Т8
Dollar Føølish
Крестовые контракты же рантаймовые
в крестах нет контрактов, и я про constexpr
DF
А причем здесь контракты тогда?
Т8
Dollar Føølish
А причем здесь контракты тогда?
CT контракты
DF
Есть про сто они ещё не в стандарте, которые рантаймовве
Т8
Dollar Føølish
А причем здесь контракты тогда?
контракты валидируют значения в рантайме. А как тоже самое назвать для компайлтайма?
Т8
вот это в крестах можно делать с constexpr. Как в расте это делается?
DF
Через const fn наверное
DF
Давай пример ct контракта на с++
Т8
Dollar Føølish
Через const fn наверное
а по ограничениям там что? В C++11 всё было очень слабо, но потом прокачали
DF
Я его переведу на раст
DF
Я бы ожидал что хорошую систему контрактов можно построить на идрисе или АТС. Рантаймовую,например на зависимых типах.
Как это сделать в бестиповом языке типа с++ я не знаю
Как это сделать в бестиповом языке типа с++ я не знаю
NL
Эх, Страуструп, знал бы что его детище теперь безтиповое...
DF
Ну вместо дженериков макросистема
DF
Вместо тайпсейфти четыре вида кастов