да, должен уже строчить яростные комментарии, но нет

@qnikst чо там у вас конторе думают про это всё?

более позитивно чем не позитивно

небось тоже все няшу ХВРа не любят

не, кстати с ним дружат в основном

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

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

..но это т.к. они не читают reddit

в наше время социальные интеракции очень важны, да.

Теперича когда любая группа людей объедененная любым признаком называется "сообщество"

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

> The more important something is, the more important it is to get right. I think records are extremely important, so it needs an extremely good implementation. Otherwise, we're dooming the entire future of Haskell to a subpar critical feature. рекорды такие важные что за 30 лет так и не сделали их

А можно ли вообще в ML-подобном языке нормальные записи сделать?

А можно ли вообще в ML-подобном языке нормальные записи сделать?

в пурскрипте же сделали

А можно ли вообще в ML-подобном языке нормальные записи сделать?

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

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

ну твои довольно требовательны

"NOBODY expects the Spanish Inquisition! Our chief weapon is surprise...surprise and fear...fear and surprise.... Our two weapons are fear and surprise...and ruthless efficiency.... Our *three* weapons are fear, surprise, and ruthless efficiency"

*fearless concurrency

Идеальные рекорды это Пи-типы

Только не очень производительные оверрайды выходят.

*fearless concurrency

это в другой чатик. вместе с zero-const abstractions, efficient c bindings и move semantics

это стандартная реакция на такие инициативы, достаточно вспомнить как дважды постили призыв СПЖ "давайте жить дружно" и как оба раза снойманиты и кабалисты грызли друг другу глотки в комментариях

А чем плох backpack? Вроде ж крутая вещь, с отделением интерфейса модуля от собственно реализации

это в другой чатик. вместе с zero-const abstractions, efficient c bindings и move semantics

Я знаю, просто не смог удержаться

А чем плох backpack? Вроде ж крутая вещь, с отделением интерфейса модуля от собственно реализации

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

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

Ну, в Haskell записи входят с довольно странным ad-hoc синтаксисом, который, например, не даёт нормально со вложенными записями работать. Так как аксессоры - просто функции, возникает проблема столкновения имён. И это не говоря уже о том, что вместо поля может оказаться жопа :(

Ну, в Haskell записи входят с довольно странным ad-hoc синтаксисом, который, например, не даёт нормально со вложенными записями работать. Так как аксессоры - просто функции, возникает проблема столкновения имён. И это не говоря уже о том, что вместо поля может оказаться жопа :(

это просто вообще не рекорды, это такой синтаксис для объявления функций

можно спокойно считать что рекордов в хаскеле до DuplicateRecordFields вообще не было

можно спокойно считать что рекордов в хаскеле до DuplicateRecordFields вообще не было

А синтаксис запись.поле в Haskell не будет из-за неоднозначностей с оператором композиции?

ну да

но это мало что дало бы.

в хаскеле не хотят делать хитрый TDNR потому что он плохо с выводом типов сочетается

но это мало что дало бы.

Ну, можно было бы с записями без таких костылей работать

в хаскеле не хотят делать хитрый TDNR потому что он плохо с выводом типов сочетается

А, понятно

фактически же с DuplicateRecordFields TDNR добавили, правда крайне тупой

фактически же с DuplicateRecordFields TDNR добавили, правда крайне тупой

А как TNDR расшифровывается?

тайп директед нейм резолюшн

фактически же с DuplicateRecordFields TDNR добавили, правда крайне тупой

Его еще отупить пропоузят же.

Его еще отупить пропоузят же.

это ответ Гендри на пропозал его обумнить

это просто вообще не рекорды, это такой синтаксис для объявления функций

А что тогда рекорды?

Вот если бы не стырили (.) на композицию функций, можно было бы вменяемый синтаксис сделать. А то кончились ascii символы

нелюбовь к TDNR в языках с выводом типов вообще понятна, ну так делали бы TRex еще в 90-х, и допиливали его с годами, но нет

А что тогда рекорды?

в рекордах селекторы все-таки более необычные функции, из-за собственного неймспейса рекордов, TDNR, роу-полиморфизма

в DuplicateRecordFields собственный неймспейс и TDNR фактически появились

так что "просто синтаксис для объявления функций" уже не скажешь

Ну Rust ведь умудряется с этим справляться /вброшено/

Ну Rust ведь умудряется с этим справляться /вброшено/

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

тут скорее на ocaml/f# ссылаться надо

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

В пределах функции - есть

тут скорее на ocaml/f# ссылаться надо

А, точно. Туплю

это и называется локальная реконструкция

Есть мнение, что глобальный вывод типов переоценён

при том в f# TDNR в основном угробил вывод типов

в хаскеле современном и так вывод типов хромает

в окамле нет, но и там аннотации нужны постоянно (но их синтаксически сносными сделали)

ну и в окамле нормальные рекорды (полиморфные ) есть, только их под классы замаскировали

Есть мнение, что глобальный вывод типов переоценён

я это мнение не разделяю

в хаскеле современном и так вывод типов хромает

все равно лучше чем в f# работает

я тоже предпочитаю у ghci выяснять тип функции что я только-что объявил.

в рекордах селекторы все-таки более необычные функции, из-за собственного неймспейса рекордов, TDNR, роу-полиморфизма

А есть пейперы на теоретическое осмысление понятия рекордов?

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

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

Видели бы вы рекорды в идрисе

вот это топчик

там даже можно поля называть одинаково в разных рекордах в одном модуле

и никаких проблем с этим нет

прямо как в haskell?

там даже можно поля называть одинаково в разных рекордах в одном модуле

в идрисе из-за перегрузки нужно применять квалификацию чуть менее чем везде. Я с таким адским адом еще ни в однм ФЯ не сталкивался, это наверное 30% моей ненависти к идрису обсепечило

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

в идрисе из-за перегрузки нужно применять квалификацию чуть менее чем везде. Я с таким адским адом еще ни в однм ФЯ не сталкивался, это наверное 30% моей ненависти к идрису обсепечило

да вроде нет

ERROR: S client not available

GHCi, version 8.0.2: http://www.haskell.org/ghc/ :? for help IO error: "//usr/share/ghc-vis-0.8/ghc-8.0.1/ghci" does not exist Loaded GHCi configuration from /home/qnikst/.ghci [1 of 1] Compiling Main ( 99877.hs, interpreted ) Ok, modules loaded: Main. *Main> :i A data A = A {Main.foo :: Int} -- Defined at 99877.hs:1:1 *Main> :i B data B = B {Main.foo :: String} -- Defined at 99877.hs:2:1

никаких проблем с этим не встречал

но в идрисе через это место вообще все имена работают

я встречал

бесит вечно когда требуются квалифицированные имена в каждой третьей строке

если вектора и списки в одном файле есть, например

с конструкторами та же фигня

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

GHCi, version 8.0.2: http://www.haskell.org/ghc/ :? for help IO error: "//usr/share/ghc-vis-0.8/ghc-8.0.1/ghci" does not exist Loaded GHCi configuration from /home/qnikst/.ghci [1 of 1] Compiling Main ( 99877.hs, interpreted ) Ok, modules loaded: Main. *Main> :i A data A = A {Main.foo :: Int} -- Defined at 99877.hs:1:1 *Main> :i B data B = B {Main.foo :: String} -- Defined at 99877.hs:2:1

а теперь попробуйте воспользоваться

любым из

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

примеров бы, а то может не разобрались просто до конца?

foo (a :: A)

foo (b :: B)

и что с этим не так?

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

или lens

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

в любом случае с идрисом было хуже

примеров бы, а то может не разобрались просто до конца?

может и не разобрались, но от этого не легче

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

в любом случае с идрисом было хуже

а я вот пописал пару месяцев на идрисе для души, потом пару месяяцев на хаскелле

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

в смысле не работают?

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

но это ИМХО

может я тоже не разобрался

А нет предложений для расширения отключающего вообще генерацию ацессоров? а то префиксить линзы (или поля) бесит чутка

ну мне тяжело, я не могу поработать на идрисе сравнимое с haskell время, он сдохнет раньше

меня бесит плохой вывод типов, хаскельные рекорды бесят, но и близко не как плохой вывод типов, так что я не фанат TDNR

В идрисе нет вывода типов

А нет предложений для расширения отключающего вообще генерацию ацессоров? а то префиксить линзы (или поля) бесит чутка

ну т.е. в RecordWildCards матчилось, a foo :: Bar -> Baz не было

В идрисе зависимые типы и там задача вывода типа в общем случае неразрешима

В идрисе зависимые типы и там задача вывода типа в общем случае неразрешима

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