Size: a a a

(F|R|FR)P - русскоговорящее сообщество

2019 July 02

ЗП

Зигохистоморфный Препроморфизм in (F|R|FR)P - русскоговорящее сообщество
Какие кубики? Кубическая теория типов?
источник

呼ば in (F|R|FR)P - русскоговорящее сообщество
нет, я про твою аналогию с лего)
источник

ЗП

Зигохистоморфный Препроморфизм in (F|R|FR)P - русскоговорящее сообщество
Ну в Лего у тебя тоже есть ограниченный набор компонентов, но ты можешь построить неограниченное колличество новых, так и с комбинаторами, ты строишь новый имея уже существующие или недавно созданные с помощью существующих
источник

V

Vadim in (F|R|FR)P - русскоговорящее сообщество
Evgeniy 🍀
отвечу пастой:
Однажды я столкнулся с мистической проблемой — серия последовательных операций спонтанно начинала выполняться в случайном порядке, вызывая race condition и абсурдные сообщения об ошибках. Первая операция однозначно запускалась  раньше второй, но сервер почему-то периодически сообщал об обратном в своей излюбленной манере: молча закрывал соединение. Раз за разом я вчитывался в одни и те же строчки, всё больше впадая в отчаяние; в коде не было ни намёка на источник хаоса. В течении двух недель в отладчике я перебрал все возможные варианты решения и приступил к невозможным, пока наконец не решил проблему, стерев один console.log.

Так я познакомился с сайд-эффектами.

Сайд-эффекты в коде — это места, в которых чистый абстрактный код сталкивается с реальным миром; понятие, которому уделено особое внимание в функциональном программировании. Когда функция пишет в файл или запускает ядерные боеголовки — это сайд-эффект. В моём случае вывод в консоль тормозил выполнение функции на период от 20 до 200 мс, а часть кода была рассчитана на то, что результаты будут доступны в течении текущего тика эвент лупа, и в сочетании с многопоточным libuv (io ядром nodejs) превращалась в бомбу замедленного действия.

Большинство ООП языков абсолютно беззащитны перед сайд-эффектами. И действительно, функция будет иметь один и тот же тип вне зависимости от того, есть ли там console.log или нет. Программисты вынуждены раз за разом сочинять самые разнообразные абстракции для одного и того же явления — функции, влияющей на окружающий мир. В фп же сайд эффекты явно выделяются в типе функции, тем самым явно определяя код, требующий аккуратного обращения.
Не в фп, а в некоторых языках фп
источник

E

Evgeniy 🍀 in (F|R|FR)P - русскоговорящее сообщество
Vadim
Не в фп, а в некоторых языках фп
я просто скопировал оригинальный текст)
источник

呼ば in (F|R|FR)P - русскоговорящее сообщество
Зигохистоморфный Препроморфизм
Ну в Лего у тебя тоже есть ограниченный набор компонентов, но ты можешь построить неограниченное колличество новых, так и с комбинаторами, ты строишь новый имея уже существующие или недавно созданные с помощью существующих
ок, спасибо за инфу
источник

ЗП

Зигохистоморфный Препроморфизм in (F|R|FR)P - русскоговорящее сообщество
В своем докладе Штульц сказал, что профунктор это когда из а в б и из б в а))) но это же изоморфизм
источник

分解物質 in (F|R|FR)P - русскоговорящее сообщество
источник
2019 July 03

分解物質 in (F|R|FR)P - русскоговорящее сообщество
источник

ЗП

Зигохистоморфный Препроморфизм in (F|R|FR)P - русскоговорящее сообщество
И зачем это тут?
источник

分解物質 in (F|R|FR)P - русскоговорящее сообщество
смешно же
источник

Вл

В ладу in (F|R|FR)P - русскоговорящее сообщество
+
источник
2019 July 04

分解物質 in (F|R|FR)P - русскоговорящее сообщество
источник
2019 July 06

分解物質 in (F|R|FR)P - русскоговорящее сообщество
источник
2019 July 07

D

DaySandBox in (F|R|FR)P - русскоговорящее сообщество
Message from anita Islam deleted. Reason: new user and external link (?)
источник

D

DaySandBox in (F|R|FR)P - русскоговорящее сообщество
Message from Doctor k.r prawar deleted. Reason: new user and external link (?)
источник

分解物質 in (F|R|FR)P - русскоговорящее сообщество
может убрать из интернетов ссылки сюда?
источник

с

сomorsiс in (F|R|FR)P - русскоговорящее сообщество
тут и так чат мертв, а ты его добить хочешь?
источник

分解物質 in (F|R|FR)P - русскоговорящее сообщество
тогда удалить чат раз мёртв
источник

呼ば in (F|R|FR)P - русскоговорящее сообщество
он иногда оживает и дает полезную инфу
источник