@playfox будет жить. Поприветствуем!

^^ @nexmean

а можно instance c (Box c) написать? может deriving via как-то в помощь?

нет, нельзя. с deriving via все равно надо будет инстанс декларировать для каждого класса по отдельности, хоть и тривиально, через дерайвинг

@dendi239 будет жить. Поприветствуем!

Alexey Bondarchuk будет жить. Поприветствуем!

@Dr_crutch будет жить. Поприветствуем!

Этак мы сегодня планку в 860 преодолеем

Этак мы сегодня планку в 860 преодолеем

круглое число?

Лучше бы 1024

> yes - as for the implementation of the linear types extension, we're aiming for the submission of a Diff before the 8.8 branch is cut. (If the Committee has given the green light by then, of course.)

такое и про 8.6 говорили

тогда не готово было сильно

но сейчас, конечно, уже не так смешно

да если бы и готово было, эйзенберг только читать пропозал начал где-то дней через 10 после заморозки фич 8.6

угу

> yes - as for the implementation of the linear types extension, we're aiming for the submission of a Diff before the 8.8 branch is cut. (If the Committee has given the green light by then, of course.)

это где написано, кстати?

а можно instance c (Box c) написать? может deriving via как-то в помощь?

А какой у c тип? Type -> Constraint? Это же не обязательно класс

ghc-dev

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

да, там кто-то спросил что с линейными типами

> yes - as for the implementation of the linear types extension, we're aiming for the submission of a Diff before the 8.8 branch is cut. (If the Committee has given the green light by then, of course.)

@nexmean

вроде это он интересуется когда сделают

а @kana_sama вроде интересовался или-паттернами, если это так лучше бы растревожить (хайлайтнуть) кого-нибудь из обсуждавших пропозал в https://github.com/ghc-proposals/ghc-proposals/pull/43 вроде спж или читателя пропозала mchakravarty а то вроде все уже согласились все принять, но опять, судя по всему, просто забыли

@nexmean

Спасибо, жаль точного расписания выхода нет.

наиболее точное в настоящий момент расписание будет * никогда (но это не точно)

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

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

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

я за

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

Внезапно.

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

@SathemBite будет жить. Поприветствуем!

Что взять для пробного бэкендика: acid-state, persistent, или ещё чего-то?

если бекендик будет прототипом и никогда не пойдёт в продакшен, то acid-state а иначе что угодно, кроме acid-state

persistent нужен чтобы его не использовать

это экономия на спичках

кстати, за acid-state - его вообще не стоит рассматривать, как годный сторадж?

про acid-state читать вот отсюда

можно на acid-world посмотреть, но он слишком новый и я сам не смотрел ну и проблему с inspectability он не решает

btw с минимальными обертками к базе (ну типа где можно query написать с вопросиками и оно подставляет туда значения) живётся не так уж и плохо на самом деле, у нас в Wire так и я ни разу не страдал по этому поводу

persistent нужен чтобы его не использовать

А что использовать? Биндинги к БД обычным?

я вообще hasql использую мне норм

но я пока не то, чтобы доволен

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

но надо допиливать еще

если бекендик будет прототипом и никогда не пойдёт в продакшен, то acid-state а иначе что угодно, кроме acid-state

Будет. Если "вдруг" пойдёт, то можно будет и на чём-то другом переписать. Другой вопрос, что если на этом чём-то делается не сильно сложнее, то можно и сразу на нём.

В персистенте отпугнули квазицитирования и прочая синтаксическая магия

Я вообще люблю DSL, но такой подход выглядит как-то... топорно (имхо).\

🔺 CryptoBazar Fund объявляет о старте уникального полугодового марафона блокчейн-хакатонов, посвященных разработке решений и продуктов в области блокчейна и криптовалют!!! 🔸 Haskell-проект как среда для создания приложений и библиотек. 🔸 Популяризация Haskell в мире 🔸 2000+ разработчиков из России, Украины, Белоруссии, Казахстана и стран Балтики; 🔸 4 полуфинальных раунда, каждый из которых включает этап ✅online подготовки и последующий очный хакатон в Москве; 🔸 Финал в Гонконге: двухдневный круиз на суперлайнере, где лучшие из лучших будут соревноваться за главный приз и оцениваться ведущими мировыми разработчиками; 🤑 Общий призовой фонд - более 10 000 000 рублей; 🎁 Десятки призов каждый месяц; 🤝 Партнеры: ⠀⠀ • Fantom Foundation (Южная Корея) • NuCypher (CША) • QuarkChain (Китай) • Metahash (Россия) ✔️ Даты проведения с 1 сентября 2018 по 1 марта 2019. Регистрация еще открыта! ✅ Сайт с подробной информацией: http://hackathonserial.cryptobazar.io ✅ Telegram: @CryptoBazarHackathon

если что все вопросы к @Woodsterr он на них может ответить

так надо его в чатик пригласить тогда хочешь рекламу рекламировать – потерпи уведомления от чатика пару часов

он же заходил.. хм

А где на сайте про сабж?

https://pbs.twimg.com/media/DmRKgsJUUAA3Pw5.png

library = library (Library

ох но зато ведь типы

щас меня из чатика погонят

экзекьютабл тоже веселый

здорово повезло, конечно, не пришлось аннотировать типы

а что значит // в Dhall?

рекордовый сеттер

групповой

а, ок типа project ~ def?

проджект это вроде как рекорд дефолтных значений, и конфиг какие-то из них менят

Как люди умудрились перейти на Dhall?

а, ок типа project ~ def?

я так думаю, но я дхола не знаю, так что...

Как люди умудрились перейти на Dhall?

это ж ета, они любят проблемы на ровном месте

это ж ета, они любят проблемы на ровном месте

Ванесса тоже юзает Dhall

они ещё хотят <*> переименовать в <*| чтобы новичкам было проще жить

вот грустно как-то от таких вещей

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

они ещё хотят <*> переименовать в <*| чтобы новичкам было проще жить

Go мира ФП?

вот грустно как-то от таких вещей

ну, может, когда ета помрет, кто-нибудь возмет их жвм-кодоген и приделает к актуальному гхц

нет, я хочу, чтобы ета жила

Go мира ФП?

Почему

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

Почему

Хочет, чтобы был повод котить на старом гхц

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

старый гхц выходит язык для продакшона теперь

Не указывается эта лента реплаев

в ете даже ведь дупликейт рекорд филдс нету?

Почему

Упрощенная вещь для "новичков"

старый гхц выходит язык для продакшона теперь

насколько у них реализация ок — это отдельная тема а идеология нравится я даже подозреваю, что JVM там не потому, что JVM такая хорошая, а просто чтобы хаскелисты отвалились / чтобы сжечь мосты