@haskellru - страница 1138 - Telegram web archive

Aliester

восьмая марта

Alexander

а

Leonid 🦇

вся страна 4 дня отдыхает, сегодня все с корпоративов

Denis

кто-то жене подарок не купил!

Leonid 🦇

это вы ваших ЕС конторах пашите

Denis

пеки торт теперь

Denis

а у меня тут спецолимпиада

Denis

есть стейтмашинный парсер и монадный

Denis

я пытаюсь из них собрать один

Denis

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

sherzod

да зачем. выходные надо расслабиться включить на фон Брагилевского и неспешно почитывать свежие статейки про завтипчеги

Leonid 🦇

налепи на фри монадах, должно стать понятнее как делать без

Denis

какая-то пост-фрирония

Leonid 🦇

нет ну а чо, интерпретатор проще же подогнать.

Denis

ну ок

Denis

(ну т.е. нет конечно, но могу согласиться с тем что не ирония)

Denis

почему еще никто не написал книгу “Haskell для настоящих мужиков”, а-ля http://tutdesign.ru/wp-content/uploads/2014/12/129-610x498.jpg

Denis

“Не можешь понять X, возьми фри монаду как мужик”

Denis

“ADT не для мужиков, чёрчь-энкодь”

Denis

пора отдохнуть, чую

Aliester

да зачем. выходные надо расслабиться включить на фон Брагилевского и неспешно почитывать свежие статейки про завтипчеги

фон Брагилевский звучит изысканно

Leonid 🦇

что-то все злые стали в последнее вермя

Vitaly

Мне нравится

Евгений

что-то все злые стали в последнее вермя

С тех пор как здесь стал зависать брагилевский, ну

Vitaly

Хейтеры подъехали

Евгений

Я никого не хейчу, я отпускаю едкие замечания прост

Vitaly

Ясн

Евгений

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

Vitaly

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

A64m

https://hal.inria.fr/hal-01724997/document "We present a resource-management model for ML-style programming languages, designed to be compatible with the OCaml philosophy and runtime model. [...] It builds on the ownership-and-borrowing models of systems programming languages (Cyclone, C++11, Rust) ..."

Sergey

в меинстрим окамль, конеш, навряд ли добавят

Sergey

ага, полностью ортогонально аlgebraic effects'ам от OcamlPro и ко

Sergey

хотя по решаемым задачам пересекается

Sergey

получается забавная ситуация с пачкой языковых расширений, переключаемых не прагмами, а на уровне opam'a

Andrey

ортогонально — это значит хорошо? потому что должно композиться?

Sergey

по идее да, ничего не мешает. Автор упоминает ocaml-multicore, как подход, проигрывающий его варианту, т.к. его вариант потенциально избавляет от дата рейсов, а algebraic effects нет

A64m

получается забавная ситуация с пачкой языковых расширений, переключаемых не прагмами, а на уровне opam'a

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

Sergey

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

Да, Leroy и ребята консервативны в плане того, что затаскивать

Sergey

вообще радует тренд, в скале вот уже который год пытаются систему эффектов подтащить (Lucas Rytz thesis и более новая работа, забыл чья)

Sergey

так, глядишь, пойдет в народ

Andrey

имплиситы еще появятся, но позже