
Dmitry
12.04.2017
09:49:30
два гигабита хаскел закрывате бодрячком
на виртуалке. через UDP

Alexey
12.04.2017
10:01:52
столкнулся с проблемой запуска тестов через stack test
у меня есть стандартный stack проект. код в app/, тесты в test/
в .cabal в test-suite секции прописана зависимость от моего "бинарника". stack ghci запущенный из test/ определяет модули которые я импортирую в Spec.hs и позволяет вызвать main и прогнать тесты.
Однако, stack test падает: Failed to load interface for ‘Handlers’. 'Handlers' — это мой модуль который я тестирую.
видимо, нужно что-то дописать в .cabal, но я не смог нагуглить что.
подскажите, пожалуйста, что делать?
Ммм. У меня, вот, тесты, бенчи и бинарники зависят от библиотеки. То есть общий код в library. И отдельные екзешники — тестовые, бенчевые и рабочие зависят от либы. Так работает. А чтобы тест зависел от екзе, не пробовал.

Alexander
12.04.2017
11:33:54

Google

Misha
12.04.2017
11:34:32
я знаю только https://hackage.haskell.org/package/stm-containers
но там все достаточно такое basic

Alexander
12.04.2017
11:35:06
я обычно по месту пишу
если не слишком умное надо
не, что-то ещё было
а может там не STM а просто non-blocking структуры
те же ребята что unagi-chan делали вроде

Misha
12.04.2017
11:35:59
вот скорее non-blocking

Alexander
12.04.2017
11:37:03
самое что похожее у меня однопоточное было
мне нужно было хитрый фильтр рисовать
чтобы всякие всплески событий ужимал
т.к. сишная аппликуха могда генерить их тысячами в секунду
причем 500 событий и 500 их отмен в каком-то порядке

Google

Misha
12.04.2017
11:44:35
ну я не ожидаю каких-то больших нагрузок, скорее там может быть просто сравнительно большой объем (единицы гигабайт наверное) и хочется максимально положиться на STM для корректности, пусть даже с потерей перфоманса. Так что наверное TVar (Data.Heap a) пойдет.
ну и еще в идеале надо запилить STM.IxSet
но тут я не потяну пока

Alexander
12.04.2017
11:50:09
было что-то такое уже
TStore или как-то так
не знаю production ready или нет

Misha
12.04.2017
11:51:02
TCache наверное

Alexander
12.04.2017
11:51:14
наверное

Misha
12.04.2017
11:51:32
но он вроде как с претензией на замену acid-state
хотя я не подробно не смотрел
и бенчмарков не видел

Kirill
12.04.2017
11:54:05

blkmrkt
12.04.2017
12:06:23

Boris
12.04.2017
13:05:54
Есть ли вменяемые реализации дирамид? Те, которые находил очень бедные
Пришлось свою накатать, но она специфичная получилась
И еще - кто нибудь юзает quickcheck вместе с test-framework?
Там можно указать число прогонов по каждому тесту?
Сейчас всегда 100
Нашел - TestFramework.TestOptions

Timothy
13.04.2017
12:33:54
странно, что тут еще нет https://github.com/IntelLabs/flrc . просили еще с 2013 и только сейчас они опубликовали

Google

Igorek
13.04.2017
12:40:52

Timothy
13.04.2017
12:42:37
хачкель на стероидах
http://www.leafpetersen.com/leaf/publications/ifl2013/haskell-gap.pdf
https://www.reddit.com/r/haskell/comments/45q90s/is_anything_being_done_to_remedy_the_soul/
https://www.reddit.com/r/haskell/comments/1jh4iv/the_intel_labs_haskell_research_compiler_pdf/
https://www.reddit.com/r/haskell/comments/4hokvy/is_there_any_way_to_get_my_hands_on_intels/

Max
13.04.2017
12:56:20
а что про mlton скажете? использовали его?
он в юзабельном состоянии?

Евгений
13.04.2017
13:05:29

Max
13.04.2017
13:05:45
ну вон компилятор х-я на нём написали

Евгений
13.04.2017
13:05:46
Если ты компилятор штандард ML'я

Max
13.04.2017
13:05:50
да
больше mlton-ов не знаю

Евгений
13.04.2017
13:06:22
Помнится я лет 7 назад начинал свой functional programming path с него

Max
13.04.2017
13:06:39
а почему не со stalin?
я с окамля начинал всё это фп, но mlton тоже смотрел

Евгений
13.04.2017
13:14:28
Ну standard ml мне как-то ближе показался. Скимом я тоже интересовался, но скобки чо-то делали меня грустными. Зато мне попалась книжка Харпера "Введение в стандартный ML" и меня обрадовало

Max
13.04.2017
13:14:53
скобки да
хуже скобок ничего нет
писать AST голыми руками — так себе

melancholiac
13.04.2017
13:17:28
скобки - это хорошо

Google

Евгений
13.04.2017
13:18:38
(скобки (хорошо это))

eugene
13.04.2017
13:18:57

Евгений
13.04.2017
13:20:18
Ну и разработки никакой нет

eugene
13.04.2017
13:20:55
Он же законченный как по мне

Max
13.04.2017
13:21:26
и ошибки все исправлены

Евгений
13.04.2017
13:21:36
> законченный ЯП
> 2k17

eugene
13.04.2017
13:21:44

Евгений
13.04.2017
13:21:52
https://www.haskell.org/ghc/

eugene
13.04.2017
13:22:31
Стандарт полный есть.

Евгений
13.04.2017
13:24:53
А тут где стандарт?
При чём тут стандарт? ЯП это типовая система, синтаксис и всё такое. Есть haskell 2010, но это бледная тень GHC
Скоро зависимые типы унылым мейнстримом станут, а они говорят, что ЯП законченный

eugene
13.04.2017
13:28:43

Мерлин
13.04.2017
18:04:31
https://github.com/IntelLabs/flrc

Kit
14.04.2017
10:49:59
Хочу задать странный вопрос. Скажите кто знает как лучше сделать. Мне нужно создать огромный многомерный массив в котором только 0 или 1. Написал функцию но использовал тип Double. Функция работает, да только вот массив не влезает в память. Самое очевидное перевести все в Int8, а есть ли что-то еще более легковесное по занимаюемому пространству в памяти, может Bool поможет?

Google

eugene
14.04.2017
10:50:45
http://roaringbitmap.org
Хм, они убрали ссылку на версию на Haskell.
https://github.com/thsutton/rawr
https://github.com/thsutton/leonine

Kit
14.04.2017
10:53:47
гугл нахдит инфу, что это представление для изображений, это то?

eugene
14.04.2017
10:55:32
Это сжатый bitset, где можно выставлять 1 на нужных индексах.

Kit
14.04.2017
11:01:08
спасибо, буду разбираться
конечно, я думал, что это все можно проще сделать

Boris
14.04.2017
11:42:23
Массив - это List или Array? Первый во все стороны неэффективен, но с ним можно лениво работать

Kit
14.04.2017
11:42:40
это Array
Я вычисляю куб 2 x 1000 x 1000 x 10000 и эта хрень не влезает в память, казалось бы не так уж много, но ...

Maks
14.04.2017
11:48:16
или я чего-то не понимаю

Kit
14.04.2017
11:49:12
нет конечно только 4

? animufag ?
14.04.2017
11:50:30
я думал там измерений будет много

Kit
14.04.2017
11:51:42