@frp_ru
kana20.12.2017
16:39:25
16:39:25
нет, не могу
adam20.12.2017
16:40:05
16:40:05
Даже вкратце нет желания писать о пределах с эндами с использованием fleksy
illiatshurotshka❄️20.12.2017
16:40:16
16:40:16
почему двух? (∀x, P(x)) это утверждение, что P верно для любого x
я подумал что у нас связываются ((,)) констрейнты все x и x с параметром Pkana20.12.2017
16:40:37
16:40:37
forall n. exist m. m > n -> !max?(m)
forall n. (forall m. m > n) -> !max?(m)
другой пример, который вроде как тоже заменяется по этому равенству, но тоже имхо не выглядит рабочим
max? - проверка, является ли элемент максимальным
тут должно быть просто объяснение на словах с яблоками, почему эта хрень вернаяGooglekana20.12.2017
16:41:02
16:41:02
я подумал что у нас связываются ((,)) констрейнты все x и x с параметром P
не, forall это же вообще не констрейнт
illiatshurotshka❄️20.12.2017
16:43:58
16:43:58
для всех x которые больше 7
kana20.12.2017
16:47:18
16:47:18
вот это утверждение верное:
forall x in B, exist y in B, (x != y -> |B| > 1)
?
то, что я выше кидал про мерж типов и каиндов - первая фаза по внедрению завтипов в хаскель, она уже реализована (и сейчас допиливается) в TypeInType расширении
красным подчеркивает стайлишь, ghc нормально парсит и компилирует
Googlekana20.12.2017
18:31:35
18:31:35
че выше:
3 :: Int :: Type :: Type :: ...
Maybe :: (Type -> Type) :: Type :: Type :: ...
Denis20.12.2017
18:33:06
18:33:06
как и заведено прокси это фантом который в только для типов и все
kana20.12.2017
18:33:51
18:33:51
да какая разница че там в проки, я его тупо для примера написал чтобы показать e :: t :: k :: k в сигнатуре
ты чет совсем не на том внимание акцентируешь
типа как смотришь на небо с пришельцами и говоришь, какое небо необычно синее
Type это просто алиас на *, сам * почти что депрекейтед в этой ветке развития хаскеля
Denis20.12.2017
19:29:25
19:29:25
https://gist.github.com/cryogenian/f6df15df18a9d13e97f55d7fb547c910
illiatshurotshka❄️21.12.2017
10:49:54
10:49:54
такое себе
kana21.12.2017
10:50:29
10:50:29
почему?
Азбука же, она делает крутые издания в плане оформления
Denis21.12.2017
10:50:47
10:50:47
Я бы тут сделал аниме забаненым
?21.12.2017
10:50:55
10:50:55
Это про js или для анимешников?
andretshurotshka?❄️кде21.12.2017
10:51:51
10:51:51
++++++
kana21.12.2017
10:52:07
10:52:07
+
Default21.12.2017
10:52:26
10:52:26
-
andretshurotshka?❄️кде21.12.2017
10:52:58
10:52:58
ковариантное аниме
GoogleDefault21.12.2017
10:53:48
10:53:48
Надо теперь аргументов насовать
Denis21.12.2017
10:54:38
10:54:38
Лучше расскажите мне почему DList выразим через Codensity+Free?
andretshurotshka?❄️кде21.12.2017
10:55:21
10:55:21
D это dependent?
Denis21.12.2017
10:55:46
10:55:46
Нет это лист оптимизированный для append
andretshurotshka?❄️кде21.12.2017
10:56:14
10:56:14
illiatshurotshka❄️21.12.2017
10:57:07
10:57:07
^
andretshurotshka?❄️кде21.12.2017
10:59:52
10:59:52
бесплатная церковь
kana21.12.2017
11:00:01
11:00:01
Denis21.12.2017
11:00:25
11:00:25
illiatshurotshka❄️21.12.2017
11:00:42
11:00:42
все
Kelin21.12.2017
12:40:35
12:40:35
Evgeny21.12.2017
12:43:34
12:43:34
Что-то я в последнее время сюда заглядываю и думаю, что это @frp_memes
kana21.12.2017
12:50:47
12:50:47
Что-то я в последнее время сюда заглядываю и думаю, что это @frp_memes
Разница в том, что в фрп мемес мемы в основном не из фрп, а из других чатов
Aleksei21.12.2017
12:55:40
12:55:40
Ребят, глупый вопрос. А может кто-нибудь привести пример реактивного программирования, которое не функционально?
Алексей21.12.2017
13:00:55
13:00:55
Ребят, глупый вопрос. А может кто-нибудь привести пример реактивного программирования, которое не функционально?
на иос - kvo. акторы так же вполне себе реактивныkana21.12.2017
13:02:36
13:02:36
Googlekana21.12.2017
13:04:54
13:04:54
Спускаюсь
Дмитрий21.12.2017
13:08:25
13:08:25
Реакторы и проакторы так же реактивны
Denis21.12.2017
13:22:20
13:22:20
Ребят, глупый вопрос. А может кто-нибудь привести пример реактивного программирования, которое не функционально?
RxJs решает реактивность через ООП абстракцииilliatshurotshka❄️21.12.2017
13:24:45
13:24:45
ват
сообщения это сигналы
в этом плане между ооп и акторами очень мало различий
AdminERROR: S client not available
Denis21.12.2017
21:09:33
21:09:33
вопрос
почему
type DList a = Codensity (Free ((,) a)) () и
newtype DList a = DL { unDL :: [a] -> [a] } изоморфны
давайте распакуем Codensity
type DList' a = forall b. (() -> Free ((,) a) b) -> Free ((,) a) b
forall r. (a -> r) -> (f r -> r) -> r - Free in Church
и вот интересно как прийти к Free in Church для DList
kana22.12.2017
12:06:06
12:06:06
кстати
я увидел одно офигенное решение - сссылку на комбот можно в шапку засунуть
как аниме вчера закинул, так здоровье немного поднялось
Denis22.12.2017
12:14:58
12:14:58
Нахуй аниме
Google
Dmitry
? animufag ?22.12.2017
12:17:29
12:17:29
Может слишком часто смотреть статы = нездоровое сообщество?
illiatshurotshka❄️22.12.2017
12:47:37
12:47:37
лол
kana22.12.2017
13:19:01
13:19:01
он наверное думает, что если не поставит на аву аниме, то никто не поймет
Kelin22.12.2017
13:19:06
13:19:06
?
illiatshurotshka❄️22.12.2017
13:19:13
13:19:13
любому человеку должно быть очевидно что аниме лучше рекурсивных схем
Kelin22.12.2017
13:19:16
13:19:16
andretshurotshka?❄️кде22.12.2017
14:39:09
14:39:09
?
Serge22.12.2017
14:43:09
14:43:09
Аватарки с онеме являются причиной развития слабоумия у тех кто их загружает и к сожалению у тех кто на них смотрит - факт
Ruslan22.12.2017
14:54:18
14:54:18
Аватарки с онеме являются причиной развития слабоумия у тех кто их загружает и к сожалению у тех кто на них смотрит - факт
аниме лучше жизни, в аниме смысл жизниRuslan22.12.2017
14:55:28
14:55:28
@kana_sama разрули им за аниме, я в автобусе пока
kana22.12.2017
14:55:41
14:55:41
аниме это действительно сила
я в одном чатике поменял аватарку на анимешную, так чат завис, сообщения по 5 минут в случайном порядке и дублируются, и так у всех
и флуд просто нереальный начался
https://i.gyazo.com/e3cb17c78e266fde5abb1afe88d0aebe.mp4
каст массового безумия из-за аватарки
Открыть в Telegram