нет

Давайте клапауция пропихнём в комитет по фичам

!

Спс

Давайте клапауция пропихнём в комитет по фичам

это вообще кто?

это вообще кто?

хз

Но ник красивый!

это вообще кто?

вот и узнаем

клапауций это из лема же

Давайте клапауция пропихнём в комитет по фичам

Надо его сначала в этот чатик пропихнуть?

А есть Haskell на LLVM? Или это и есть Haskell?

-fllvm опция

https://www.facebook.com/careers/jobs/a0I1H00000MoVjBUAV/

ну наконец-то

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

> bitemyapp/fp-course: Fork of the original Data61 course to be more Stack friendly

https://www.youtube.com/channel/UCrCO7t8yyapJ12zqip8aqnQ видосы с последнего фпрога выложили

Отлично! Посмотрим, о чем там рассказывают.

Отлично! Посмотрим, о чем там рассказывают.

А как у вас графы представлялись? Промотал пока видео, не нашел отдельного слайда

Отлично! Посмотрим, о чем там рассказывают.

Видели эту годноту? https://github.com/snowleopard/alga-paper/releases/download/final/algebraic-graphs.pdf

А как у вас графы представлялись? Промотал пока видео, не нашел отдельного слайда

(можно на ты, если что) Ну у меня там был рекурсивный тип. Я с тех пор сильно перепилил внутренности, там он по-прежнему, но лучше. Код есть на гитхабе :)

Видели эту годноту? 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)

Если кому-то это нужно: https://github.com/elemir/docker-haskell https://hub.docker.com/r/elemir/haskell/tags/ Описание чуть позже сделаю, но в целом оно повторяет официальные докер образы (только на убунте и со свежим стеком и новыми ghc)

У нас на работе коллега фанат докера строит образы на основе Alpine

А чо, ghc собирается c uclibc?

А чо, ghc собирается c uclibc?

Не haskell, конечно, но я вбрасывал как challenge

Не haskell, конечно, но я вбрасывал как challenge

Ну у вас го небось какой-нибудь. Гоферы любят альпайн. Потому что в нём удобно подчеркнуть, что в го своя стандартная либа

надо ставить перед собой реальные цели, например задурить голову еще больше паре поехавших директоров вроде Платова, чтоб они платили зарплату человеку, работающему над гхц

https://www.facebook.com/careers/jobs/a0I1H00000MoVjBUAV/

один есть, теперь еще одному

Хм, а m$ не платит зарплату таким людям?

И пёсбук какой-нибудь

да, но речь про то, что появляется после оглашения моего гениального плана

И пёсбук какой-нибудь

А, это и есть пёсбук

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

А как бы руссифициовался "Зигохистоморфный Препроморфизм"?

лучеисторический околоестественный преобразователь

https://www.facebook.com/careers/jobs/a0I1H00000MoVjBUAV/

Странно, что не на OCaml сделали, они там ооочень большие его фанаты

да там всяких полно

там еще дишников гнездилище было, но его вроде разорили уже

У них просто весь Messenger на окамле, и фронт и бэк, бескомпромиссно

И еще в куче других мест

Ну окамл просто мертвее хаскеля. Дешевле переучить окамлистов в хаскелистов чем искать новых

Вон в stackoverflow trends ocaml даже нету

в фейсбуке стюарт наоборот на окамле пишет

ну или может писал, а сейчас и не программист

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

fprog смотришь старый?

да

Может тогда TH ещё был в зачатке?

2 месяца назад?

У них просто весь Messenger на окамле, и фронт и бэк, бескомпромиссно

так вот почему он говеный

да и макросами такое делать - позорище. Это на модулях надо делать

Я решил, что старый фпрог -- это года эдак 2008го (или когда там журнал появился).

А модули уже завезли в хаскель?

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

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

Широко использовать - это наверное лет 10 надо

ну и жеес не за день строился

ну не 10, хаскелисты все же побыстрее к новым фичам привыкают

ну не 10, хаскелисты все же побыстрее к новым фичам привыкают

Старые либы то никто не перепишет

Ну перепишут, но меньшую часть

живые перепишут

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

https://downloads.haskell.org/~ghc/8.4.2/docs/html/users_guide/separate_compilation.html#module-signatures

Вот это оно?

А, что-то не то.

оно

там просто большая часть в кабале

Здравствуйте, кто-нибудь писал комбинаторы для серванта?

https://vadosware.io/post/trying-and-failing-to-expand-cookie-based-auth-with-roles/

вот тут в статье есть пример, но в нем используется получение строки из типа таким образом: roleStr = symbolVal (Proxy :: Proxy a)

мне же нужно пропихнуть сюда свой тип, например data Role = User | Admin

подскажите пожалуйста, как это можно сделать?

в куках уже лежит объект с нужной ролью с типом Role

Заскринила

Похоже, нужен ещё и ночной спамочист-хаскеллист

Можно и фронтендера взять

Этак они хорошему научится, некому будет сайты делать

Будут делать на хаскелле

Нужно просто пингануть одного из модераторов

будете делать свою прелюдию - уберите toInteger из Integral. Что он вообще там делает?

точнее убрать надо как раз divMod

Какой нежный, однако, язык. Без прелюдий никак...

в расте так же

Раст вообще молодец. Наш парень.

ну вот обидно, что нет класса, который может в divMod, но не может в toInteger

В какой-нибудь Numeric Prelude есть классы и про это (но это не точно)

Надо кольца

они там есть

https://hackage.haskell.org/package/numeric-prelude-0.4.3/docs/Algebra-Ring.html

и т.д.

Замена Free на "No Remorse" на простом сценарии с инкрементом TVar дала ухудшение с 500ns до 600ns. Нужны, вероятно, более длинные монадические цепочки, чтобы Free показал квадратичное падение, а "No Remorse" оставался линеен. Однако, если ваши STM транзакции очень длинные (длиннее, скажем, 50 строчек), значит, вы что-то не так делаете.