AZ
ну ок, не буду спорить
Size: a a a
2020 February 03
AZ
даже если, практических следствий отсюда ноль
В
Dollar Føølish
Имеет
И какой в этом смысл?...
DS
Dollar Føølish
Просто выше говорили что я не прав и любую бестиповую программу можно выразить
Выразить её запросто, пишешь на типизированном языке интерпетатор безтипизированного, запускаешь эту программу.
DS
ПРОФИТ
DF
Да, если он полный
DF
Окамл вот неполный например
DF
По тюрингу
λ
Dollar Føølish
Ну што питононенавистники
эта программа ненужна
DS
Dollar Føølish
Окамл вот неполный например
Ээ...
Я на окамле напишу тебе машину тьюринга и тем самым он будет полным по тьюрингу.
Я на окамле напишу тебе машину тьюринга и тем самым он будет полным по тьюрингу.
λ
Ээ...
Я на окамле напишу тебе машину тьюринга и тем самым он будет полным по тьюрингу.
Я на окамле напишу тебе машину тьюринга и тем самым он будет полным по тьюрингу.
не напишешь
DS
не напишешь
Что помешает? Бесконечная лента?
λ
да
DF
Ну окамл можно опустить
DF
Хаскел же полный?
DS
да
Это проблема операционной системы, а не языка.
λ
в целом да
DF
Чо хаскель тоже неполный?
DF
Вот засада
DS
Dollar Føølish
Чо хаскель тоже неполный?
Ну если рассуждать про бесконечную ленту, то любой язык на реальном железе не полный.