@frp_ru
kana11.12.2017
20:28:58
20:28:58
лол
Google
Yung11.12.2017
20:29:02
20:29:02
с ссылками
illiatshurotshka❄️11.12.2017
20:29:06
20:29:06
А
да
написано что политика запрещена
но кого волнует
ладно
надо новые составить
потом
Kelin11.12.2017
20:29:43
20:29:43
А че, поехавший школьник не я что ли лол
illiatshurotshka❄️11.12.2017
20:29:47
20:29:47
Я
Yung11.12.2017
20:29:48
20:29:48
illiatshurotshka❄️11.12.2017
20:29:57
20:29:57
GoogleYung11.12.2017
20:29:58
20:29:58
ты ваще школьник разве?
kana11.12.2017
20:30:04
20:30:04
(я вообще-то тоже на келина подумал из-за наездов на mol)
illiatshurotshka❄️11.12.2017
20:30:10
20:30:10
лол
Yung11.12.2017
20:30:22
20:30:22
потому что поехавший школьник смог даже ДИМУ МОНАДУ выести из себя
ето некст лвл
illiatshurotshka❄️11.12.2017
20:30:30
20:30:30
ват
Kelin11.12.2017
20:30:37
20:30:37
Давайте все ники на поехавших поменяем теперь
illiatshurotshka❄️11.12.2017
20:30:39
20:30:39
а
kana11.12.2017
20:30:55
20:30:55
ну у меня все ники изначально поехавшие были
Kelin11.12.2017
20:30:58
20:30:58
Поехавший школьник, поехавший студент, поехавший полиморфизм ??
Sergey11.12.2017
20:31:26
20:31:26
Держи котейку
Yung11.12.2017
20:31:41
20:31:41
illiatshurotshka❄️11.12.2017
20:31:47
20:31:47
АААА
kana11.12.2017
20:32:13
20:32:13
Зиге точно нужно менять ник на поехавшего
GoogleYung11.12.2017
20:32:20
20:32:20
да
kana11.12.2017
20:32:34
20:32:34
newtype Mu' f = Mu' { unMu :: forall a. Algebra f a -> a }
data Nu' f where Nu' :: Coalgebra f a -> a -> Nu' f
ты понимаешь, что ты поехавший
type List a = Mu'(ListF a)
nil :: Mu'(ListF a)
nil = Mu' $ \f -> f Nil
cons :: forall a. a -> Mu' (ListF a) -> Mu' (ListF a)
cons a (Mu' b) = Mu' $ \f -> f $ Cons a (b f)
sum' = cata alg where
alg Nil = 0
alg (Cons a b) = a + b
Default11.12.2017
20:32:52
20:32:52
Аааа
Sergey11.12.2017
20:32:55
20:32:55
Default11.12.2017
20:32:59
20:32:59
Чо тут происходит ваще? :D
illiatshurotshka❄️11.12.2017
20:33:00
20:33:00
поехавшая коалгебра
kana11.12.2017
20:33:19
20:33:19
ну он в гиттере и так Денис
illiatshurotshka❄️11.12.2017
20:33:32
20:33:32
предлагайте правила
illiatshurotshka❄️11.12.2017
20:33:45
20:33:45
ват
Denis11.12.2017
20:33:50
20:33:50
без грачей
kana11.12.2017
20:34:09
20:34:09
у конфы низкое здоровье
illiatshurotshka❄️11.12.2017
20:34:18
20:34:18
кого волнует здоровье
kana11.12.2017
20:34:27
20:34:27
что у нас тут есть за последние месяцы: мемы и срачи
Googleilliatshurotshka❄️11.12.2017
20:34:47
20:34:47
если кто-то задает серьезный вопрос
illiatshurotshka❄️11.12.2017
20:34:54
20:34:54
или идет серьезная дискуссия
AdminERROR: S client not available
illiatshurotshka❄️11.12.2017
20:35:05
20:35:05
то нельзя разводить срачи итд
kana11.12.2017
20:35:58
20:35:58
illiatshurotshka❄️11.12.2017
20:36:14
20:36:14
бля
Default11.12.2017
20:36:15
20:36:15
Нас оберегают МЕМЫ
illiatshurotshka❄️11.12.2017
20:36:21
20:36:21
как в телеграфе сделать заголовок
Yung11.12.2017
20:36:29
20:36:29
раскаляя сердца!
выживет мемейший
kana11.12.2017
20:37:21
20:37:21
вот так и норм
Googlekana11.12.2017
20:37:21
20:37:21
если кто-то задает серьезный вопрос
или идет серьезная дискуссия
то нельзя разводить срачи итд
Default11.12.2017
20:37:32
20:37:32
Так не честно
illiatshurotshka❄️11.12.2017
20:38:37
20:38:37
но ща разберусь
kana11.12.2017
20:39:16
20:39:16
Нельзя прерывать срачами и мемами серьёзные обсуждения и вопросы
kana11.12.2017
20:42:59
20:42:59
это один из моих любимых мемов отсюда
? animufag ?11.12.2017
20:51:28
20:51:28
мне тоже пришло письмо от http://www.luna-lang.org
Although Luna provides notion of objects, it is not an Object Oriented language. Luna is a Category Oriented language instead.
Category Oriented Programming is a relatively new programming paradigm, developed as a result of our research on modern functional programming.kana11.12.2017
20:53:52
20:53:52
illiatshurotshka❄️11.12.2017
20:55:11
20:55:11
ну я чет набросал
Yung11.12.2017
20:55:41
20:55:41
ха
Открыть в Telegram