Ilya
22.09.2017
12:13:19
чё там во второй доступно из готовых кернелов я не разбирался
первая просто ещё более высокоуровневая
illiatshurotshka❄️
22.09.2017
12:29:21
Dmitry
22.09.2017
14:11:52
есть кто живой, кто в никсе понимает?
Google
illiatshurotshka❄️
22.09.2017
14:20:44
nixos?
Dmitry
22.09.2017
14:21:03
nix
Alexander
22.09.2017
15:06:46
проще вопрос целиком спросить
Дмитрий
22.09.2017
15:12:58
А никто не подскажет как в Elm читать/писать в файл?
kana
22.09.2017
15:13:28
@elm_ru
И никак, это же фронт
illiatshurotshka❄️
22.09.2017
15:15:49
https://github.com/elm-lang/persistent-cache ?
kana
22.09.2017
15:17:22
Он не закончен и не рекомендуется Эваном. И это таки не файлы)
Евгений
22.09.2017
15:22:21
А нету elm for nodejs?
kana
22.09.2017
15:24:13
Noah пытался много раз, но чет всн страшно
Дмитрий
22.09.2017
15:32:54
Благодарю :)
Dmitry
22.09.2017
15:34:37
что такое jailbreak-cabal ?
Alexander
22.09.2017
15:39:35
кабал с allow-newer и allow-older включенными по умолчанию?
Google
Alexander
22.09.2017
15:39:47
(в первый раз услышал про это)
ParkeT
22.09.2017
15:48:39
you shoul use PureScript
Alexander
22.09.2017
15:53:15
your soul uses PureScript?
illiatshurotshka❄️
22.09.2017
15:55:16
зачем вообще на бекенде компилить нормальные языки в js ?
Alexander
22.09.2017
15:57:04
чтобы запускать их на нодежс
kana
22.09.2017
15:57:08
Ну, фишка в том, что на пурсе можно написать часть бэкенда и легко сынтегрировать с остальным нодежс кодом, если он уже есть.
Начинать можно прямо с одной функции, потому что компиляция почти 1к1 и прямо в commonjs
Alexander
22.09.2017
15:57:13
троллиц.пдф
illiatshurotshka❄️
22.09.2017
15:58:21
оо понятно
Дмитрий
22.09.2017
15:58:35
illiatshurotshka❄️
22.09.2017
15:58:45
казалось бы
Тёма
22.09.2017
15:58:46
Rust?
illiatshurotshka❄️
22.09.2017
15:58:48
причем здесь она
Дмитрий
22.09.2017
15:58:52
Ну не требуется людям всегда байтики гонять, пойми ты, есть разные задачи
illiatshurotshka❄️
22.09.2017
15:59:05
???????
Дмитрий
22.09.2017
15:59:45
Ну у тебя просто раз за разом один и тот же сценарий — риторически спросить про нормальные ™ языки, а потом вбросить про раст
Тоньше надо))
kana
22.09.2017
15:59:50
Многим и управление памяти не требуется, они предпочитают отключать GC в жвм и перезапускать при заполнении памяти
Дмитрий
22.09.2017
16:00:04
Оо, да, я наслышан про эту кулстори
? animufag ?
22.09.2017
16:00:07
такое чувство что скоро в локальных чатиках друзей/коллег будет повторяться этот диалог
Дмитрий
22.09.2017
16:00:14
Про отключение GC в джаве)) Чудовищно
Google
illiatshurotshka❄️
22.09.2017
16:00:21
Alex
22.09.2017
16:09:42
а, уже доложили
Oleg
22.09.2017
17:09:23
А кто расскажет, как юзать новый Coercible для высших кайндов?
Ну или что теперь им можно вывести, что раньше ансейфом делалось
Denis
22.09.2017
17:19:34
Ньютайпы хорошо, глянь на foldMapDefault или как там его
Oleg
22.09.2017
17:23:23
Denis
22.09.2017
17:24:19
Вроде нет упаковки распаковки
Oleg
22.09.2017
17:24:48
..была..?
Короч, вопрос не про то, чем хорош coerce, а чем лучше
Coercible k (a::k) (b::k) из base 4.10 старого Coercible a b из 4.8
Alexander
22.09.2017
19:42:56
магия какая-то
я смотрю исходники head и вижу там только 2 параметра
может это просто особенности хаддока с этими всеми levity и т.п.?
Yuriy
22.09.2017
19:45:12
то есть для k = #?
kana
22.09.2017
19:51:50
Что есть #? В coerce там *, то есть между всеми лифтед, что логично
Yuriy
22.09.2017
19:52:55
# — род бескоробочных (примитивных?) типов
kana
22.09.2017
19:53:49
А, анбоксед, понял
Yuriy
22.09.2017
19:56:31
λ> :k Int
Int :: *
λ> :k Int#
Int# :: #
только это старый GHC
Google
Alexander
22.09.2017
19:56:54
щас, если пойму как этот никсос заставить работать с буфферами - скопирую
там все очень хитро похоу, может вы мне обясните
Yuriy
22.09.2017
19:57:46
в современном
λ> :k Int
Int :: *
λ> :k Int#
Int# :: TYPE 'GHC.Types.IntRep
но смысл тот же должен быть
Alexander
22.09.2017
19:58:31
все не то ~R# это специальная примитивная штука
eqReprTyCon, representational equality
Admin
Alexander
22.09.2017
20:00:19
блин как заставить мидл клик на тачпаде работать : (
не скопировать ничерта
в общем в compilerPrelude/TysPrim.hs есть табличка
~R# это representational equality полиморфная применимая к значениям разных кайндов
Leonid
22.09.2017
20:03:15
shift+insert
Alexander
22.09.2017
20:03:36
да вот нифига, телеграм из другого буффера берёт
с ним только выделение + middle click работает
Leonid
22.09.2017
20:04:04
shift+insert это selection buffer же.
А он поди на электроне
Alexander
22.09.2017
20:05:04
в общем не дружит телеграм с консолью
в общем у меня такое ощущение, что haddock стал честнее и всю внутреннюю кухню в coercible выдал
а так ничего не поменялось
Kirill
22.09.2017
21:14:31
Pig
22.09.2017
21:20:14
C-q / pkill telegram-desktop
Bohdan
22.09.2017
21:56:54
Google
Дмитрий
22.09.2017
22:00:06
Ага
В телеграме везде технологии каменного века
кроме языка сериализации с dependent types
Vyacheslav
23.09.2017
14:43:47
illiatshurotshka❄️
23.09.2017
14:56:28
по # и Type
Pig
24.09.2017
16:42:57
https://toster.ru/q/463653
Denis
24.09.2017
16:45:34
https://toster.ru/user/ProcenkoV :D
Alexander
25.09.2017
07:52:58
@xgrommx не надо в том чатике ругань про haskell разводить, и тут достаточно, а там haskell полу-оффтоп
Denis
25.09.2017
07:53:33
учитывая что идрис на нем написан)
Alexander
25.09.2017
07:53:58
и агда, но все же
вне контекста зав типов и их эмуляции лучше оставлять Haskell тут
Denis
25.09.2017
07:54:46
ок
http://fvisser.nl/post/2013/aug/6/programming-haskell-doesnt-require-any-category-theory.html
Alexander
25.09.2017
08:11:17
@antontrunov а у вас публикации доклады по Fine-grained concurrent separation logic. есть?
Anton
25.09.2017
08:26:45
ответил в соседнем канале про завтипы ?
kana
25.09.2017
08:27:06
type Traversal' a b =
forall f . Applicative f =>
(b -> f b) -> (a -> f a)
type Lens' a b =
forall f . Functor f =>
(b -> f b) -> (a -> f a)
Notice that the only difference between a Lens' and a Traversal' is the type class constraint. A Lens' has a Functor constraint and Traversal' has an Applicative constraint. This means that any Lens' is automatically also a valid Traversal' (since Functor is a superclass of Applicative).
Объясните пожалуйста почему. Интуитивно наоборот, каждый траврсабл - линза, потом что Аппликатив - подкласс Функторов, но не каждая линза - валидный траверс, ведь не каждый функтор аппликативный