хочу чтото как в плюсах system("pause")

Это костыли же

Да все, из командной строки запустил

ghci лучше как можно скорее начать осваивать (если ещё не начинал), так гораздо быстрее всё пойдёт

ghci лучше как можно скорее начать осваивать (если ещё не начинал), так гораздо быстрее всё пойдёт

я чет не понял как в нем работать если честно(мой хаскель равен 3м часам)

поэтому пишу и компилю в нотпаде, а запускаю черз командную строку

ну к примеру, пишешь что-нибудь в нотпаде, помнишь название функции которая тебе нужна но не помнишь в каком порядке она принимает аргументы > :t take Int -> [a] -> [a] проверяешь как она работает > take 3 "substring" "sub"

:main в ghci же

ну или запускаешь ghci (твой файл) и проверяешь все свои функции, проверяешь тот же main пишешь :reload когда что-нибудь добавил в файл

:r/:reload если перезагрузить если файл изменил в другом месте

:main в ghci же

кстати есть разница, если просто применить main?

хз, я не пользую эту функцию обычно

Как в монады попроще въехать, чтобы побыстрее начать быдлокодить?

быдлокодь без въезжания

не въезжай

Рофл

монады просто средство связывания действий с эффектами. т.е. передача из однго в другое значение

чего тут понимать

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

т.е. методом демидовича набирать опыт

монады просто средство связывания действий с эффектами. т.е. передача из однго в другое значение

да ну. монады и без эффектов могут существовать. этим большинство туториалов по монадам страдают

А и, кстати, как предотвратить зацикливание, если напортачил?

вопрос на вырост, сложно ввод вывод из файла сделать?

Есть какие-то инструменты?

вопрос на вырост, сложно ввод вывод из файла сделать?

не

Тайм-лимит, например

@vlastachu очевидно, что ты не прав

не

ок

Как в монады попроще въехать, чтобы побыстрее начать быдлокодить?

посмотреть определение и реализации класса типов Monad, например: http://hackage.haskell.org/package/base-4.9.1.0/docs/src/GHC.Base.html#line-656

@t1mee System.Timeout.timeout например

^C

@vlastachu все монады это инкапсуляция какого-либо эффекта в типе данных

@vlastachu очевидно, что ты не прав

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

сайд

речь идёт про побочные эффекты

и что является побочным эффектом для списка?

давай определимся, знаком ли ты знаком ли ты со статьей Moggi "Computational lambda-calculus and monads" 1989 года

что такое list monad?

Ну конечно же нет

тогда давай не будем тратить время на споры, а ты её почитаешь, хотя бы вступление и 1-2 части

а не, там примеров нету, за примерами к Вадлеру

в общем List это инкапсуляция эффекта недетерминированных вычислений и это side эффект

@t1mee а ты это не читай, это теоритические разборки ;)

Та я пока на и stepik.org развлекаюсь, есть время до монад, экшели)

@vlastachu то что монады это зачастью чистые вычисления, когда они вычисляются - это да

Кстати, об этом. Есть предложения, как через хвостовую функцию запилить: SeqA n = seqA (n-1) + seqA (n-2) - 2*seqA (n - 3)?)

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

Так-то оно так, вот только даже дефолтный код без let и стражевых операторов требует запредельные ресурсы по времени

seqA :: Integer -> Integer seqA n | n == 1 = 0 | n == 2 = 1 | n == 3 = 2 | n >= 4 = seqA (n - 1) + seqA (n - 2) - 2 * seqA (n - 3) | otherwise = error "arg must be >= 1"

В оригинале форматирование ровное, для заметки)

это не tailrec

Это - да)

Но мне нужно, чтобы хоть как-то работало

Для начала

для кода есть markdown выделение три символа ` вначале и вконце кода

переписать как tailrec проще, чем заставить этот вариант не жрать ресурсы

@vlastachu ты пишешь что-то очень-очень длинное? ;(

;) т.е.

Ну ладно, ок. В определенный момент моё развитие в плане хаскеля и теорката остановилось и вполне осознанно. Многие вещи я не понимаю при достаточных затратах времени на них. В этом плане ты можешь относится ко мне как к инвалиду к которому отсылать фундаментальную литературу будет излишним. Но вот что наверное можно объяснить тут сразу на месте: монады существовали и без хаскеля. Они сразу подразумевали эффекты? А прочие штуки из теорката тоже чтоли под собой имеют интуитивную такую интерпретацию? Когда мы определяем структуру данных и монаду над ней можно тут также красиво предугадать какой эффект она интерпретирует? Или есть конечное число возможных вариаций для построения хаскельных типов и они уже все удачно проинтерпретированы? (ну типа как мы добавим в Either ещё один конструктор и вроде бы ничего толком не поменялось) Неоднозначность определения монады над типом никак не влияет на эту эффектную интерпретацию

как видишь

ну скинул так

там могут быть несвязные предложения

речь идёт про побочные эффекты

ещё вот это не укладывается

типа как у них конечно у всех сайд эффекты, но у IO совсем сайд

да, монады сразу подразумевали эффекты (про теоркат не скажу, я в нём не силен); тут последовательноть обратная исторически была - есть эффект находим структуру; но про типы если можно написать инстанс Monad значит можно найти и смысл

Тогда уж интересно узнать что такое сайд эффекты

Кстати, об этом. Есть предложения, как через хвостовую функцию запилить: SeqA n = seqA (n-1) + seqA (n-2) - 2*seqA (n - 3)?)

эту функцию можно считать за O(log n), кстати

я могу пересказать стью для как для dummies типа меня

сейчас найду одно из старых определний если не потерял статью

я могу пересказать стью для как для dummies типа меня

забей. я могу сказать, что почитаю, а потом не почитаю и всё ок

ну там в тройку предложений выйдет

=)

для умных это статью читать и объяснять мне где мой пересказ неверен

The type signature for `head' lacks an accompanying binding

в чем проблема

вообще если бы здесь потролить то норм отсылаться на лейбница про его монолог

в чем проблема

код скинь

> Effects are a classification of computations independent of the ex- plicit inputs and outputs of those computations. из Tate

ещё норм бы тогда объяснить что такое действия (которые связаны с эффектами через монады)