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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

как?

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

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

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

это linked list же

Хм...

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

Что-то туплю

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

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

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

ведь как 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]

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

ну вот

--pDSN :: Text.Parsec.Prim.ParsecT String () Data.Functor.Identity.Identity ([Char], [Char]) pDSN :: Parser (String, String) pDSN = do string "dsn" equalsSign string "dbi:" dbType <- many (noneOf ":") char ':' --dbInfo <- pDBInfo return (dbType, "")

то что выше это мне GHC вывел

GHCMod

а вон я ниже написал

и оно компилируется

я SO увидел в коде:)

сам не поверил

Сейчас бы еще объяснение, почему так выходит.

Какая-то маскировка типов?

это может @qnikst нам поможет:)

А что?

вот код

--pDSN :: Text.Parsec.Prim.ParsecT String () Data.Functor.Identity.Identity ([Char], [Char]) pDSN :: Parser (String, String) pDSN = do string "dsn" equalsSign string "dbi:" dbType <- many (noneOf ":") char ':' --dbInfo <- pDBInfo return (dbType, "")

закоментированная строка первая

тип который GhcMod вывел

после него я написал тип руками

и то и то компилится

мы с @DenisLebedev не понимаем как так это просходит:)

А что не так? Он парсект или какой там type раскрыл

Parser - это алиас на вот то что сверху?

А что не так? Он парсект или какой там type раскрыл

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

и да, это тоже

А ошибка какая? Может что не импортировпно?

сейчас попробую

опять

Не импортированы модули Parsec были, использовались комбинаторы. Но ведь без явного указания типов все работало! И тип ghci выводил, а использовать его не давал.

Text.ParserCombinators.Parsec.Prim