Everything is fine. Atrocious type is nothing to worry about http://i2.kym-cdn.com/entries/icons/facebook/000/018/012/Screen_Shot_2015-05-12_at_3.31.31_PM.png

wtf?)

по тому что ты скинул https://www.schoolofhaskell.com/user/fumieval/extensible/extensible-records

у него еще такая либа есть https://github.com/fumieval/objective

extensible extensible-records

(of records)

Слоган "Вы можете расширить даже способ расширения рекордов!"

instance Posessive Aggressive where

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

и видимо он далеко зашёл в своём желании сделать чтобы нормально было

https://github.com/fumieval/extensible-benchmarks

было бы смешно если бы это либа для бэнчмарков

расширяемая

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

минутку, а разве в GHC8 их расширениями не починили?

я не знаю. знаю что каждая итерация решения проблемы несёт очередную боль

минутку, а разве в GHC8 их расширениями не починили?

смотря что считать "починили"

на тему зурихака, виза какая нужна?

смотря что считать "починили"

ну эээ нопремер (с позиции ненастоящего сварщика — то, что бросается в глоза) больше не нужны префиксы полей записей

расширением, конечно, но всё же

ну, если такие скромные пожелания к рекордам, то да, с ghc 8.0

о))) как надо эффекты делать https://github.com/safareli/purescript-ef/blob/init/src/Control/Monad/Ff.js

ок, где почитать про каким образом всё ещё недоделаны рекорды в 8.2.2?

ну, я же говорю, это зависит от того, что от "нормальных рекордов" ожидается.

я ненастоящий сварщик, я не знаю

ну эээ нопремер (с позиции ненастоящего сварщика — то, что бросается в глоза) больше не нужны префиксы полей записей

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

по сравнению с 8.0 в 8.2 почти ничего не изменилось, ну кроме того, что есть недоделанный (без сеттеров) ORF, который во время обсуждения пропозала практически сошел на нет, и без объявления пользователем соотв. инстанса вообще не работает

нужно понимать что такого как в пурскрипт не будет

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

нужно понимать что такого как в пурскрипт не будет

не факт, что не будет, но как расширение гхц никто такого не делает

(как библиотеки или плагин для тайпчекера делают, да)

не факт, что не будет, но как расширение гхц никто такого не делает

ну а что на данный момент в ghc 8.2 есть?

ну а что на данный момент в ghc 8.2 есть?

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

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

а где про это?

а где про это?

https://github.com/adamgundry/ghc-proposals/blob/overloaded-record-fields/proposals/0000-overloaded-record-fields.rst

т.е. фактически небольшое подмножество фич библиотеки generic-lens но без необходимости инстанс Generic для рекорда выводить

> funeral doom metal не поскупились на слова в названии жанра

Это довольно консервативный жанр еще

т.е. фактически небольшое подмножество фич библиотеки generic-lens но без необходимости инстанс Generic для рекорда выводить

это как в purescript RowToList и ListToRow?

на тему зурихака, виза какая нужна?

EU любая

это как в purescript RowToList и ListToRow?

нет

нет

https://github.com/justinwoo/records-fields-pairwise#records-fields-pairwise

similar to RowLists in PureScript

ну на дженериках-то можно, имеется в виду что в ORF ничего такого нет

ну на дженериках-то можно, имеется в виду что в ORF ничего такого нет

ну и еще помню смотрел доклад https://youtu.be/aDcp7OmCwBM?list=WL&t=2141

а напомните, плс, адрес живого rust- чатика

поддерживать тайплевел строки в метаинформации дженерики тоже стали с 8.0 так что вот где-то с того релиза фичи для того чтоб рекорды делать есть

наверное, пойду туда сдаваться

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

а напомните, плс, адрес живого rust- чатика

https://t.me/rustlang_ru

поддерживать тайплевел строки в метаинформации дженерики тоже стали с 8.0 так что вот где-то с того релиза фичи для того чтоб рекорды делать есть

Счастье то какое!

А? Что?

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

а что где?

Пришёл всех напугал

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

Ну и ещё и я слоупок

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

это, кстати, для датафреймов все равно невесело, любым такстом-то название геттера быть не может (как в F# каком-нибудь)

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

Нужно просто, чтобы кто-нибудь вёл блог с подборками самого интересного. Типа блога, который в openmw ведут. А перечисление ченджлога это дно, конечно.

вообще чейнджлог у ghc нормальный, там и "самое интересное" отдельно есть, и описание фич

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

мануалы вообще не очень читают

да

а зря..

видос который кидали (где индус докладывает) он как -- годный?

видос который кидали (где индус докладывает) он как -- годный?

тоже интересно кстати

Люди вообще не читают, и это печально. Особенно печально что люди ждут что ты почитаешь и им все за минуту объяснишь. Люди вообще фу.

по новым фичам в гхц каждый год делают виидео с СПЖ (но в этот раз, похоже, на неосновных мероприятиях на icfp ничего не записали)

также есть два раза в год обзоры новых фич в гхц в комьюнитис анд активитис репорт

по новым фичам в гхц каждый год делают виидео с СПЖ (но в этот раз, похоже, на неосновных мероприятиях на icfp ничего не записали)

первые видео же только сегодня появились (на ютубе)

но это-то точно никто не читает

первые видео же только сегодня появились (на ютубе)

а ссылочка есть?

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

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

@elemir90 ты как-то писал, что множество - пара из принадлежности и равенства, но зачем равенство, если (∀ α ∈ A. α ∈ B) ∧ (|A| = |B|) ⇔ A = B или (∀ α ∈ A. α ∈ B) ∧ (∀ α ∈ B. α ∈ A) ⇔ A = B да и как получить мощность множества за конечное время (или в математике это не значения)?

в хаскеле есть стандартная такая функция ? f :: a -> b -> c f a b = a b b

у тебя по сигнатуре один аргумент

а так, ну напиши ее и используй f $$ x = f x x infixr 0 $$ а, или join, точно

такая? > join (+) 2 4