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

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

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

ERROR: S client not available

Автор решил с ФП познакомиться, а не с типами

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

С Хиндли-Милнером статическая типизация это не больно

без тайпклассов еще нормально

вот все эти композиции функций и прочее легко умустить

так а я что-то не на то ссылку дал :(

@valsaven вот тебе идея на сотку, попробуй Elm, он как JS только функциональный и со статическими типами

отличная подготовка для Haskell потом

http://elm-lang.org/

что за статья вадлера была, где вычисление через takeWhile . map ...

Хм, он сам по себе или надстройка над java? Просто я от clojure отказался из-за этого, хоть он и понравился во многом - не хочется лишний бэкграунд из java изучать ещё

Мне же не работать на нём, а так... для себя

Clojure над Java, а Elm над JS

т.е. Elm в браузере работает

потерялась, почему я думал что это essence of functional programming :/

@A64m_qb0 может ты знаешь про какую я думаю?

@A64m_qb0 может ты знаешь про какую я думаю?

How to Replace Failure by a List of Successes?

что за статья вадлера была, где вычисление через takeWhile . map ...

я только у Брагилевского видел dropWhile через foldr

это? https://rkrishnan.org/files/wadler-1985.pdf

не, другое что-то

ну и ладно

не, другое что-то

может Why calculating is better than scheming? или вообще не Вадлер, а Why functional programming matters?

а наверное

@A64m_qb0 да, why functional programming matters

спасибо!

Про Elm почитал, но мне нужно что-то компилируемое в бинарники, а не браузерное. Буду Хаскель дальше мучить?

Elm компилируется в джаваскрипт

А жаваскрит в бинарник

Про Elm почитал, но мне нужно что-то компилируемое в бинарники, а не браузерное. Буду Хаскель дальше мучить?

это верно

а у нас stack не сломался случаем? Selecting the best among 12 snapshots... Downloaded lts-10.1 build plan. AesonException "Error in $.packages.cassava.constraints.flags['bytestring--lt-0_10_4']: Invalid flag name: \"bytestring--lt-0_10_4\""

А какая версия stack у тебя?

я вчера обнаружил, что 1.6.3 вышел