более обобщенно тогда fmap fold . sequence

https://www.codewars.com/kata/folding-through-a-fixed-point

Млин, это для меня слишком сложно

Млин, это для меня слишком сложно

пиши в личку, мб буду направлять

я кстати вроде так и не прошёл её

я кстати вроде так и не прошёл её

откуда вы эти каты берёте? где-то есть список?

codewars же выше

codewars же выше

я просто не регался. там сайт сам каты предлагает?

там есть поиск и список и все такое

каты = задачки на этом сайте

там есть поиск и список и все такое

по рангам

регистрация через github

по рангам

ты все ранги прошёл?:) по Haskell

ты все ранги прошёл?:) по Haskell

ну основные да

немного первого уровня и второго

1 и 2 же основные?

пиши в личку, мб буду направлять

Не надо. Я и с lensmaker не разобрался ещё

немного первого уровня и второго

1 и 2 кю?

1 и 2 же основные?

ну ниже я не увидел смысла

1 и 2 кю?

да

так блин как в этой дурацкой tasty передавать -p

на каждом втором символе пишет что can't parse

https://github.com/judah/pier новая сборочка. для тех, кто любит стакадж, но не стак.

тут недавно и такое было https://github.com/aisamanra/cab

треш какой-то

https://github.com/judah/pier новая сборочка. для тех, кто любит стакадж, но не стак.

но зачем?

> билд-тулза для хаскеля > написана на расте все что вам надо знать о

о чем?

а сами додумайте :)

полиморфная шутка

о программистах на расте?

fmap mappend . sequence есть же что-то готовое для этого?

тип этой штуки такой f :: (Monad f, Monoid b) => [f b] -> f b кажется, что концептуально тут можно просто сделать mconcat, если будет подходящий инстанс instance (Monad f, Monoid m) => Monoid (f m) where mempty = return mempty mappend = liftM2 mappend Это скомпилировалось, но надо проверить законы. Для некоторых стандартных монад такие инстансы впрочем есть instance Monoid a => Monoid (Maybe a) -- Defined in ‘GHC.Base’ instance Monoid b => Monoid (a -> b) -- Defined in ‘GHC.Base’ проверил fmap mconcat . sequence === mconcat на парочке входов — результаты совпали.

https://github.com/lyokha/nginx-haskell-module ?

> билд-тулза для хаскеля > написана на расте все что вам надо знать о

ответочка: транслятор с сишки на раст писали на хаскеле.

https://github.com/lyokha/nginx-haskell-module ?

кстати офигенный проект, он помню на fprog рассказывал

ответочка: транслятор с сишки на раст писали на хаскеле.

который corrode?

да

который corrode?

да, https://www.linux.org.ru/news/opensource/12988948

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

И ещё, какие есть заметные отличия Data.Vector и Data.Array (которые мутабельные)?

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

из пакета vector

там есть мутабельные, storable или unboxed не накапливают санки

из пакета vector

А чем это лучше, допустим, Data.Array.ST?

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

причин использовать array в 2!14 году нету

причин использовать array в 2!14 году нету

Хорошо, буду иметь в виду

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

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

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

омг, что это?

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

У 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 не подходит?

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