b
типа камон. в машинном обучении никто не делает вид, что победили вычислительную сложность
Size: a a a
2020 October 29
MP
r
Это единственное, что умеют делать тьюринг-полные вычислители.
И этого недостаточно для... Для чего?
s
Хороший вопрос.
s
Но суть в том, что типы это естественный низкоуровневый конструкт.
p
Хачу какой-то голосовой настройщик чтобы я мог сказать "открой оффтопик" и он открывал телеграм и там Раст оффтопик. Есть что-то такое?
p
Для андроида желательно
s
Есть термы. Есть выполнение термов как переписывание.
s
Есть синтаксические утверждения над термами. Есть логический вывод как переписывание.
b
Но суть в том, что типы это естественный низкоуровневый конструкт.
b
>типы
>естественный
>низкоуровневый конструкт
>естественный
>низкоуровневый конструкт
s
Ты бы лучше книжек каких-нибудь почитал, вместо того, чтобы гифки в интернете собирать.
s
Про term rewriting.
s
Я понимаю, что от философских рассуждений это далеко, но удели немного внимания компьютерам.
DB
Про term rewriting.
А чьто это?
b
А чьто это?
редукции в лямбда исчислении слышал?
DB
редукции в лямбда исчислении слышал?
Слышал
b
вот это типа такого