gо
Size: a a a
Типы в языках программирования, моделирования, представления знаний и жизни
505 membersпожаловаться на группу
2021 November 14
K
Как правило, да. Но языки могут взаимопроникать, как в плюсах и завтипах (где нет различий между типами и значениями)
AC
В языках без зав. типов — да.
ЗП
Зигохистоморфный Пре... in Типы в языках программирования, моделирования, представления знаний и жизни
а теперь его же и в черче запиши =)
K
Ноуп, я тогда не смогу
tail сделатьЗП
Зигохистоморфный Пре... in Типы в языках программирования, моделирования, представления знаний и жизни
вообще есть классный доклад типа Lambda encoding reborn (там про всякие кодировки)
K
Или смогу, но потрачу все выходные и оно будет O(len)
s
Вообще, лучше определить вектор как
Fin n → aЗП
Зигохистоморфный Пре... in Типы в языках программирования, моделирования, представления знаний и жизни
это как раз про cedille
K
Проще будет индексацию доказывать
ЗП
Зигохистоморфный Пре... in Типы в языках программирования, моделирования, представления знаний и жизни
и вообще кодировка в mendler encoding довольно интересная
s
Проще будет вообще много чего.
s
Например, можно определить взятие по индексу по модулю длины. Тогда и укладываемость индекса в домен не всегда нужно доказывать, и решейп получаешь даром.
s
Да, и поворот массива это просто добавление значения к индексу.
K
Зачем по модулю-то?