но если до этого дойдешь, то увидишь

у вектором могут быть проблемы со сверхспециализацией

омг, что это?

на там он инлайнит бывает слишком много, файл раздувает и все тормозит

У Array приколько, что можно всякими тюплами и енумами индексить на автомате

Полезно, наверное, только в олимпиадках

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

чуть больше бойлерплейта только

https://128.84.21.199/pdf/1805.06798.pdf

оффтопик

@qnikst, я уже раз 10 перепроверил, но похоже в мастере network-transport-tcp лежит не та версия, что на хакадж загружена. https://github.com/haskell-distributed/network-transport-tcp/blob/master/src/Network/Transport/TCP.hs#L577

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

оок

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

что несказанно бесит

я не могу придумать этому адекватное имя

bind хех ну и концептуально это он и есть "поле зависит от результата чтения другого поля"

bind хех ну и концептуально это он и есть "поле зависит от результата чтения другого поля"

да, смахивает

/stat@combot

combot.org/chat/-1001043143583

А нет расширения для dict comprehension, чтоб как в питоне можно было?

А нет расширения для dict comprehension, чтоб как в питоне можно было?

есть

fromList [ (k,v) | ...]

с OverloadedLists можно будет убрать одно слово

с OverloadedLists можно будет убрать одно слово

но сломается что-нибудь ещё

fromList [ (k,v) | ...]

ну да, и ещё внутри часто будет нужен toList или keys... А так конечно можно

ещё можно написать функцию (-:) = (,), чтобы спрятать скобки [k1 -: v1, k2 -: v2]

ещё можно написать функцию (-:) = (,), чтобы спрятать скобки [k1 -: v1, k2 -: v2]

неприличный значок, не пройдёт ревью

неприличный значок, не пройдёт ревью

Все будут думать, что это кусок пролога?

ещё можно написать функцию (-:) = (,), чтобы спрятать скобки [k1 -: v1, k2 -: v2]

perfect 👌

неприличный значок, не пройдёт ревью

придумай любой другой

скажут, что скалист ещё

придумай любой другой

вот такой можно ещё λ> fromList [1 ~> 1, 2 ~> 4, 3 ~> 9] fromList [(1,1),(2,4),(3,9)]

вот такой можно ещё λ> fromList [1 ~> 1, 2 ~> 4, 3 ~> 9] fromList [(1,1),(2,4),(3,9)]

теперь точно скажут, что скалист

Wait, натуральная трансформация из 1 в 2?

знать бы ещё, что за функтор такой 2

по аналогии это должно быть 1 + 1

типа data 2 a = 2 Bool a

^ опять ботаны шутят... А я тем временем добавил короткий алиас для fromList, и получилась вообще красота dct [1 ~> 1, 2 ~> 4, 3 ~> 9]

Почему не dict?

можно вообще d

а если pattern a :- b = (a, b) то ещё и в обратную сторону будет работать

что у нас нынче с сабтайпингом? open-union адо брать, vinyl или ещё что-то?

от Влада норм пакет был, винил тоже норм только тормозной

как найти на хакадже "от влада"?

там все пакеты автора есть

ещё бы знать какому из авторов соответствует влад.. протыкал в общем списке четырёх и не нашёл

https://hackage.haskell.org/user/int_index

что у нас нынче с сабтайпингом? open-union адо брать, vinyl или ещё что-то?

А самому по принципу data types a la carte не подходит?

есть либы с ними, но они были с адским апи

что черт ногу сломит

https://hackage.haskell.org/package/union

этот пакет

есть либы с ними, но они были с адским апи

Апкаст с обязательными декларациями типа?

но это не совсем сабтайпинг, сабтайпинг по структуре это все же винил и товарищи

я вообще не осилил нормально что-либо с ним писать

нужно 2 мозга иметь

https://github.com/target/row-types/

https://hackage.haskell.org/package/union

Выглядит дико. И потом, в Хаскелле разве есть type universe?

а ещё гист от клапауций есть (на имплиситах)

Выглядит дико. И потом, в Хаскелле разве есть type universe?

вроде вполне стандартное решение; а/что/где type universe

вроде вполне стандартное решение; а/что/где type universe

Из доки: A union is parameterized by a universe u, an interpretation f and a list of labels as

необновленные доки?

u - кайнд

as :: [u]

universe тут в этом смысле

кстати вопрос - чем чревато, что nix-build собирается с одной версией cabal а в nix-shell запускается с другой?

не снесет ли от этого крышу ghc-mod или еще чему-то похожему?

А самому по принципу data types a la carte не подходит?

это мысля... а готовой реализации :+:, `⊗`и прочих нет?

хаскелю бы Variant/VariantF как в пурсе

ну и рекорды как в пурсе)

ну и рекорды как в пурсе)

С FieldNamePuns, что ли?

С FieldNamePuns, что ли?

row polymorphism

С FieldNamePuns, что ли?

нет

это мысля... а готовой реализации :+:, `⊗`и прочих нет?

http://hackage.haskell.org/package/compdata

ну тогда бы сам row polymorphism, если он конечно так уж сильно нужен

http://hackage.haskell.org/package/compdata

есть еще compstrat

есть еще compstrat

Тупо нагуглил

ну тогда бы сам row polymorphism, если он конечно так уж сильно нужен

у Кметта помню был язык с этим)

вроде как он полноценно эмулируется через тайплевел-списки с семействами для констрейта на поиск мебмера

Тупо нагуглил

есть презентация от типа, что написал compstrat