1675
https://combot.org/chat/-1001043143583 Ссылки на полезные ресурсы: https://ruhaskell.org/links.html ; Информация о мероприятиях: https://gist.github.com/qnikst/a96cac661be80d126d0829f2ced1916e
да, две
ghc-timing-report by @qnikst
и вторая на тайпскрипте, не помню название
типа у нас впроекте 20К строк кода прошивок на хаскеле генерят порядка 150-200К строк на си
Читать полностью…
ну, обычно такой прикладной код на DSL - это куча копипасты, которая таскается из модуля в модуль без особых попыток отрефакторить. скрипты - они и в Африке скрипты, как-то фильтрует спам - да и ладно.
Читать полностью…
это примерно как количество строчек Си в автомобиле считать
Читать полностью…
чем сильнее грамматика Хаскеля становится контекстуальной, тем больше хочется научиться красить код в примерах для документации через семантические токены
Читать полностью…
Но в целом я пока считаю, что без TypeFunctions сложный тайплевел делать смысла нет
Читать полностью…
а есть тулза готовая чтоб -ddump-timings парсила и красиво показывала?
Читать полностью…
https://github.com/NixOS/nixpkgs/pull/429810 ребзя, скоро 9.10
Читать полностью…
reqTyAr :: forall a b . Read b => (a -> b) -> (forall c -> Read c => c) -> b
reqTyAr _ f = f b
data D = D { x :: Int }
myRead :: String ->forall a -> Read a => a
myRead s _ = read s
{- |
>>> reqTyAr x (myRead "42")
42
-}
ну да, там вроде было куча кода странслированного с предыдущего DSL
Читать полностью…
не уверен, насколько миллионы строк кода на этой их Сигме можно было засчитывать в актив вообще
Читать полностью…
хотя может это еще стадия принятия и в будущем его меньше надо будет красить т.к. граница типы/значения будет условной
Читать полностью…
TypeFunctions это условное название промоушена обычных функций на будущий "тайплевел"?
Читать полностью…