Kirill сказано, что это POSIX fork system call

и что создается child Process

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

а ты думал, это просто новый OS поток?

или HEC

ну я скорей о том, чтоб было официально разжёвано

думал-то яж вроде правильно

> Sequences generally behave very much like lists. неплохое начало для вводной информации для Data.Sequence

вопрос, вот было древнее adaptive-list Донса, которое через ассоциированые типы могло подбирать эффективные тип контейнера

в современном мире, что-то лучшее можно сделать? рюкзак/сигнатурки?

рюкзаком такое сильно проще делать, там можно просто Cons {-# unpack #-} !T List писать и все что умеет ghc распаковывать для конкретных типов будет работать, и не надо зиллионы инстансов, но зато сложнее использовать (для каждого типа T "функтор" инстанциировать)

так что если адаптив-списки никто не использовал - тут еще сомнительнее что будут

но Кметт такой Set использует в одном своем проекте, может быть какой-то толк от распаковки он наблюдает

https://github.com/ekmett/coda/tree/master/lib/coda-set

о, herbert operator уже официально

MFW наступил 2018, и я опять бьюсь головой об хакадж не зная что брать для "веб сервисов" и клиента к постгресу.

https://github.com/ekmett/coda/commit/66480f3e3ee4e6cd19bcb3a44b9c8cd698314901

@lonokhov т.к. 0 или т.к. много?

много, но всё не то

как избежать бойлерплейта и серванта?

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

в современном мире, что-то лучшее можно сделать? рюкзак/сигнатурки?

Рюкзак ещё экспериментальный ж?

и?

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

Рюкзак ещё экспериментальный ж?

да

да

Почитал пейпер по нему, оно должно как окамловские mli быть?

@lonokhov а ты solga не смотрел?

Почитал пейпер по нему, оно должно как окамловские mli быть?

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

я тут натянул servant-generic от автора этой сольги на наш жирный сервант

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

Пофиксят надеюсь

выглядит неплохо

не факт, чем больше сабтайпинга при матчинге сигнатур - там тяжелее автоматически функторы применять

в плане ошибок на 100500 экранов

Kirill занятно

но очевидный размер временем компилятора

размен

но вроде некритично

а много кого зацепила проблема с дырой в интеловских процессорах?

оффтоп же?

тю

тут такое проскакиевает порой

пол дня про лисп это видите лисп не офтоп

было бы интересно узнать, повлиял ли патч на скорость работы компилятора :)

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

ну мы потеряли кучу бабок с амазоном на самом деле

а компилятор-то тут причем?

так что по их железяком заметно

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

кстати там какие-то ужасные обсуждения на эту тему были

У меня есть машинка запасная, не пропатченная. Можно на ней скорость компиляции проверить до и после )

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

Интересн

да, вплоть до конца всех высококуровневых ЯП вообще

asm-еры ликуют

хотя и им наверное не стоит

> Sequences generally behave very much like lists. неплохое начало для вводной информации для Data.Sequence

А что, разве не так?

нет, не так

как избежать бойлерплейта и серванта?

А чем плох сёрвант?

нет, не так

ну, как бы и там, и там линейный перебор, не?

бойлерплейт, адовы ошибки, долго компилится, ошибки всегда в плейн текст

ну, как бы и там, и там линейный перебор, не?

линейный перебор чего?

линейный перебор чего?

Содержимого

нет, сиквенс это дерево

нет, сиквенс это дерево

Data.Sequence? это же Finger Tree

да

ERROR: S client not available

чем сортировать, если лень vector-algorithm тащить

Data.List.sort ?

у hashmap нету toAscList :/

что впрочем совсем не удивительно

Там и Ord нету

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

впрочем оказывается мне это не надо

не знаю таких

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

а кто там сейчас?

Dan Doel

верните лещинского :/

ну а по поводу bag есть же multiset очень ок

Лещинский, кстати, вернулся в хаскель сразу в комитете заседать, а вектор что-то развивать не хочет

https://www.stackage.org/lts-10.3/package/multiset-0.3.3

от того же Лаарховена

а что это за новый проект у Кметта - coda?

вскод плагин для хаскелеподобного языка

@A64m_qb0 я замеитл

обругал linear types

верните старого лещинского

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

они ок?

Я правильно понял, что Снойман в докладе "почему хаскель уникален" заявил, что в строгих языках спейсликов нет?

ну что-то такое промелькивало

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

https://ghc.haskell.org/trac/ghc/wiki/UnpackedSumTypes а мне бы вот и packed подошли анонимные суммы

там такой страшный синтаксис, что какой-нибудь Sum2Of10 лучше смотрится

нужно наверное что-то вроде полиморфных вариантов, нет?

Ну я пока смотрю на Union Identity '[Foo, Bar, Baz] от @int_index

Но это That That That This как-то смущает