Потому что достигнет просветления и перестанет отвечать на любые внешние сигналы

станет чистым?

я жаловался на непонятность твоего объяснения

да фиг с ним, с монадами. Вот отучиться бы от желания решить любую задачу с помощью for/while на хаскеле

Но зачем отучаться, если можно не отучаться?

import Data.Traversable (for)

main = do
  lines <- for [1.. 4] $ \i -> do
    putStrLn $ "type line for index #" ++ show i
    getLine
  
  putStrLn $ "lines you've just typed: " ++ show lines

ого

хм
надо тащить Identity для того, чтоб использовать ду-нотацию🌚

interface Monad<Value, Effect>{
   value: Value,
   effect: Effect
   Monad Join(a,f) {
        (_, effect1) =a
        (value, effect2) =f(a)
         return Monad(value = value, effect = effect1 + effect2)
   }
}

class Maybe<T> : Monad<T, Bool> {
   value: T,
   effect: Bool // наличие/неналичие значения
   Maybe Join(a, f){
        (_, exist1) = a
        (value, exist2) = f(a)
        return Maybe(value = value, effect = exist1 && exist2)
   }
}
Кривое объяснение в терминах ООП на несуществующем яп

если надо объяснение в терминах ооп, то лучше кинуть статью (https://habr.com/ru/post/490112/)

Зачем, есть же fmap

есть

https://habr.com/ru/post/183150/ - рекомендую, может зайдёт

Спасибо!

кто мне подскажет, как написать такую функцию

op :: (a -> b -> c) -> STRef s a -> STRef s b -> STRef s c

никак

что по-твоему она делать должна?

вэлью)

уж лучше подкаст Хекслета https://soundcloud.com/mimpod/episode_44?utm_source=clipboard&utm_campaign=wtshare&utm_medium=widget&utm_content=https%253A%252F%252Fsoundcloud.com%252Fmimpod%252Fepisode_44

вообще, я с помощью неё хотел закостылить Num для Num a => STRef s a 🌚

А вообще, https://ru.wikipedia.org/wiki/%D0%9C%D0%BE%D0%BD%D0%B0%D0%B4%D0%B0