r
Это язык для супер-тьюринговой машины? Если нет, то доказательства этого свойства не хватает.
Size: a a a
2020 June 10
S
assert (myFunc x == 10) в начале функции)
AZ
как же над вами не прикалываться если вы такие ограниченные со своими компьютерами ничего не знаете кроме своего хаскеля…
хаскеллисты как раз часто и плюсы знают, и все остальное. А вот плюовики кроме своих плюсов ничего
S
Компилятором такое не выводится на runtime-known значениях
DS
короче проблема в том, что никто из этих задротов которые занимаются в универе разработкой компиляторов — не учил в школе Витгенштейна
Перевожу на человеческий:
Не читал очередного балабола философа, который не сделал ничего путного за всю свою коротенькую и полную страданий жизнь.
Не читал очередного балабола философа, который не сделал ничего путного за всю свою коротенькую и полную страданий жизнь.
b
>балабол философ
>предложил самую полную теорию естественного языка
>предложил самую полную теорию естественного языка
b
это тебе не кнопочки нажимать
DS
>балабол философ
>предложил самую полную теорию естественного языка
>предложил самую полную теорию естественного языка
Которая нифига не работает на практике
S
естественного языка программирования?
b
Которая нифига не работает на практике
работает конечно
AZ
red75prime
Это язык для супер-тьюринговой машины? Если нет, то доказательства этого свойства не хватает.
myFunc : Int -> Int
myFunc x = x+x
five : (x : Int ** myFunc x = 10)
five = (5 ** Refl)
—*.\chapter6_part2> five
(5 ** Refl) : (x : Int ** prim__addInt x x = 10)DS
работает конечно
Если бы работала, то вся история 70-80х с любовью к формальной работой с языками и ИИ закончилась бы по другому
DS
А не тем ПОЛНЫМ провалом, которым она закончилась
AZ
Компилятором такое не выводится на runtime-known значениях
см. выше
b
Если бы работала, то вся история 70-80х с любовью к формальной работой с языками и ИИ закончилась бы по другому
никто в 70-80х этим не занимался, к сожалению 🙁
b
если бы занимались, то может и сложилось бы иначе
DS
никто в 70-80х этим не занимался, к сожалению 🙁
Занимались ещё как. Очень большие надежды на такую формальную работу с ИИ и т.п. были
b
Занимались ещё как. Очень большие надежды на такую формальную работу с ИИ и т.п. были
где у кого?
b
(noam chomsky и его мышиная возня не в счет)