Телеграмм чат группы frp

Size: a a a

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

326 membersпожаловаться на группу

2018 November 05

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

это уже не монада

источник

02:08пожаловаться

ЗП

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

да и мейби копоинтом быть не может

источник

02:09пожаловаться

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

Понял, спасибо.

источник

02:14пожаловаться

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

Зигохистоморфный Препроморфизм

да и мейби копоинтом быть не может

а че за копоинт

источник

02:15пожаловаться

ЗП

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

ну PointFunctor - pure
CopointFunctor - extract

источник

02:16пожаловаться

ЗП

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

или PointedFunctor

источник

02:16пожаловаться

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

а че комонада не копоинт инстанс

источник

02:17пожаловаться

Вл

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

комонада ток w (w a) -> w a

источник

02:17пожаловаться

Вл

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

а тут w a -> a

источник

02:18пожаловаться

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

В ладу

комонада ток w (w a) -> w a

источник

02:18пожаловаться

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

што?

источник

02:18пожаловаться

ЗП

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

по хорошему Extend + Copoint

источник

02:18пожаловаться

Вл

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

kek

источник

02:18пожаловаться

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

https://hackage.haskell.org/package/pointed-5.0.1/docs/Data-Copointed.html

источник

02:18пожаловаться

Вл

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

ладно

источник

02:18пожаловаться

Вл

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

сдаюсь

источник

02:18пожаловаться

ЗП

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

https://wiki.haskell.org/Why_not_Pointed%3F

источник

02:19пожаловаться

ЗП

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

ну думаю, дуально найдете сходство для Comonad

источник

02:19пожаловаться

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

типо бессмысленная хрень без законов

источник

02:26пожаловаться

Вл

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

поинт вроде тоже без законов

источник

02:26пожаловаться