These are chat archives for got-lambda/expression

30th
Sep 2017
Marco Zocca
@ocramz
Sep 30 2017 00:24
idk opting out of prelude is not hard. you can say NoImplicitPrelude once in the cabal file as well
Magnus Therning
@magthe
Sep 30 2017 05:36
psc-ide looks nice. I'm guessing it's the type of thing that Haskell IDE (https://github.com/haskell/haskell-ide-engine) is aiming for.
As for defaulting to NoImplicitPrelude, would you say that replacing Prelude is common in PureScript?
jolod
@jolod
Sep 30 2017 09:05
@magthe Don't know.
Since I messed up the Rank-2 example, I created this gist that explains why you'd might want to have a rank-2 type: https://gist.github.com/jolod/744f143a954985bf3e4159d14146d3cd
jolod
@jolod
Sep 30 2017 10:29
@Jell I got the type to forall t a b. (forall c. t c -> c) -> t a -> t b -> Tuple a b. So as you said, there's a constraint on the argument. We can definitely prove t c -> c for some t at least. :-)
Jean-Louis Giordano
@Jell
Sep 30 2017 19:21
ah! that's interesting! good find!