Size: a a a

2021 October 26

JS

Jerzy Syrowiecki in Haskell Start
лень во время вычисления, а у вас код не доходит до вычисления, потому что 4 не список
источник

v

vsvsad in Haskell Start
Добрый вечер, а почему функция, которая IO не может принимать параметры?
источник

Д

Дмитрий in Haskell Start
А зачем ему смотреть, является ли 4 списком?
источник

A

Aragaer in Haskell Start
сначала надо скомпилить же
источник

JS

Jerzy Syrowiecki in Haskell Start
непонятный вопрос. покажите код
источник

v

vsvsad in Haskell Start
main = putStrLn <вот тут хочу переменную>
источник

JS

Jerzy Syrowiecki in Haskell Start
лень откладывает вычесление, но не компиляцию
источник

[

[BRM]White Rabbit in Haskell Start
Потому что проверка типов.

Я когда объяснял ленивость, писал же "вычисление, которое имеет тип списка".

Т.е. если у тебя есть функция

f :: String -> String
f _ = "blabla"


То его нельзя использовать как f 5, потому что число это не строка.
источник

JS

Jerzy Syrowiecki in Haskell Start
> let foo = "hello"
     main = putStrLn foo
 in main
hello

всё работает. вот, я передаю переменную foo в putStrLn
источник

v

vsvsad in Haskell Start
Спасибо!
источник

JS

Jerzy Syrowiecki in Haskell Start
именно в этом месте можно использовать переменную. что у вас не получается?
источник

v

vsvsad in Haskell Start
В целом меня устраивает так, я просто после императивных языков все еще туплю
источник

v

vsvsad in Haskell Start
Я увидел сигнатуру IO, которая что-то вроде <A>() => A
источник

v

vsvsad in Haskell Start
И смутился
источник

v

vsvsad in Haskell Start
А вы по сути предложили функцию высшего порядка
источник

[

[BRM]White Rabbit in Haskell Start
Где?
источник

[

[BRM]White Rabbit in Haskell Start
Что?
источник

v

vsvsad in Haskell Start
Ну, я ее так понял, тядело будет найти статью
источник

v

vsvsad in Haskell Start
Я не прав?
источник

[

[BRM]White Rabbit in Haskell Start
IO () это IO<()> если переводить в параметризацию угловыми скобочками
источник