а применять в инфиксной

но синтаксис [] перегружаемый

ну как бы data List a = Nil | a `Cons` (List a)

ну не настолько чтобы в конструкторе написать [a] ?

В общем. Спасибо. Я то думал, что тайпконструкор может иметь вид Xx*, где x - [a-zA-Z], X - [A-Z]

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

В общем. Спасибо. Я то думал, что тайпконструкор может иметь вид Xx*, где x - [a-zA-Z], X - [A-Z]

тайпконструктор может вообще вид любого оператора иметь (ограничения как на конструктор с него сняли где-то в 7.6-7.8) конструктор должен или с заглавной буквы или с : начинаться.

зажкл, что только :

никаких юникодов : (

Ну, я так понимаю ограничения такие же, как на оператор, но должен начинаться с :

вроде да

Т.е. (:aaa:) - не валидно

да

Интересно. Спасибо. Не знал. :)

Получается, что [] - тоже не валидное имя для конструктора :)

А, что такое [a], вообще ХЗ.

Магия... Как она есть.

[] спецсинтаксис, конечно, но можно объявить свой список, для которого он доступен (он перегружаемый), вот свои туплы не написать

да, [] - магия

собственно что я и написал сначала

(почти сначала)

можно использовать для всего что умеет fromList

А можно, пример, пожалуйста. А то я, видать, это тоже упустил.

https://ghc.haskell.org/trac/ghc/wiki/OverloadedLists

data Tuple a = Tuple a a instance FromList Tuple where fromList [a,b] = Tuple a b fromList _ = error "I'm sorry"

> import qualified Data.Set as Set > :set -XOverloadedLists > [1,2,3] `Set.intersection` [] fromList []

если честно вживую я не то, чтобы много видел такого, с Set да Vector если только

в паттернах тоже работает > case Set.empty of [] -> "OK" "OK"

λ> pattern a :- b = (a, b) λ> ["input" :- 42, "output" :- 24] :: Map String Int

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

/stat@combot

combot.org/chat/-1001043143583

лучше бы от отсутствия нормальных словарей страдали

глядишь, кто-нибудь и накостылил бы

А что не так с hashmap?

тормозят?

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

так что там ссылок в 16 раз больше, чем могло бы быть, что в случае большого кол-ва элементов совсем не весело

В том смысле, что он хранит массив ссылок на элементы?

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

также, если не ограничиваться словарями, никто пока RRB-дерева не накостылил, хотя это модно-молодежно сейчас

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

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

Убогий разве? Я думал GC норм. Можно забыть.

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

в гхц это не так

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

"стоп-мир", это глобал лок так в гц называется?

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

Давай лучше текстом, чтобы каждый любовался своим шг

Раньше в @ц.ж.р прямо в топике были ссылки на пейстбины

я думал wgetpaste у всех стоит

-

кто-нибудь из he research запилите нам декодилку картинок

hex

"стоп-мир", это глобал лок так в гц называется?

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

> остановить все потоки Ну это и есть глобал лок

А чо, без него никак вообще?

никак

исхитряются по разному, чтобы уменьшить фазы stop-the-world, но они не избежны

ну и тут трейд офф footprint-throughput-latency

в общем-то в haskell тоже throughput oriented gc

с весьма прикольными штуками, но latency страдает, т.к. major gc stop the world и при чем хорошо так

вон гоферы за это haskell не любят

а задержки победили на больших хипах?

исхитряются по разному, чтобы уменьшить фазы stop-the-world, но они не избежны

А неизбежность доказана? При таких-то, таких-то условиях построение global-lock-free gc требует оракула, например. Типа есть пейпер, в котором хотя бы базовая конва написана доказательства написана?

задержки есть, есть методы улучшеиня, много, но для low latency это не будет работать все равно

А в статичный байткод это не компилится? Без GC?

ну условно какой-нибудь хип в 30гб -- какие там задержки будут?

там нужны инкрементальные сборщики, которые будут тормозить и unbounded, но зато low latency

@quetzal на fby у марлоу спроси если там будешь

А неизбежность доказана? При таких-то, таких-то условиях построение global-lock-free gc требует оракула, например. Типа есть пейпер, в котором хотя бы базовая конва написана доказательства написана?

да можно сделать без задержек

у меня таких программ не было, точнее было, но если там 30Гб то все плохо

mark and sweep

на fby не буду ) в москве вот на fpconf наверн буду

на fpconf не будет marlow

а на fby то он будет?

просто профит не большой

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

да почему 30 плохо? сейчас на относительно дохлых машинах памяти 128 и больше

не знаю плохо ли, у меня все что нужно вмещалось <10