DS
он разве не Ховард Филлипс?
Речь про изоморфизм Карри Ховарда
Size: a a a
2020 June 26
t
Речь про изоморфизм Карри Ховарда
я знаю. в моем шутливом ответе речь о Лавкрафте
t
что намекает о монстрах, живущих в дебрях формальных доказательств
DS
звучит натянуто
Это до квантов. После них уже никаких сомнений в этом нет.
Настолько хорошо они ложатся на мат аппарат, который был придуман независимо от них.
Настолько хорошо они ложатся на мат аппарат, который был придуман независимо от них.
t
Это до квантов. После них уже никаких сомнений в этом нет.
Настолько хорошо они ложатся на мат аппарат, который был придуман независимо от них.
Настолько хорошо они ложатся на мат аппарат, который был придуман независимо от них.
изоморфизм это чуть более строгое отношение, все-таки
t
и с имплементацией в физике всех вещей из математики могут быть проблемы технического плана
t
впрочем, оставлю рассуждения на эту тему специалистам по проектированию миров
A
А что, если мы не самые умные существам во вселенной? И есть планета, где программист = уборщик в падике
KR
впрочем, оставлю рассуждения на эту тему специалистам по проектированию миров
Вот и пришли к консенсусу
t
что, если насвай - это и есть нектар из древних мифов?
p
Связь между математикой, физикой и вычислениями настолько глубока, что они по сути изоморфны друг другу.
То есть за пределами науки ничего нет?..
A
что, если насвай - это и есть нектар из древних мифов?
Лучше сунт
t
сунтскрипт
D
Они иммутабельны, так что да. И они решают проблему излишних копирований.
Проблема только в том, что очень уж много мелких аллокаций и бегания за указателями дают.
Первое решается правильным аллокатором (в языках с гц не проблема)
Второе - всякими compact region попробовать решить, но это не идеальный вариант.
Проблема только в том, что очень уж много мелких аллокаций и бегания за указателями дают.
Первое решается правильным аллокатором (в языках с гц не проблема)
Второе - всякими compact region попробовать решить, но это не идеальный вариант.
вообщем я добавлю, я хз что там с перистентнами струкрураи данных, внезапно lock-free хэг таблицы, или деревья или скип листы работают неплохо
KR
А что, если мы не самые умные существам во вселенной? И есть планета, где программист = уборщик в падике
100% так и есть
DS
То есть за пределами науки ничего нет?..
Более того, за пределами математики ничего нет.
Всё описывается математикой, было бы желание
Всё описывается математикой, было бы желание
KR
Более того, за пределами математики ничего нет.
Всё описывается математикой, было бы желание
Всё описывается математикой, было бы желание
Математика и программирование - это про преобразование информации. Последняя есть фундаментом мира, но разве фундамент - потолок?
t
ложные аналогии подобны котенку с дверцей
p
Более того, за пределами математики ничего нет.
Всё описывается математикой, было бы желание
Всё описывается математикой, было бы желание
Хм. То есть тебе важны не объекты а их описание в математическом виде? Океей
p
Удачи описывать стихи с помощью математики