Я не понял, ты в итоге в IO хочешь или нет?

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

Брать s ~ RealWorld и делать stToIO это нормально, но ты уже runST не сделаешь.

Ты главное потом назад в ST не конвертируй.

чесслово не буду

S

> The really new thing about release 0.06 is this: if you can get your program through the compiler, then it should actually work when you run it! все еще лучшая фича GHC, хотя пока еще и экспериментальная

А корректная работа не обещается?

нет, пока просто работа, если повезет

> The really new thing about release 0.06 is this: if you can get your program through the compiler, then it should actually work when you run it! все еще лучшая фича GHC, хотя пока еще и экспериментальная

это что?

это я старые release notes читаю, в новых-то фич нет

а что за фича?

The really new thing about release 0.06 is this: if you can get your program through the compiler, then it should actually work when you run it!

а совсем древний релиз?

0.06

> There are several GHC features that raise vague questions in my mind about their implementation. It's hard to ask several questions that you can't put into words but one theme among these thoughts is whether GHC needs to generate code at runtime to implement certain features efficiently (e.g. thunks, partial evaluation). > Does GHC generate any native code at runtime?

как вообще он пришел к такому вопросу?

Это откуда?

Когда понимаешь, что следующий час пройдет отлично

Это откуда?

https://www.reddit.com/r/haskell/comments/7mytdn/does_ghc_generate_machinenative_code_at_runtime/

Когда понимаешь, что следующий час пройдет отлично

wow

Я правильно понимаю, что у stack, как и у pip с npm есть глобальная область и локальная?

да, у stack есть т.н. global project

не совсем так

global project используется, когда не находится stack.yaml

А, понятно

и local package database у него и пользовательского проекта разные

Теперь ясно стало, а то не мог stack-run поставить, а он локальный stack.yaml подхватывал

А что я тут не так делаю? Как правильно в ф-ю пользовательский ввод передать, а потом оттуда Bool вернуть? module Lib ( play ) where play = do welcomeMsg putStrLn "Enter the number:" setNumber <- readLn welcomeMsg :: IO () welcomeMsg = putStrLn "Start" setNumber :: Int -> Bool setNumber = do if x == 1 || x == 2 || x == 3 then putStrLn "OK" else putStrLn "Wrong number."

setNumber в IO

Можете вернуть IO Bool

then do putStrLn "..." return True

Спасибо, понял. А почему на строчку setNumber <- readLn ругается? The last statement in a 'do' block must be an expression

Потому что <- не даёт значения, это присваивание

Сделай в конце return () если для тестов просто

putStrLn — процедура, и её нельзя использовать в функциях, только в процедурах

> это присваивание На всякий случай проясню, что это не в императивном смысле присваивание (значения переменной), а присваивание имени результату монадического действия.

Разделение на процедуры/функции условное весьма, лучше от типов отталкиваться.

Вот посмотрим на определение setNumber

Обещали тип: Int -> Bool.

А затем смотрим на определение: Int не приняли, Bool не вернули.

Должна быть следующая форма: setNumber = \x -> True, например.

Принимаем x как входной Int, возвращаем True как выходной Bool.

Я смотрю есть использование x в if, но лямбды, которая будет этот x принимать, нет.

А потом в результатах веток if возвращается putStrLn "str", который имеет тип IO ().

> это присваивание На всякий случай проясню, что это не в императивном смысле присваивание (значения переменной), а присваивание имени результату монадического действия.

Это он потом узнает

Обещал вернуть Bool, а вернул IO (), разве так годится?

не надо обманывать людей, обманутые ожидание это плохо

а вот начать с того, что в типе объявлено вернуть Bool а никакого возвращения Bool нету, можно было

Дальше я смотрю, что объявлена функция setNumber, а потом написано setNumber <- readLn. Мне кажется автор думает, что <- это передача в функцию, но это не так.

Тоже, почему бы не описать play для порядка?

Этот код заработает, если в setNumber сделать тип Int -> IO (), а <- заменить на =<<.

Потому что =<< это как раз оператор, чтобы передать результат одного IO действия в другое IO-действие.

так что давайте начинать с какого-то начала

:)

я бы начал с типов, потом <- и вообще этой нотации без >>=`/=«` по очереди

получится crash cource into the current exercise

Да вообще с IO в Haskell сразу начинать вредно, я бы по LYAH прошёлся спокойно, там все в хорошем порядке изложено

бесплатная книжка http://learnyouahaskell.com/chapters @valsaven

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

а LYAH можно как bonus reading

а то это печально сел решать, а тебя обругали на 100350 сообщений

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

Спасибо, почитаю. Просто я на js пишу, немного на python. Захотелось посмотреть на чисто функциональный язык. Вот и пытаюсь знакомиться)

статьи можно кинать?

знакомиться с чисто функциональным языком логично с чистых функций :)

а IO это для действий ввода-вывода, а не про функции

[1] P. Wadler, The essence of functional programming. .

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

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

Но ведь IO нужен для "здрассьте". Чем раньше его освоить, тем лучше.

и если у тебя бы возникло, что-то вроде: interract "Enter the number" (bool "Ok" "Wrong number" . `elem` [1,2,3]) (скорее всего неверно код но близко), то было бы более ясно

> Просто я на js пишу, немного на python. Haskell будет сильно отличаться, тут еще типизация статическая, я думаю после JS или Python будет проще понять какой-нибудь Clojure, а потом перейти на Haskell, (ну или можно сразу хардкорно типы осваивать)

а clojure как здесь поможет 🤔

в мире вокруг IO функциональное программирование близко к императивному

можно не заметить слона

а clojure как здесь поможет 🤔

Типов нет

как js/python

так поэтому и нужно взять простой язык с типами