В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Compiler Development

815 membersпожаловаться на группу
2020 April 16

A

Alex in Compiler Development
Ладно, даже если не особо троллить, то интересно было бы почитать про крупные популярные проекты на каком-нибудь ФП. Ну а если легонечко троллить, то по рейтингу tiobe наиболее популярным ФП языком является SQL и находится он на 9 месте. А ниже большая императивная дыра
источник
18:18пожаловаться#1

AG

Alex Gryzlov in Compiler Development
Зигохистоморфный Препроморфизм
козначения это стримы?)
нет, это подмножество левых интродукций
источник
18:24пожаловаться#2

AG

Alex Gryzlov in Compiler Development
так же как значения это подмножество правых :)
источник
18:25пожаловаться#3

ЗП

Зигохистоморфный Препроморфизм in Compiler Development
Alex Gryzlov
нет, это подмножество левых интродукций
ох
источник
18:25пожаловаться#4

AG

Alex Gryzlov in Compiler Development
ну это из секвенций термин
источник
18:25пожаловаться#5

ЗП

Зигохистоморфный Препроморфизм in Compiler Development
Alex Gryzlov
ну это из секвенций термин
а что тогда косеквенции?
источник
18:30пожаловаться#6

AG

Alex Gryzlov in Compiler Development
примерно то же что и "кофунктор", классическая секвенция самодуальна
источник
18:33пожаловаться#7

AT

Alexander Tchitchigin in Compiler Development
TGG
А раньше таких не было разве?
Во времена, когда 64 МЕГАбайта памяти встречались только в редких мощных "рабочих станциях" ФП было объективно трудно применимо.
Во времена, когда 1 ядро встречается только в микроконтроллерах, изменяемое состояние объективно вредит.
источник
18:43пожаловаться#8

AT

Alexander Tchitchigin in Compiler Development
Konstantin
вообще скорее дело к том, насколько высокий уровень абстракции теперь требуется: одних только распространённых платформ уже десятки, если не сотни, огромное разнообразие каналов передачи, хранения данных и т.п., это всё требует более мощных абстракций, а они нуждаются в более глубокой систематизации, наверно ФП или даже в боле широком смиысле - декларативное программирование для этого подходит лучше
А вот это интересная мысль.
источник
18:43пожаловаться#9

p

polunin.ai in Compiler Development
Alexander Tchitchigin
Во времена, когда 64 МЕГАбайта памяти встречались только в редких мощных "рабочих станциях" ФП было объективно трудно применимо.
Во времена, когда 1 ядро встречается только в микроконтроллерах, изменяемое состояние объективно вредит.
Смотря что разрабатывается. В большинстве случаев да.
источник
18:45пожаловаться#10

МБ

Михаил Бахтерев in Compiler Development
Alex Gryzlov
https://arxiv.org/pdf/1907.13227.pdf
А чего такого дуального между функциями и структурами? Это имеется в виду сопряжённость произведений и экспоненциалов?
источник
18:47пожаловаться#11

AG

Alex Gryzlov in Compiler Development
дуальны производители данных и потребители
источник
18:47пожаловаться#12

AG

Alex Gryzlov in Compiler Development
например лямбда дуальна консу call-стэка
источник
18:48пожаловаться#13

AT

Alexander Tchitchigin in Compiler Development
polunin.ai
Смотря что разрабатывается. В большинстве случаев да.
Так я и не из тех, кто призывает выкинуть на "свалку истории" C/C++ и RIIR. 😊
Я просто обозначаю объективные предпосылки к бОльшему использованию ФП. А именно: многопоточное программирование и корректность. Особенно, если нужно и то, и другое.
источник
18:48пожаловаться#14

МБ

Михаил Бахтерев in Compiler Development
Alexander Tchitchigin
Во времена, когда 64 МЕГАбайта памяти встречались только в редких мощных "рабочих станциях" ФП было объективно трудно применимо.
Во времена, когда 1 ядро встречается только в микроконтроллерах, изменяемое состояние объективно вредит.
Да почему? Lisp-ы всякие себя хорошо чувствовали и на 256 килабайтах памяти. APL тоже себя хорошо ведёт в таких ограничениях по памяти. Может, Haskell этого и мало, но никто ж не пробовал
источник
18:49пожаловаться#15

МБ

Михаил Бахтерев in Compiler Development
Alex Gryzlov
например лямбда дуальна консу call-стэка
А в каком смысле дуальна?
источник
18:49пожаловаться#16

AG

Alex Gryzlov in Compiler Development
в таком что лямбда это правая интродукция импликации, а конс - левая
источник
18:50пожаловаться#17

AG

Alex Gryzlov in Compiler Development
apply соответственно это правая элиминация
источник
18:50пожаловаться#18

AT

Alexander Tchitchigin in Compiler Development
Михаил Бахтерев
Да почему? Lisp-ы всякие себя хорошо чувствовали и на 256 килабайтах памяти. APL тоже себя хорошо ведёт в таких ограничениях по памяти. Может, Haskell этого и мало, но никто ж не пробовал
Вероятно, не настолько хорошо. Но это была какая-то известная претензия к ML в своё время, мол у нас в отличие от академиков нет 64 МБ оперативки. 😊
источник
18:51пожаловаться#19

ЗП

Зигохистоморфный Препроморфизм in Compiler Development
Alex Gryzlov
apply соответственно это правая элиминация
coapply левая?
источник
18:51пожаловаться#20