Size: a a a

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

2018 September 27

Вл

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

Вл

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

Вл

В ладу in (F|R|FR)P - русскоговорящее сообщество
немного рассказал про свою любовь к родине и как о ней тоскует. немного рассказал про то как работает сердце
источник

NK

ID:351615646 in (F|R|FR)P - русскоговорящее сообщество
В ладу
четенько всё изложил что думает
да но по-моему очень простая система мнений
источник

ЗП

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

Вл

В ладу in (F|R|FR)P - русскоговорящее сообщество
ну он не на что не претендовал. просто скинул своё мнение
источник

NK

ID:351615646 in (F|R|FR)P - русскоговорящее сообщество
ну критика не к нему)
источник

Вл

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

NK

ID:351615646 in (F|R|FR)P - русскоговорящее сообщество
нет
источник

Вл

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

Вл

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

Вл

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

Вл

В ладу in (F|R|FR)P - русскоговорящее сообщество
какую он видел проблему что решил вот так всё описать
источник

Вл

В ладу in (F|R|FR)P - русскоговорящее сообщество
ну и далее кант гегель шопенгауэр - уже всё
сколько времени не вкладывал в чтение всё равно не чувствовал зачем они это всё писали
источник
2018 September 28

at

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

к

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

к

кана in (F|R|FR)P - русскоговорящее сообщество
newtype Fix' f = Fix' { unFix' :: f (Fix' f) }

cata' :: Functor f => (f a -> a) -> (Fix' f -> a)
cata' alg = alg . fmap (cata' alg) . unFix'

newtype FixF f r = FixF (f r) deriving Functor
type Fix f = Fix' (FixF f)

pattern Fix :: f (Fix f) -> Fix f
pattern Fix f = Fix' (FixF f)

unFix :: Fix f -> f (Fix f)
unFix (Fix f) = f

cata :: Functor f => (f a -> a) -> (Fix f -> a)
cata alg = cata' (\(FixF x) -> alg x)
источник

к

кана in (F|R|FR)P - русскоговорящее сообщество
выражаем Fix через другой Fix и кату через другую кату
источник

к

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

k

kalki in (F|R|FR)P - русскоговорящее сообщество
срочно нужен илья с блюющим эмодзи
источник