A64m
секретарь рулевого комитета в первый раз взывает к комитетчикам:
https://mail.haskell.org/pipermail/ghc-steering-committee/2018-May/000575.html
A64m
и второй раз
https://github.com/ghc-proposals/ghc-proposals/pull/111#issuecomment-388243017
Anonymous
Аа
Anonymous
Ну, все равно интересно
A64m
это, видимо, после того как назначенный читать про или паттерны через 3 месяца написал, что ему что-то лень
Евгений
A64m
нет
Евгений
Давайте клапауция пропихнём в комитет по фичам
Евгений
!
Anonymous
Спс
Евгений
Но ник красивый!
Leonid 🦇
Aragaer
клапауций это из лема же
Anonymous
А есть Haskell на LLVM?
Или это и есть Haskell?
Dmitry
-fllvm опция
Denis
https://www.facebook.com/careers/jobs/a0I1H00000MoVjBUAV/
A64m
ну наконец-то
A64m
или может просто замену ищут для страдальца, который над повторяемостью компиляции страдал
A64m
> bitemyapp/fp-course: Fork of the original Data61 course to be more Stack friendly
Alexander
https://www.youtube.com/channel/UCrCO7t8yyapJ12zqip8aqnQ видосы с последнего фпрога выложили
Отлично! Посмотрим, о чем там рассказывают.
Anonymous
Отлично! Посмотрим, о чем там рассказывают.
А как у вас графы представлялись? Промотал пока видео, не нашел отдельного слайда
Anonymous
Отлично! Посмотрим, о чем там рассказывают.
Видели эту годноту? https://github.com/snowleopard/alga-paper/releases/download/final/algebraic-graphs.pdf
Alexander
А как у вас графы представлялись? Промотал пока видео, не нашел отдельного слайда
(можно на ты, если что)
Ну у меня там был рекурсивный тип. Я с тех пор сильно перепилил внутренности, там он по-прежнему, но лучше. Код есть на гитхабе :)
Alexander
Видели эту годноту? https://github.com/snowleopard/alga-paper/releases/download/final/algebraic-graphs.pdf
Не, не видел. Чукча писатель 😊
Евгений
Если кому-то это нужно:
https://github.com/elemir/docker-haskell
https://hub.docker.com/r/elemir/haskell/tags/
Описание чуть позже сделаю, но в целом оно повторяет официальные докер образы (только на убунте и со свежим стеком и новыми ghc)
Anonymous
Если кому-то это нужно:
https://github.com/elemir/docker-haskell
https://hub.docker.com/r/elemir/haskell/tags/
Описание чуть позже сделаю, но в целом оно повторяет официальные докер образы (только на убунте и со свежим стеком и новыми ghc)
У нас на работе коллега фанат докера строит образы на основе Alpine
Евгений
А чо, ghc собирается c uclibc?
Евгений
Не haskell, конечно, но я вбрасывал как challenge
Ну у вас го небось какой-нибудь. Гоферы любят альпайн. Потому что в нём удобно подчеркнуть, что в го своя стандартная либа
A64m
надо ставить перед собой реальные цели, например задурить голову еще больше паре поехавших директоров вроде Платова, чтоб они платили зарплату человеку, работающему над гхц
A64m
https://www.facebook.com/careers/jobs/a0I1H00000MoVjBUAV/
A64m
один есть, теперь еще одному
Евгений
Хм, а m$ не платит зарплату таким людям?
Евгений
И пёсбук какой-нибудь
A64m
да, но речь про то, что появляется после оглашения моего гениального плана
A64m
безосу, например. можно даже на двух человек, чай не обеднеет
adam
А как бы руссифициовался "Зигохистоморфный Препроморфизм"?
лучеисторический околоестественный преобразователь
Дима
https://www.facebook.com/careers/jobs/a0I1H00000MoVjBUAV/
Странно, что не на OCaml сделали, они там ооочень большие его фанаты
A64m
да там всяких полно
A64m
там еще дишников гнездилище было, но его вроде разорили уже
Дима
У них просто весь Messenger на окамле, и фронт и бэк, бескомпромиссно
Дима
И еще в куче других мест
Евгений
Ну окамл просто мертвее хаскеля. Дешевле переучить окамлистов в хаскелистов чем искать новых
Евгений
Вон в stackoverflow trends ocaml даже нету
A64m
в фейсбуке стюарт наоборот на окамле пишет
A64m
ну или может писал, а сейчас и не программист
A64m
Ну и позорище, конечно. Хаскелист в докладе сишным препроцессором предлагает пользоваться, для того чтоб похожие инстансы генерить.
Alexander
fprog смотришь старый?
A64m
да
Vladimir
Может тогда TH ещё был в зачатке?
Alexander
2 месяца назад?
Aliester
У них просто весь Messenger на окамле, и фронт и бэк, бескомпромиссно
так вот почему он говеный
A64m
да и макросами такое делать - позорище. Это на модулях надо делать
Vladimir
Я решил, что старый фпрог -- это года эдак 2008го (или когда там журнал появился).
Vladimir
А модули уже завезли в хаскель?
Anatolii
Там автор мегапарсек сказал что уже пишет новый мегапарсек на модулях
A64m
да, недавно завезли, но они тяжеловаты могут быть для таких вещей, ну и вообще пока их еще допилят и широко использовать начнут, короче еще позориться и позориться
Anatolii
Широко использовать - это наверное лет 10 надо
Aliester
ну и жеес не за день строился
A64m
ну не 10, хаскелисты все же побыстрее к новым фичам привыкают
Anatolii
ну не 10, хаскелисты все же побыстрее к новым фичам привыкают
Старые либы то никто не перепишет
Anatolii
Ну перепишут, но меньшую часть
A64m
живые перепишут
A64m
последний живой гхц без модулей остался, осенью все три актуальных с модулями будут
Vladimir
https://downloads.haskell.org/~ghc/8.4.2/docs/html/users_guide/separate_compilation.html#module-signatures
Vladimir
Вот это оно?
Vladimir
А, что-то не то.
A64m
оно
A64m
там просто большая часть в кабале
Кирилл
Здравствуйте, кто-нибудь писал комбинаторы для серванта?
Кирилл
https://vadosware.io/post/trying-and-failing-to-expand-cookie-based-auth-with-roles/
Кирилл
вот тут в статье есть пример, но в нем используется получение строки из типа таким образом: roleStr = symbolVal (Proxy :: Proxy a)
Кирилл
мне же нужно пропихнуть сюда свой тип, например data Role = User | Admin
Кирилл
подскажите пожалуйста, как это можно сделать?
Кирилл
в куках уже лежит объект с нужной ролью с типом Role
ena
Заскринила