Oℕ
как меряется основность?
Size: a a a
2020 February 11
AV
Кого в модераторы канала добавить?
Oℕ
меня
Oℕ
согласен админить вашу...
OO
какие принципы и идиомы выразимы в хаскеле?
ага, и ещё "что такое фп"
AV
меня
готово
AV
согласен админить вашу...
Парашу
AV
"Разрешаю посетить мою парашу", лол
Oℕ
ага, и ещё "что такое фп"
ну т.е. Вы выразили понятие базовости в необщеупотребимых терминах, определение которым давать не собираетесь?
Oℕ
Я вот сформулировал.
Если в языке X можно сформулировать язык Y
Так, чтобы все свойства выражений на языке Y были также выражены как выражения на языке X.
Язык X более базовый, чем Y
Если в языке X можно сформулировать язык Y
Так, чтобы все свойства выражений на языке Y были также выражены как выражения на языке X.
Язык X более базовый, чем Y
AV
на идрис можно формализовать и доказать свойства семантики хаскеля, а наоборот - нет
но ведь на хаскеле можно написать идрис, а на идрисе-хаскель
AV
Между ними нет разницы
AV
(нет, я несерьёзно)
AV
Не заводись
(
Между ними нет разницы
Соответствие Желе-Нижника
AV
Мне вчера еды хватило
Oℕ
но ведь на хаскеле можно написать идрис, а на идрисе-хаскель
написать можно компилятор чего-угодно на тюринг машине
вопрос о формальном основании
вопрос о формальном основании
OO
Я вот сформулировал.
Если в языке X можно сформулировать язык Y
Так, чтобы все свойства выражений на языке Y были также выражены как выражения на языке X.
Язык X более базовый, чем Y
Если в языке X можно сформулировать язык Y
Так, чтобы все свойства выражений на языке Y были также выражены как выражения на языке X.
Язык X более базовый, чем Y
только "не менее базовый, чем Y"
Oℕ
только "не менее базовый, чем Y"
более
Oℕ
В этой системе совпадения невозможно