работа пошла Марлоу на пользу: > Increasing the nursery size reduces the cost of GC overall (caches notwithstanding), so the numbers might look good even if you set the default to 20MB on a machine with a 1MB cache. (но вывод о том, что дефолтный A должен быть побольше далее все равно не следует)

Почему такая запись называется бесточечной? fn = ceiling . cos . max 50

> The term originated in topology, a branch of mathematics which works with spaces composed of points, and functions between those spaces. So a 'points-free' definition of a function is one which does not explicitly mention the points (values) of the space on which the function acts. In Haskell, our 'space' is some type, and 'points' are values.

потому что под точкой понимают не символ точки, а точку, в которой функция определяется, здесь это можно переписать как: fn x = ceiling (cos (max 50 x))то есть ты определил fn в точке x переписал через композицию, сделал эта-редукцию -- получил бесточечную запись

Почему такая запись называется бесточечной? fn = ceiling . cos . max 50

Вокруг этой записи много курьезов. Бесточечность почему-то вовлекает точки. А в английском - point-free заменяют на pointless, намекая на то, что нафиг оно надо вообще.

Стало понятней. Спасибо.

Называли бы комбинаторной, было бы понятнее

Почему такая запись называется бесточечной? fn = ceiling . cos . max 50

можно определять f x = g x (подразумевая for all x) а можно f = g Первое — это поточечное равенство (для любой точки x), второе - бесточечное. чтобы записывать поточечное f x = g (h x) в бесточечной форме f = g . h, нужна операция композиции (.) и другие функции высшего порядка. А то что сама композиция обозначается точкой — это просто забавный казус, не более. В математике она обозначается не точкой, а кружочком, например.

в sml-е еще

как все бросились про пойнтфри объяснять. а как сложное что спросят - и молчат все

😜 Так естественно же.

Что вы так сложно объясняете. f x = g x - вызываем функцию g от того же аргумента, что и функцию f. Фактически, передаем дальше. f = g - даем другое имя функции g. Ну а раз другое имя того же самого, значит, и аргументов столько же. То есть, запись f x = g x - это тоже "задаем другое имя функции" Но прелесть в том, что в Haskell между этими вещами - вызовом функции и заданием имени - нет разницы. И это идет еще из лямбда-исчисления, которое можно понимать в двух смыслах: либо как уравнение, либо как вызов функций

мне показалось или первая самая цитата полностью все раскрывала?

Кто общался с админами хакаджа, они как, обычно, долго отвечают?

Кто общался с админами хакаджа, они как, обычно, долго отвечают?

Пулреквесты быстро ревьювят

@s_ivanov вроде от вопроса зависит

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

Два раза писал даже

может нужно не по почте связываться

хм.. они эту фигню не убрали ещё?

нет, так и ограничивают новичков

жестоко

cborg Serialise vs ByteString.Lazy и свой тайпкласс для рпц?

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

LBS - поидее ты не ограничиваешь человека в выборе

но хз

с другой стороны ты не можешь сделать хорошие политики записи

Они это убрали и тут-же начались загрузки говна. Пришлось обратно вернуть.

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

А в чём проблема с hashtables?

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

тормозные

они побыстрее на 8.2 кстати

но все равно тормозят

Гм, гм, а как с ними сравнится unordered-containers? Там не хеш-таблицы, а деревья, насколько я понял.

еще в разы тормознее, дерево же

особенно при дефолтных настройках A

А что бы такое запользовать гетерогенное для хранения данных по ключу? HMap я уже запользовал, выигрыш колоссальный. Может, можно что-то еще придумать? Или если пойти через Typeable / Data, можно ли сэкономить, запихнув в гомогенную мапу?

а сколько значений надо хранить?

Это зависит от того, как используется либа (STM). Но стоит расчитывать на базовый сценарий с количеством TVar, не превышающих сотню

В крайнем случае можно подумать над несколькими рантаймами для разных сценариев. Моя либа, в принципе, позволяет это сделать, только немного передизайнить контекст нужно будет (что вообще говоря в планах)

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

а ключи какие?

Data.Unique

Но, кстати, тоже вопрос, что лучше подходит для идентификации в пределах программы.

это очень плохо

Integer же

А что с ними? Да, там внутри есть собственная синхронизация

Integer же

Длинный тип? Тогда, конечно, не очень

а мап может быть мутабельным?

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

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

Круть, спасибо!

ну, можно для числа порядка 10 просто в массиве искать без таблицы вообще

но ощутимая разница, конечно, будет для больших значений, не для 100

ghc-шная ж тормозная какая-то

либо я её криво использовал

c ccall unsafe нормально же было

разве?

блин надо бы найти где я мерял

на другом ноуте точно

https://gitter.im/ruHaskell/forall?at=576302d963ea0987306bb7b2

пасиб

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

@graninas хотя если тебе код надо могу и сейчас врубить

заодно на гитхаб залью

А что бы такое запользовать гетерогенное для хранения данных по ключу? HMap я уже запользовал, выигрыш колоссальный. Может, можно что-то еще придумать? Или если пойти через Typeable / Data, можно ли сэкономить, запихнув в гомогенную мапу?

HMap у кого выигрывает?

как я понял у аэсона, т.е. фактически анордеред-контейнерс у анордеред-контейнерс

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

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

unordered-containters+сериализация медленнее unordered-containtrs

@graninas хотя если тебе код надо могу и сейчас врубить

Не горит, спасибо

HMap у кого выигрывает?

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

unordered-containters+сериализация медленнее unordered-containtrs

сериализация медленнее её отсутствия

как я понял у аэсона, т.е. фактически анордеред-контейнерс у анордеред-контейнерс

Да, это тоже

сериализация медленнее её отсутствия

точно?

хм.. да, скорее всего так

точно?

не уверен, надо бенчмаркать

я просто вывел следствие из твоей реплики

все верно, она именно про это следствие и была

@A64m_qb0 я кстати в твиттере сделал опрос про ghc user guide, может человек 20 ответят

я бы ещё про документацию base сделал