Siegfried 2017-02-02 19:01:55
May not be a good place to ask :) but anyone have thoughts on ocaml or haskell as a first functional language? I've heard different viewpoints
wz1000 2017-02-02 19:04:40
Is it possible to express the law of the excluded middle in the type system
wz1000 2017-02-02 19:05:08
i.e construct a value of the type forall a. Either a (a -> Void)
liste 2017-02-02 19:07:03
:t Right absurd
lambdabot 2017-02-02 19:07:05
Either a (Void -> a1)
liste 2017-02-02 19:07:10
oh wait
liste 2017-02-02 19:07:21
that's the other way round
halogenandtoast 2017-02-02 19:18:27
ertes: true, it is a persistant problem (not yesod).
halogenandtoast 2017-02-02 19:18:46
ertes: Is there a better database interface (not that yesod really gives me a choice)
halogenandtoast 2017-02-02 19:18:51
but let's say I was using snap
jle` 2017-02-02 19:26:56
wz1000: that looks like a good shot
jle` 2017-02-02 19:29:31
wz1000: you can also get something equivalent through Peirce's law
jle` 2017-02-02 19:30:46
wz1000: forall a b. ((a -> b) -> a) -> a
jle` 2017-02-02 19:32:35
wz1000: https://gist.github.com/ion1/058ee03fd82a7b453933
jle` 2017-02-02 19:32:54
oh wait that gist just has the exercise, not the solution haha
quack_ 2017-02-02 19:43:35
I need help with writing a Haskell function
quack_ 2017-02-02 19:44:25
I want to write a function called waterGate, and if the function is 3 + 4x, then the function selects 1, and if it is 7+4x, the functions selects 3
quack_ 2017-02-02 19:44:43
NVM
