у пюрскрипта походу сертификат закончился

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

[][+[]]+[] "undefined"

ясно

Prelude> "" == [] True

default signatures же

точнее как это правильно зовется

"" это сахар для []

в общем ghci проблемы

Prelude> "" == [] True

String = [Char]

некорректная аналогия

[] :: [a] "" :: [Char]

для строк [] это "", для любого типа - ошибка типов

String = [Char]

Кстати, почему Show для [Char] выглядит не так же, как для [Int], например?

потому что инстанс

то есть можно как в крестах

ЧАСТИЧНЫЕ СПЕЦИАЛИЗАЦИИ шаблона?

можно (это опасная штука только), но тут оверлап инстансов не используется

showList для Char

но мысль определять типы по их show интересна

отдает php или TCL

Кто шарит JS? Почему вот это вообще работает? ++[0][0] === 1

выбираем нулевой элемент из массивас одним элементом - нулем и инкрементим

это даже и не жс специфика

Да, это понятно. Но вот только ++ 0 не работает

это тоже не жс специфика

[0][0] это референс

[0][0] это референс

Точно. Я просто решил что оно вычисляется в 0, а потом мы делаем ++ 0.

Но это действительно реф же :) Спасибо.

https://twitter.com/paf31/status/933817758575337474 :D

https://discuss.ocaml.org/t/a-new-list-map-that-is-both-stack-safe-and-fast/865/2

https://twitter.com/paf31/status/933817758575337474 :D

so eager..

mutable!)

это следует

все кто eager для быстрой работы со списками делают страдания и mutability under the hood это вполне себе вариант у них

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

вектора-то одинаковые

новая окамловская-то немутирующая

но имплементация, конечно, размером чуть ли не с блогпост про строгость и нищету списков. ~230 LOC

и тут внезапно https://github.com/purescript/purescript-lists/pull/135/files

mix unrolled and reverse map это как в джейнстритовском мапе что ли?

А хачкельный паттернматчинг умеет в аналог tr? Чтобы я символы из одной строки заменил на соответствующие символы из другой строки, а остальное _ -> _

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

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

ребят, какой синтаксис у регулярок Text.Regex.[что угодно] для capture named group

в доках любого бекэнда разговоры про поддержку posix, перепробовал все варианты отсюда https://www.regular-expressions.info/refext.html не идёт, жалуется на кривую регулярку

на какую?

в смысле, какой именно модуль на какую конкретно ругается?

*Text.Regex.TDFA> "/foo/bar/1" =~ "\\/foo\\/bar\\/(.+)" :: [[String]] [["/foo/bar/1","1"]]

так ок

Text.Regex.TDFA> "/foo/bar/1" =~ "\\/foo\\/bar\\/(?P<baz>.+)" :: [[String]] *** Exception: Explict error in module Text.Regex.TDFA.String : Text.Regex.TDFA.String died: parseRegex for Text.Regex.TDFA.String failed:"\/foo\/bar\/(?P<baz>.+)" (line 1, column 14): unexpected "?" expecting empty () or anchor ^ or $ or an atom CallStack (from HasCallStack):

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

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

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

я вот сюда смотрю https://hackage.haskell.org/package/regex-tdfa-1.2.2/docs/Text-Regex-TDFA.html

на приведённом сайте - https://www.regular-expressions.info/refext.html - к POSIX отношение, насколько я понимаю, не имеет ни один пример

если вы хотите парсить какой-то свой лютый синтаксис - берите megaparsec

если вам нужно расковырять ссылку - берите network-uri

в любом случае лучше обойтись без регекспов :D

я взял из первой таблички отсюда https://wiki.haskell.org/Regular_expressions , что оно вроде как самое то

в любом случае лучше обойтись без регекспов :D

ну это не серьёзно, потом будет лучше обойтись без строк, без функций и ещё чего-нибудь)

про любой случай я, может, перегнул

Vasiliy https://hackage.haskell.org/package/regex-tdfa-1.2.2/docs/Text-Regex-TDFA-Common.html в CompOption точно что-то есть про captureGroups

но почти всегда есть альтернативы лучше регекспов

парсек? )

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

парсек? )

мегапарсек!

atto

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

Не, сначала с регулярками разобраться бы

да чо с ними разбираться

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

А есть здесь организаторы fpconf? Кого можно пнуть, чтобы они глянули письмо на почте?

А есть здесь организаторы fpconf? Кого можно пнуть, чтобы они глянули письмо на почте?

@vorona_karabuta

Именованные группы находятся сильно за пределами POSIX-регулярок

Именованные группы есть в PCRE (их туда из питона утащили, внезапно (я не знал))

а new-upload в кабал уже завезли?

Uploading dist/distributed-process-async-0.2.4.1.tar.gz... Package successfully uploaded as candidate. You can now preview the result at 'https://hackage.haskell.org/package/distributed-process-async-0.2.4.1/candidate'. To publish the candidate, use 'cabal upload --publish'.

наконец-то зоделали

[qnikst@nixos:~/workspace/tweag/distributed-process-systest]$ cabal new-test Resolving dependencies... cabal: Distribution/Client/TargetSelector.hs:(355,7)-(356,55): Irrefutable pattern failed for pattern t' : _

качественный софт говорили они...