This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[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. |