да, низ

верх-то это и будет мой минимальный вариант

ну он не говорит что прошли?

ну верх и "не знает" что прошли

с какой стороны у вас верх?

верх сверху

<a><b><c><d><e>...

пусть свалились на c

в Prism s t a b верх — это s, t?

низ, это d,e - оно во втором варианте

верх это a,b

первый вариант скажет Left <c><d><e>

верх -то что попало в первую призму, низ - что в последнюю

второй Left (Right <c> (Right <d> (Right <e>

да

я так понимаю и того и другого так прямо не хватит для выдачи ошибки полноценной

если SourceInfo в ноды не положить

если SourceInfo в ноды не положить

SourceInfo — это про позиции в файле? не, цепочки ключей достаточно

хочу что-то типа "не найден <c> в <a><b>"

можно и положить

https://ventotene.conf.meetecho.com/icfp18/

ПРИМЕРНО В ЭТИ МИНУТЫ РЕШАЕТСЯ СУДЬБА ЛИНЕЙНЫХ ТИПОВ

Комитетчиками?

ну да, кем же еще

Ставлю на отказ

ставлю на то, что будут тянуть дальше

@bravit111 не подведи

Справа SPJ?

Ага

между тем с фичами все плохо, за месяц минимальное продвижение, приняли type data и еще кое-какие мелочи https://gist.github.com/klapaucius/8fc2fbb48606e6dd9a9a095898e3fac4

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

напротив SPj @kbr?

kbx

умвр

8.6.1 не работает, но вроде как починють

kbx

Я не знаю. Я только знаю Брайтнера по центру

ну его опознать чуть сложнее чем SPj

SPJ

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

kbx

ни разу не похож на Костю

не работать мне киллером

Я вообще думал, что это Бен Гамари, но не уверен

вроде не похож

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

Это точно не Бен

на шкале Костя-Бен, я бы поставил это гораздо ближе к Косте

Есть ещё вариант Eric Seidel, а больше некому вроде

8.6.1 не работает, но вроде как починють

Юзеры маков панику навели, stack --resolver ghc-8.6.1 ghci вполне себе пашет и на OSX тоже

Короче, раз такой интерес, я спросил у Ричарда, кто там сидел. Как ответит, напишу.

интрига дня

уверен что будут тянуть как раньше на 98%, никакой интриги

Мне кажется, что Эйзенберг опасается, что внедрение Linear Haskell сейчас может затруднить переход к зависимым типам впоследствии. Некоторые решаемые задачи там совпадают. Интересно ещё, что он постоянно привлекает к разговору Марлоу, который "weakly against" и всё ещё не уверен в правильности мотивации. А все остальные вряд ли хорошо понимают, о чём идет речь, и предпочитают отмалчиваться (кроме Саймона, который один из авторов и поэтому давить опасается). Вообще я уверен, что если запустить голосование, то большинство проголосует за, но Ричард с этим тоже тянет.

Интересно, кстати, что если бы к TypeInType предъявлялись нынешние требования к LH, то его никогда бы не утвердили. Раньше времена были посвободнее.

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

Интересно, кстати, что если бы к TypeInType предъявлялись нынешние требования к LH, то его никогда бы не утвердили. Раньше времена были посвободнее.

согласен на 100%

нынешний процесс антифичевый в принципе

ERROR: S client not available

по новому процессу уже один релиз без фич вышел и весной еще один будет

Необязательно консенсусом, там есть механизм голосования, но его не любят

ну по факту консенсусом

у кого-нить есть GHC 8.6.1?

у меня

установленный стэком фейлит :doc со словами /bin/sh: haskell-docs: команда не найдена с русской локалью

установленный стэком фейлит :doc со словами /bin/sh: haskell-docs: команда не найдена с русской локалью

Nixos?

что Nixos?

а о том как :doc работает с не гейропейскими локалями

поставил на винду рекомендуемым методом (cinst ghc) в результате гхц без прав администратора не запускается

GHCi скачаный стэком запущенный напрямую также фейлится

Так вроде стек подгнил немного

вчера RC 1.9 вышел

а что у нас есть веб-серверного, с простым высокоуровневым интерфейсом к БД а-ля persistent, с простыми шаблонами а-ля Hamlet, кроме, собственно, Йесода?

для игрушечного проекта

Йесод тоже ок, но вдруг есть что-то ещё проще?

приделайте уже все к серванту, с документаций

мне надо готовое и прямо сейчас

там оно все есть, но хз где описанное

на любителя правда, как и есод

так то servant-blaze есть, но это не то, что нужно?

йесод скорее безысходность

persistent - скорее самое простое для лаконичности и объяснения, но с сервантом его можно и использовать

я кроме него ничего не использовал

но он довольно простой

кто знает foldlRows/ foldrRows стримятся в hasql?

главный сайт языка рекламирует видео, в котором предлагается Spock + Spock-lucid

Scotty предельно простой