http://haskelltools.org/

вот надо ждать

можно будет нормально жить

https://commercialhaskell.github.io/intero/

и вот это оч круто выглядит

но не охота на emacs перезжать

но не охота на emacs перезжать

Ну его в жопу! Еще одно тормозное чудо. Мне в sublimetext удобно и все нравится. Видимо, судьба на нем остаться.

я в виме сижу

и даже не пробовал emacs

и даже не пробовал emacs

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

я с эрлангом не работал

Но как же он меня заебал!

https://commercialhaskell.github.io/intero/

Надо это на spacemacs прикрутить?

http://www.haskellforall.com/2014/03/introductions-to-advanced-haskell-topics.html

вот кстати не плохая статейка

для начинающих

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

вот кстати не плохая статейка

Ага, утащил себе в блокнотик. Спасибо

вот эти 20 задачек еще вчера сделал

http://blog.tmorris.net/posts/20-intermediate-haskell-exercises/

крутые:)

с последней помучался чуток

даже не выдержал

пошел пересмотрел на stepic видео про монаду state

вроде понял

но пока не начала ставить _

не разобрался

_ - вообще отличная штука

В Эрланге без нее никуда :)

Как работать со списками длиннее, чем maxBound :: Int ?

Data.List.genericLength

А как же стандартная библиотека? Code reuse? Ребята, которые над ней горбатились ведь могли это время прожить. Хочу пользоваться плодами их труда

и много задач у тебя где длина списка не вмещается в 64 бита, чтобы по умолчанию платить overhead работы с gmp?

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

из того, на чем я писал

Java, Go - там длина списков тоже возвращается int

в Go это еще скорее всего будет int64

а в джаве - это даже не лонг

там это будет наверное int32

или 32 или в зависимости от архитектуры

в haskell в зависимости от архитектуры, на 32 бита - 32, на 64 - 64

в го точно так, а в джаве уже не помню :(

А в божественной сишечке вообще нет нативного типа для списков :)

к слову я уже час жду как посчитается length (1:replicate maxBound 0)

я не знаю дождусь ли я к концу этой недели

впрочем достаточно length (replicate ((maxBound `div 2) + 1) 0`

к слову я уже час жду как посчитается length (1:replicate maxBound 0)

Еще бы! Там же, насколько я помню, офигенный алгоритм с полным обходом всех элементов списка.

а что ещё возможно для linked list?

хранить инфу о длине в каждом узле?

да и это не сработает

т.к. тогда не построить лениво список

хранить инфу о длине в каждом узле?

Ну да, в хаскеле иначе и не сделаешь.

да в общем-то нигде не сделаешь нормально

дело не в хаскеле

а в линкед листе наверное

принципиально, структура данных такая

В Си и асме можно :)

как?

там же не линкед лист будет

Посчитать выделенную память и поделить на размер одного элемента?

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

это linked list же

Хм...

Если делать односвязный список на указателях, действительно никак.

Что-то туплю

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

ERROR: S client not available

в си-подобных яп

и все их ругают

ведь как control structure они уже не работают

Ну да, структура не самая удобная

fusion нету

deforestation нету

ну O(1) push, O(1) pop причем очень дешевые

А вот интересно (память молчит по этому поводу), насколько эффективно будет сделать список в сишке на базе массивов?

Кажется, что-то подобное я читал давно, но вообще не могу ничего припомнить.

Сразу понятно, что проблемы с вставкой и удалением элементов. Зато быстрый поиск?

Не, бред какой-то. Уж лучше тогда массив и брать как структуру.

насколько я знаю, списки обычно реализуются на базе структуры dynamic array (по крайне мере в python, c# это так), там в основе лежит массив.

О как!

то, что в java arraylist знаешь?

ну и в прочих

внутри массив, место кончается выделяем 2x памяти и копируем

доступ О(1), добавление амортизированное О(1)

товарищи, а я насчет stack хотел спросить, я же правильно понимаю что мне достаочно на репозиторий stack.yaml положить и у меня будет redproducable build везде?

for some definition of reproducible

в большинстве случаев - да

у меня вот такой тип есть data TDEntry = Key String | DSN { dbType :: String , db :: Maybe String , host :: Maybe String , port :: Maybe String }

а я хочу его таким сделать: data TDEntry = Key String | Driver DSN | DSN

ну и DSN это такой же рекорд

наверное это уже через чур?:)

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

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

Ну?

там вот такой тип

lines' :: Parser [String]

Что-то мало параметров

ну вот