Size: a a a

2019 December 30

NV

Nikita Vilunov in ErlangRus
В конце концов все IO композятся в один большой IO (), который и является мейном
источник

АН

Авроамэриканец Начрэл in ErlangRus
Lev Walkin
есть два варианта: попросить рантайм хаскеля выполнить эти инструкции. То есть, вызвать эту вашу функцию из main (топ левел в хаскеле). Либо через unsafe. Других вариантов нет.
Понятно, значит вы не собираетесь объяснять мне когда я могу взаимодействовать с ответом от сайта. Опять вместо ответов на конкретные вопросы углубляетесь в детали реализации языка
источник

LW

Lev Walkin in ErlangRus
Авроамэриканец Начрэл
Понятно, значит вы не собираетесь объяснять мне когда я могу взаимодействовать с ответом от сайта. Опять вместо ответов на конкретные вопросы углубляетесь в детали реализации языка
что это за наезды личные? «вы не собираетесь». Да иди в жопу
источник

АН

Авроамэриканец Начрэл in ErlangRus
Хорошая аргументация
источник

LW

Lev Walkin in ErlangRus
мне достаточно было вашего срача в хаскель-канале, где вы точно так же отказывались воспринимать аргументацию, поданную десятком разных способов
источник

AB

Alex Bubnov in ErlangRus
Авроамэриканец Начрэл
Хорошая аргументация
чувак, ты сам допросился
источник

AB

Alex Bubnov in ErlangRus
теперь тебя и отсюда кикнут
источник

LW

Lev Walkin in ErlangRus
теперь в эрланг канале продолжаете в том же стиле
источник

АН

Авроамэриканец Начрэл in ErlangRus
Alex Bubnov
чувак, ты сам допросился
Напросился на слитие хаскелистов, которые даже не могут объяснить как работает их язык
источник

LW

Lev Walkin in ErlangRus
я уже по полкам разложил, разжевал
источник

NV

Nikita Vilunov in ErlangRus
getRandom :: IO Int
show :: Int -> String
putStrLn :: String -> IO ()

main :: IO ()
main = do
 number <- getRandom
 putStrLn (show number)
источник

NV

Nikita Vilunov in ErlangRus
Вот пример простой программы, которая берет число и печатает его в консоль
источник

NV

Nikita Vilunov in ErlangRus
Вперед читать гайды, если из чатов не можешь понять

https://wiki.haskell.org/Introduction_to_IO

https://wiki.haskell.org/Monad
источник

AB

Alex Bubnov in ErlangRus
Авроамэриканец Начрэл
Напросился на слитие хаскелистов, которые даже не могут объяснить как работает их язык
ну тебе объяснили - в рантайме есть интерпретатор того, что скрывается за типами IO Something, как раз для того, чтобы ленивые по умолчанию функции вообще выполнились. фактически, чтобы вообще что-то сработало, твое значение IO Something должно пройти через функцию main программы, которая как раз является входными данными для интерпретатора
источник

АН

Авроамэриканец Начрэл in ErlangRus
Где там в гайде написаны обоснования детерменированости?
Если такой пункт есть - скидывай ссылку. Но если уже где-то четвёртый хаскелист ломается и не может последовательно объяснить такую простую вещь, то сомневаюсь что такой пункт где-то описан
источник

AB

Alex Bubnov in ErlangRus
я думаю, в этом чяти все прозвучало на более понятном уровне, чем в хаскельном
источник

NV

Nikita Vilunov in ErlangRus
Нет уровня понятней, чем уровень агрессии, это точно
источник

AB

Alex Bubnov in ErlangRus
Авроамэриканец Начрэл
Где там в гайде написаны обоснования детерменированости?
Если такой пункт есть - скидывай ссылку. Но если уже где-то четвёртый хаскелист ломается и не может последовательно объяснить такую простую вещь, то сомневаюсь что такой пункт где-то описан
что такое детерминированность?
источник

AB

Alex Bubnov in ErlangRus
как говорится, define
источник

LW

Lev Walkin in ErlangRus
Авроамэриканец Начрэл
Где там в гайде написаны обоснования детерменированости?
Если такой пункт есть - скидывай ссылку. Но если уже где-то четвёртый хаскелист ломается и не может последовательно объяснить такую простую вещь, то сомневаюсь что такой пункт где-то описан
В начале любого гайда написано: Haskell is a PURE functional language. Слово PURE как раз и есть ответ на ваш вопрос: абсолютный детерминизм и функциональная чистота языка. Рантайм грязный, но язык чистый.
источник