Boris
Сейчас всегда 100
Boris
Нашел - TestFramework.TestOptions
timothy
странно, что тут еще нет https://github.com/IntelLabs/flrc . просили еще с 2013 и только сейчас они опубликовали
Igorek
странно, что тут еще нет https://github.com/IntelLabs/flrc . просили еще с 2013 и только сейчас они опубликовали
Что это за компилятор такой?
timothy
timothy
хачкель на стероидах
timothy
http://www.leafpetersen.com/leaf/publications/ifl2013/haskell-gap.pdf
timothy
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
а что про mlton скажете? использовали его?
Max
он в юзабельном состоянии?
Max
ну вон компилятор х-я на нём написали
Евгений
Если ты компилятор штандард ML'я
Max
да
Max
больше mlton-ов не знаю
Евгений
Помнится я лет 7 назад начинал свой functional programming path с него
Max
а почему не со stalin?
Max
я с окамля начинал всё это фп, но mlton тоже смотрел
Евгений
Ну standard ml мне как-то ближе показался. Скимом я тоже интересовался, но скобки чо-то делали меня грустными. Зато мне попалась книжка Харпера "Введение в стандартный ML" и меня обрадовало
Max
скобки да
Max
хуже скобок ничего нет
Max
писать AST голыми руками — так себе
melvin
скобки - это хорошо
Евгений
(скобки (хорошо это))
Евгений
Ну и разработки никакой нет
Anonymous
Он же законченный как по мне
Max
и ошибки все исправлены
Евгений
> законченный ЯП
> 2k17
Евгений
https://www.haskell.org/ghc/
Anonymous
> законченный ЯП
> 2k17
Так ты про яп или компилятор?
ЯП то точно закончен. http://sml-family.org/sml90-defn.pdf
Anonymous
Стандарт полный есть.
Евгений
А тут где стандарт?
При чём тут стандарт? ЯП это типовая система, синтаксис и всё такое. Есть haskell 2010, но это бледная тень GHC
Евгений
Скоро зависимые типы унылым мейнстримом станут, а они говорят, что ЯП законченный
Anonymous
Скоро зависимые типы унылым мейнстримом станут, а они говорят, что ЯП законченный
Да, Standard ML законченный. Все что дальше, это уже новые языки.
Мерль
https://github.com/IntelLabs/flrc
Нурлан
Хочу задать странный вопрос. Скажите кто знает как лучше сделать. Мне нужно создать огромный многомерный массив в котором только 0 или 1. Написал функцию но использовал тип Double. Функция работает, да только вот массив не влезает в память. Самое очевидное перевести все в Int8, а есть ли что-то еще более легковесное по занимаюемому пространству в памяти, может Bool поможет?
Anonymous
http://roaringbitmap.org
Anonymous
Хм, они убрали ссылку на версию на Haskell.
https://github.com/thsutton/rawr
https://github.com/thsutton/leonine
Нурлан
гугл нахдит инфу, что это представление для изображений, это то?
Anonymous
Это сжатый bitset, где можно выставлять 1 на нужных индексах.
Нурлан
спасибо, буду разбираться
Нурлан
конечно, я думал, что это все можно проще сделать
Boris
Массив - это List или Array? Первый во все стороны неэффективен, но с ним можно лениво работать
Нурлан
это Array
Нурлан
Я вычисляю куб 2 x 1000 x 1000 x 10000 и эта хрень не влезает в память, казалось бы не так уж много, но ...
SoulSilence
SoulSilence
или я чего-то не понимаю
Нурлан
нет конечно только 4
Влод
я думал там измерений будет много
Нурлан
я думал там измерений будет много
по хорошему надо на 4 измерения больше, но приходится от чего-то отказываться
SoulSilence
по хорошему надо на 4 измерения больше, но приходится от чего-то отказываться
посчитай сначала сколько это все в памяти будет. даже если не держаться все вычисления в озу, а суметь выдать это в файловый вывод тут получается гб 160, если я корректно насчитал
SoulSilence
если реально есть такая потребность вероятно стоит арендоавть ненадолго сервер
Нурлан
Дима
Вероятно, можно не держать в памяти сразу все данные
SoulSilence
8 бит подразумевал. допустим ты сможешь корректно написать алг испольузуя на элемент куба 1 бит, получится 20гб по озу, но если сохранить вывод то все равно получится много больше
SoulSilence
считай, в общем
Нурлан
Вероятно, можно не держать в памяти сразу все данные
Тут может я архитектуру программы не верную выбрал. По этому кубу постоянно идут вычисления. Для этого и создавал его, что бы к нему обращаться а не вычислять.
SoulSilence
Тут может я архитектуру программы не верную выбрал. По этому кубу постоянно идут вычисления. Для этого и создавал его, что бы к нему обращаться а не вычислять.
Надо посмотреть на всю задачу. Возможно сервера с 64гб при корректной реализации хватит
Alexander
@newrlan нету Int8
Yurii
куб 2 x 1000 x 1000 x 10000 элементов (это 2* 10^10)
* на размер Boolean (пусть 1 Байт)
делим на 1024 (в МБ) и ещё на 1024 (ГБ)
= 19073 ГБ (где я ошибся?)
Alexander
ну есть но он тоже размер поинтера жрёт
Alexander
можно в принципе Storable.Vector
SoulSilence
Yurii
да
SoulSilence
ну, я знаю что не десятичное, но я про порядок
Yurii
кило забыл
Yurii
тогда "всего" 74 ГБ нужно, чтобы эту штуку в памяти держать
Vasiliy
если значения 1 или 0, можно на каждое выделить один бит, 2^35 - это 34359738368, хватает
Vasiliy
2^35 битов = 2^32 байт = 4 гигабайта
Alexander
нет, но можно сделать простую обёртку