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

под мобайл другого выбора не видно

коменты веселят https://habr.com/company/bitrix/blog/417397/

Что-то статья очень пустая...

никто не верит что статью читать не нужно - каждый проверяет сам!

никто не верит что статью читать не нужно - каждый проверяет сам!

И это хорошо, на самом деле.

есть три закона на руси...

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

расскажите лучше как мне научиться запускать любой хаскель проект из гитхаба, будь то stack или cabal, что почитать

или может ютуб курс есть хороший

расскажите лучше как мне научиться запускать любой хаскель проект из гитхаба, будь то stack или cabal, что почитать

git clone {..git} cd {в папку, где .cabal} cabal sandbox init cabal install [все либы в одной строке через пробел, прописанные в зависимостях в .cabal. Версии можно не указывать] cabal configure cabal build

интересно же что потом делать с выдаваемыми ошибками)

интересно же что потом делать с выдаваемыми ошибками)

Страдать

проекту допустим года три

если либа поломанная, то предъявлять ошибки автору

ну автор может давно умер/женился. для того чтоб приверсти старый проект в компилируемое стостояние чаще всего надо править версии зависимостей, ну и какие-то мелкие изменения в хаскеле, хорошая подборка которых есть https://ghc.haskell.org/trac/ghc/wiki/Migration

Надо бы на 8.4 попробовать свой network-ninep замигрировать

может кто вспомнить какой пейпер по корутинам на основе континуейшенов?

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

вроде такого? http://www.cse.chalmers.se/edu/course/pfp/Papers/PMCJFP.pdf

но, сейчас, наверное, получше есть на эту тему

о, спасибо

Stack уже deprecated или ещё нет?

Уже нет

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

может кто вспомнить какой пейпер по корутинам на основе континуейшенов?

последняя глава https://themonadreader.files.wordpress.com/2011/10/issue19.pdf

Вопрос: а обилие частично определённых функций в стандартной библиотеке хаскеля это баг или фича?

Встречный вопрос, а что такое частичная функция?

Вот беру определение из хаскель вики

A partial function is a function that is not defined for all possible arguments of the specified type.

Так это и length значит частичная

Ведь она не определена на possible argument [1..]

по построению length вернёт значение, когда аргумент кончится

head - частичная. Потому что для некоторых значений аргумента не существует результата (вместо него exception)

жду определения

"для некоторых значений аргумента не существует результата" верно и про length

Выход за пределы памяти, размера чисел, терпения программиста - не признаки частичности :)

а какие признаки?

короче кто что думает про то, как правильно определять "частичность" функции

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

то есть почему при выборе инстанса не учитываются ограничения?

по-хорошему надо так, чтобы length под него не попадала

length определена на всех значениях аргумента

length определена на всех значениях аргумента

нет определена на бесконечном списке

это тоже значение аргумента

У списка ровно два значения: [] и (x:xs)

так, вот и другое определение уже пошло

Оба эти значения обрабатываются в length

Вопрос: а обилие частично определённых функций в стандартной библиотеке хаскеля это баг или фича?

формально баг, но никому не мешает

Оба эти значения обрабатываются в length

так значит какое твое определение?

это тоже значение аргумента

Это не значение. Его генерация не остановится, поэтому "до length не дойдёт очередь"

обходит типа все варианты дерева АТД?

по-хорошему надо так, чтобы length под него не попадала

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

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

хех

ну я уже взял из хаскель вики

значит там неправильное

я ж не говорю, что оно правильное

ну так дайте другое

В length [1..] не length частичная

а [1..]

а [1..]

разве это не значение?

Нет

Это санк :)

@astynax ты уже 10 минут ходишь вокруг да около

способен дать определение или нет?

что за наезд ваще?

чтобы можно было проверить, попадает length под него или нет

Ты уже 10 минут выпендриваешься

length по построению тотальная

понятно, подождём других участников :)

length по построению тотальная

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

что за наезд ваще?

я ж конструктива просто жду

Это санк :)

значения только NF?

Это санк :)

1 : [1 ..] — а это тоже задумка?

пока небольшое затишье, приведу ещё одно определение частичной функции, в этот раз из матана

В матане нет проблемы останова

In mathematics, a partial function from X to Y (sometimes written as f: X ↛ Y or f: X ⇸ Y) is a function f: X ′ → Y, for some proper subset X ′ of X. It generalizes the concept of a function f: X → Y by not forcing f to map every element of X to an element of Y (only some proper subset X ′ of X). If X ′ = X, then f is called a total function and is equivalent to a function.

ещё раз хочу отметить, что length и по этому определению тоже частичная

length обрабатывает все возможные значения аргумента

рекурсивно

но каждый шаг рекурсии - не частичный

рекурсивная функция, которая тупо зацикливается - частично определена?