Size: a a a

Programming Offtop

2020 July 25

BP

Bogdan Panchenko in Programming Offtop
Apache DOG™
Я же написал, одно из лямбда исчислений, и теории поверх него - Например теория категорий и так далее
> и поверх...

Уже явно не одно определения

> Лямбда исчисления

Ну джава это каноническое ФП, я рад наконец ее не будут причислять к ООП
источник

AN

Alexander Nozik in Programming Offtop
Apache DOG™
Если ты назовёшь изобретенную теорию матанализом то с тобой не согласятся, потому что это имя уже занято
Я работаю в физике частиц, где есть теории для всего. Вообще всего. В математике точно так же.
источник

AD

Apache DOG™ in Programming Offtop
Alexander Nozik
Теория категорий никак не поверх лямбда исчисления
Поверх в том смысле, что применение категорных абстракций над типами, функциями и так далее
источник

AM

Artem Molotov in Programming Offtop
Apache DOG™
Вы час это строчили? Не иначе как с телефона, но это только увеличивает ваши заслуги.  Ваша позиция ясна и понятна, и достойна уважения. Но вы выпускаете несколько вещей. Во-первых: тру ФП идёт ой не от хаскеля. Оно идёт от конструктивной математики и лямбда исчисления и потом сверху из того что описано в category theory for working mathematician. Следствие этого пункта: у одного термина по хорошему должно быть одно значение, и если вы что то называете ФП, это должно соответствовать эталону из п.1, по мнению "крестоносцев". Вы не можете сделать какую-то лабуду и назвать её матан, точно так же им ФП. Во вторых: следование идиомам языка прямой способ запереть себя в них и больше за эти рамки не выходить. Язык это всего лишь средство выражения чего-то, это не священная корова, lingua kotlina non penis canina тут не работает. По этому идиомы языка это то что подлежит критике и правке, и сюда докапывается скобка. В третьих, идиомы скалы и ФП прекрасно переиспольузуются хоть в джаве хоть в котлине, не все но все же многие, и переиспользуются зашиьись
скокабукав
источник

AN

Alexander Nozik in Programming Offtop
Apache DOG™
Поверх в том смысле, что применение категорных абстракций над типами, функциями и так далее
Еще раз повторюсь, есть куча математики для всего, что угодно. Математическое описание ну никак не связано с инженерной применимостью
источник

AD

Apache DOG™ in Programming Offtop
Точно так же её применяют поверх иных наук для получения результатов
источник

AD

Apache DOG™ in Programming Offtop
Alexander Nozik
Еще раз повторюсь, есть куча математики для всего, что угодно. Математическое описание ну никак не связано с инженерной применимостью
Это другое
источник

AD

Apache DOG™ in Programming Offtop
Имя ФП занято, застолблено условными хацкелистами
источник

AN

Alexander Nozik in Programming Offtop
Это именно оно. Математические идеи бессмыслены (для всех кроме математиков) без реализации. Хаскель - это реализация. Именно потому, что она есть, именно эта математика актуальна. Была бы другая реализация, была бы другая математика
источник

AD

Apache DOG™ in Programming Offtop
Трейдмарк если вам так удобнее
источник

AN

Alexander Nozik in Programming Offtop
Apache DOG™
Трейдмарк если вам так удобнее
Именно об этом Ильмир и пишет
источник

AD

Apache DOG™ in Programming Offtop
Alexander Nozik
Это именно оно. Математические идеи бессмыслены (для всех кроме математиков) без реализации. Хаскель - это реализация. Именно потому, что она есть, именно эта математика актуальна. Была бы другая реализация, была бы другая математика
Неа, реализация бессмыслена
источник

AN

Alexander Nozik in Programming Offtop
Что сейчас под ФП подразумевается идиоматика хаскеля
источник

AD

Apache DOG™ in Programming Offtop
Математика - смысл, всё остальное - его отсутствие
источник

AN

Alexander Nozik in Programming Offtop
Apache DOG™
Математика - смысл, всё остальное - его отсутствие
Если конечная цель - статья по математике, да.
источник

AN

Alexander Nozik in Programming Offtop
Какая у вас конечная цель?
источник

AD

Apache DOG™ in Programming Offtop
Alexander Nozik
Какая у вас конечная цель?
Определение чего то способно пережить тепловую смерть вселенной
источник

AD

Apache DOG™ in Programming Offtop
Вот математика может её пережить, все остальное нет
источник

AN

Alexander Nozik in Programming Offtop
Apache DOG™
Определение чего то способно пережить тепловую смерть вселенной
Вы знаете, что такое тепловая смерть вселенной?
источник

AD

Apache DOG™ in Programming Offtop
Alexander Nozik
Вы знаете, что такое тепловая смерть вселенной?
Например уравнивание уровня энергии по всей материи?
источник