Monads Schmonads: Functional Input Without Tears (PYFL)

Re:Monads Schmonads: Functional Input Without Tears (PYFL) by goto11 on Monday May 31, 2021 @11:33AM (#27345060)

So in another subthread I compared two code samples. One in Haskell:

    main = do  
        putStrLn "Hello, what's your name?"  
        name <- getLine  
        putStrLn $ "Hello " ++ name

And one in JavaScript:

     function main() {
        let name = prompt('Hello, what is your name?');
        alert('Hello, ' + name);
     }

My claim is that either both have side effects or neither. In both cases the definition of a function does not in itself have side effects, and the function can be passed around and manipulated without being executed. But when the function is executed, it causes side effects.

Haskell have the feature that the type system can statically verify if functions are pure or not. This is very cool, but it does not change the semantics or purity of a function, it just verifies it statically.

[ Parent | on HN ]

Re:Monads Schmonads: Functional Input Without Tears (PYFL) by przemo_li on Wednesday June 02, 2021 @04:59AM (#27366481)

That's because every single line of code is about side effect.

That means that you have already eliminated all the unnecessary side effects (in both cases), and there is no extra work that could be made pure (also in both cases).

Haskell gives you good tools to limit number of side effects to minimum necessary and verify that it is so.

JavaScript? It's free for all and people talk all the time how developer discipline leads to more maintainance codebases. Examples give for that discipline? (Almost) all are about more purity.

[ Parent | on HN ]

Re:Monads Schmonads: Functional Input Without Tears (PYFL) by tome on Tuesday June 01, 2021 @02:28AM (#27351264)

I wrote down the properties that we acutally care about when we talk about purity at https://news.ycombinator.com/item?id=27261487

[ Parent | on HN ]