Skip to content

Instantly share code, notes, and snippets.

Avatar

Nahiyan Alamgir nahiyan

View GitHub Profile
@nahiyan
nahiyan / purity-haskell-freenode
Last active May 13, 2019 — forked from robstewart57/purity-haskell-freenode
Confusion about analogy's of purity in Haskell
View purity-haskell-freenode
[18:27] <trumanshow19> Would someone mind help iron out the
inconsistencies in my head with respect to purity in
Haskell. Statement 1: Haskell is a purely functional lanugage, S2:
Haskell is not impure, but... S3: f :: a -> a is a "pure" function as
opposed to a -> IO a.
[18:27] <trumanshow19> If a -> is pure, to distinguish a -> IO a, then
how do I describe the latter, is there is no impurity in Haskell ?
[18:28] <trumanshow19> The only opposite of pure I know is impure.