5 ms·

main :: (RealWorld ->) ((), RealWorld) I've been doing haskell for a few months now. I don't think I have ever seen a expression like this. It looks like State

main :: (RealWorld ->) ((), RealWorld) I've been doing haskell for a few months now. I don't think I have ever seen a expression like this. It looks like State. Is this even valid syntactically? I'm Probably bikeshedding.

yakshaving_jgt 6y ago
The Haskell snippet included is basically gibberish. It’s best to ignore it.
- tome 6y ago
  Has it been removed? I don't see any Haskell in the article.
  - yakshaving_jgt 6y ago
    Looks like it has been removed, yes.
    - yakshaving_jgt 6y ago
      Actually no it hasn't. I think I'm just blind occasionally.
  - dddbbb 6y ago
    It's still there as far as I can see, it's in an image[0]. I believe their intention is to show a kind of pseudo-desugaring of what the IO monad actually does internally. [0] -- https://pitayan.com/assets/static/haskell.cbab2cf.82d9f5b0912290333a547a32e17d3642.jpg https://pitayan.com/assets/static/haskell.cbab2cf.82d9f5b091...
    - tome 6y ago
      Ah yes, just goes to show I ignore images in articles!