Я правильно понимаю, что с DH семейства будут не нужны (именно с ним)?

Может раньше, я хочу этим заняться

в смысле, не нужны?

Разве они не заменятся на обычные функции от типов к типам?

синтаксически-то да, может и будут выглядеть как обычные функции

но это ж все равно семейства будут

там же вся эта коэршн-машинерия из FC остается

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

То есть если и будут, то не такие как сейчас

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

ну, в деталях не такие

Ну если все детали поменять, то что останется? И если говорить про Core, его же тоже переделывают. Хотя Coercion остаются вроде, да

ну и не будут же они убирать открытые семейства

Добавить открытые функции может ?

Весь адхок останется через тайпклассы

но тайпклассы с ассоциированными типами же

class Elem (a :: Type) where elem :: Type instance Elem [a] where elem = a -- тут хрень конечно, нужны синглтоны для типов какие-то что ли class Elem c => Collection c where get :: c -> Maybe (elem @c)

class Elem (a :: Type) where elem :: Type instance Elem [a] where elem = a -- тут хрень конечно, нужны синглтоны для типов какие-то что ли class Elem c => Collection c where get :: c -> Maybe (elem @c)

Maybe (elem @c) лучше, чем Maybe (Elem c)?

Да без разницы вроде, просто меньше абстракций (ну то есть те же самые функции и тот же адхок что и раньше через классы, а не новый через семейства)

не вижу особого смысла бороться с синтаксическими проявлениями ассоциированных типов. вот синтаксис отдельно стоящих семейств это адский ад, да

А чем он плох?

https://tech.yandex.ru/dialogs/alice/doc/development-docpage/ - Алиса, что такое монады?

вербозный

причем вербозный в каком-то неприятном смльном стиле кучи ключевых слов

Отдельно стоящие убить надо

type/data instance Foo Bar = ... всего два слова. По моему нормально

Отдельно стоящие убить надо

+1

Как это в Constrained type families описано

Отдельно стоящие убить надо

ем они вам не полюбилиись?

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

Это да

ем они вам не полюбилиись?

Мешают компилятору apartness детектить

Вот недавно с @A64m_qb0 обсуждали что-то и наткнулись

apartness? Ну и vector, боюсь сломается в unboxed части

apartness? Ну и vector, боюсь сломается в unboxed части

так там функциональность вся сохранится

вектор же можно на ассоциированных типах сделать

@qnikst а зачем вы хаскель в wasm компиляете? Есть реальный клиент?

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

1) прочитал гигантский коммент от автора webghc величиной с блогпост 2) нажал F5 3) > EDIT: This comment apparently got posted in an intermediate state before I had finished writing it. People should reread

@qnikst а зачем вы хаскель в wasm компиляете? Есть реальный клиент?

хз

вроде нету

академики :)

@qnikst а зачем вы хаскель в wasm компиляете? Есть реальный клиент?

Любой браузер поддерживает wasm. Или вы о чём?

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

Любой браузер поддерживает wasm. Или вы о чём?

клиент в смысле кому это нужно и кто оплатит

А

@qnikst, почему ваши не обратили внимание на https://github.com/SPY/haskell-wasm? кажется, @irezvov дальше продвинулся

без понятия

чела, который пилил aeterus наняли он продолжил его тут пилить

а по тому дальше или нет я не компетентен, чтобы сравнить и что-либо сказать

а почему не того, который webghc делает?

читая Readme того что в haskell-wasm написано я не вижу почему это об одном и том же

а почему не того, который webghc делает?

на реддите Метью писал что-то

@qnikst, почему ваши не обратили внимание на https://github.com/SPY/haskell-wasm? кажется, @irezvov дальше продвинулся

это разве не либа на хаскеле из серии Language, т.е. для того чтоб тулы для языка на хаскеле писать, а не хаскель в васм компилять?

я тоже не разбираюсь, пусть @irezvov сам расскажет

Ща до работы доеду

вот судя по тому что чекбокснуто, похоже на то + интерпретатор?

но я не шарю

Да, интерпретатор есть

ghci?

не, интерпретатор WASM'a

вроде отстендапился

итого, haskell-wasm это действительно Language пакет в котором есть парсер текстового представления, сериализатор/десериализатор, интерпретатор и CodeGen API(как раз пытаясь его улучшить я вчера боролся с GHC в этом чатике)

изначально, как заявлено в ридми, у меня тоже была цель сделать WASM бекенд для GHC компиля Cmm в Wasm

но в какой-то момент я стал смотреть в пайплайн Idris'a и мне его подход к кодогенерации показался более разумным. По этому что бы не закапаться в кишках GHC я начал с кодогенерационного бекенда для Idris'a

https://github.com/SPY/idris-codegen-wasm

не смотря на то, что я потратил на него всего 2 недели он вполне себе даже работает. Есть поддержка на уровне рантайма строк и числовых операций, эмуляция стека. Почти готова сборка мусора

в будущем если всё же дойду до встраивания в GHC'шный пайплайн, я наверное буду компилировать STG в идрисоподобный байткод и переиспользовать тот же рантайм до какой-то степени

потому что Смм в своей архитектуре слишком сильно закаладывается на возможность прыгнуть в произвольное место или передать выполнение коду по указателю(такое WASM не умеет)

собственно вот. DHC упомянутый в Twig.io'шной статье кстати вроде собирались перейти на мою либу для кодогенерации судя по этой ише https://github.com/dfinity/dhc/issues/1

@qnikst а вот заменить binaryen на мою либу в asterius'e вполне здравая идея

я предложу

предложил

ну там что бы начать использовать надо зарелизить мою либу конечно, но если будет реально желание начать это делать, могу зафорсить этот процесс

https://www.reddit.com/r/haskell/comments/8mxmmt/i_am_not_snoyjerk/

тем временем https://ghc.haskell.org/trac/ghc/blog/ghc-8.4.3-released

ну там что бы начать использовать надо зарелизить мою либу конечно, но если будет реально желание начать это делать, могу зафорсить этот процесс

Shao сказал что идея хорошая, но есть некоторые требования которые пока не выполняются

я тогда в приват отпишусь чего и как

в идеале он бы хотел переключиться но видимо позже

А подскажите какую-нибудь легковесную либу для работы с графами? Конкретно в моём случае - надо ориентированный граф без циклов распарсить из логов, дальше надо выдавать результаты а-ля "верни все рёбра и вершины, до которых можно дойти из такой-то вершины"

А подскажите какую-нибудь легковесную либу для работы с графами? Конкретно в моём случае - надо ориентированный граф без циклов распарсить из логов, дальше надо выдавать результаты а-ля "верни все рёбра и вершины, до которых можно дойти из такой-то вершины"

какой-нибудь http://hackage.haskell.org/package/fgl

всем привет! по scotty есть 2 вопроса : 1) есть ли возможность low-level управления сокетом, или неким writer-ом - чтобы можно было сделать rate-limit и тп ?

2) не могу понять, как сделать некий post action после scotty-ного хендлера (но не одновременно, а после удачной записи последнего байта) app = do get "/test" $ do file "sc.hs1" liftIO $ putStrLn "TEST" тут TEST пишется сразу после начала получения файла, а хочу - после (например, нужно сделать web-запрос на контрольный сервер)

это уже ближе к warp чем к scotty

(я про (1))

это уже ближе к warp чем к scotty

да. я пон. а в servant-е тоже наверное такого нет (про (1))?

scotty, это уже application level. Нужно в warp лезть

это не его задачf

servant тоже warp-ом сервится

копать в warp

2 можно сделать как wai-middleware

какой-нибудь http://hackage.haskell.org/package/fgl

спасибо, попробую

А подскажите какую-нибудь легковесную либу для работы с графами? Конкретно в моём случае - надо ориентированный граф без циклов распарсить из логов, дальше надо выдавать результаты а-ля "верни все рёбра и вершины, до которых можно дойти из такой-то вершины"

containers ?

containers ?

тоже попробую, спасибо