чё там во второй доступно из готовых кернелов я не разбирался

первая просто ещё более высокоуровневая

не важно. и то и то это библиотека

????????

есть кто живой, кто в никсе понимает?

nixos?

nix

проще вопрос целиком спросить

А никто не подскажет как в Elm читать/писать в файл?

@elm_ru

И никак, это же фронт

https://github.com/elm-lang/persistent-cache ?

Он не закончен и не рекомендуется Эваном. И это таки не файлы)

А нету elm for nodejs?

Noah пытался много раз, но чет всн страшно

Благодарю :)

что такое jailbreak-cabal ?

кабал с allow-newer и allow-older включенными по умолчанию?

(в первый раз услышал про это)

you shoul use PureScript

your soul uses PureScript?

зачем вообще на бекенде компилить нормальные языки в js ?

чтобы запускать их на нодежс

Ну, фишка в том, что на пурсе можно написать часть бэкенда и легко сынтегрировать с остальным нодежс кодом, если он уже есть. Начинать можно прямо с одной функции, потому что компиляция почти 1к1 и прямо в commonjs

троллиц.пдф

оо понятно

зачем вообще на бекенде компилить нормальные языки в js ?

Кто про что а ты опять про ржавчину

казалось бы

Rust?

причем здесь она

Ну не требуется людям всегда байтики гонять, пойми ты, есть разные задачи

???????

Ну у тебя просто раз за разом один и тот же сценарий — риторически спросить про нормальные ™ языки, а потом вбросить про раст

Тоньше надо))

Многим и управление памяти не требуется, они предпочитают отключать GC в жвм и перезапускать при заполнении памяти

Оо, да, я наслышан про эту кулстори

такое чувство что скоро в локальных чатиках друзей/коллег будет повторяться этот диалог

Про отключение GC в джаве)) Чудовищно

Ну у тебя просто раз за разом один и тот же сценарий — риторически спросить про нормальные ™ языки, а потом вбросить про раст

я тебя не понимаю

А нету elm for nodejs?

есть, называется purescript :)

а, уже доложили

Про отключение GC в джаве)) Чудовищно

это я недавно читал еще более кульную историю на похожую тему http://www.dejavusecurity.com/blog/missile-firmware-and-memory-leaks

А кто расскажет, как юзать новый Coercible для высших кайндов?

Ну или что теперь им можно вывести, что раньше ансейфом делалось

Ньютайпы хорошо, глянь на foldMapDefault или как там его

Ньютайпы хорошо, глянь на foldMapDefault или как там его

А чем оно лучшн старого без кайнд параметра?

Вроде нет упаковки распаковки

Вроде нет упаковки распаковки

У coerce распаковка упаковка?

..была..?

Короч, вопрос не про то, чем хорош coerce, а чем лучше Coercible k (a::k) (b::k) из base 4.10 старого Coercible a b из 4.8

магия какая-то

я смотрю исходники head и вижу там только 2 параметра

может это просто особенности хаддока с этими всеми levity и т.п.?

то есть для k = #?

Что есть #? В coerce там *, то есть между всеми лифтед, что логично

# — род бескоробочных (примитивных?) типов

А, анбоксед, понял

λ> :k Int Int :: * λ> :k Int# Int# :: # только это старый GHC

щас, если пойму как этот никсос заставить работать с буфферами - скопирую

там все очень хитро похоу, может вы мне обясните

в современном λ> :k Int Int :: * λ> :k Int# Int# :: TYPE 'GHC.Types.IntRep но смысл тот же должен быть

все не то ~R# это специальная примитивная штука

eqReprTyCon, representational equality

блин как заставить мидл клик на тачпаде работать : (

не скопировать ничерта

в общем в compilerPrelude/TysPrim.hs есть табличка

~R# это representational equality полиморфная применимая к значениям разных кайндов

shift+insert

да вот нифига, телеграм из другого буффера берёт

с ним только выделение + middle click работает

shift+insert это selection buffer же. А он поди на электроне

в общем не дружит телеграм с консолью

в общем у меня такое ощущение, что haddock стал честнее и всю внутреннюю кухню в coercible выдал

а так ничего не поменялось

shift+insert это selection buffer же. А он поди на электроне

Он вроде на qml (и течёт)

C-q / pkill telegram-desktop

Он вроде на qml (и течёт)

Даже не на QML, они все эти свистелки на голом Qt навелосипедили

Ага

В телеграме везде технологии каменного века

кроме языка сериализации с dependent types

кроме языка сериализации с dependent types

там depentent они только по nat

по # и Type

https://toster.ru/q/463653

https://toster.ru/user/ProcenkoV :D

@xgrommx не надо в том чатике ругань про haskell разводить, и тут достаточно, а там haskell полу-оффтоп

учитывая что идрис на нем написан)

и агда, но все же

вне контекста зав типов и их эмуляции лучше оставлять Haskell тут

ок

http://fvisser.nl/post/2013/aug/6/programming-haskell-doesnt-require-any-category-theory.html

@antontrunov а у вас публикации доклады по Fine-grained concurrent separation logic. есть?

ответил в соседнем канале про завтипы ?

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). Объясните пожалуйста почему. Интуитивно наоборот, каждый траврсабл - линза, потом что Аппликатив - подкласс Функторов, но не каждая линза - валидный траверс, ведь не каждый функтор аппликативный