« first day    last day (461 days later) » 

8:02 AM
@false well, at least the links are good
 
 
2 hours later…
9:55 AM
@rightfold sweetie do you know how to specify two possible application backends in Haskell? Should I use CPP for that? Cabal?
 
 
1 hour later…
12:20 PM
@Jefffrey StateT isn't particularly hard if you understand State
if you wrap a Maybe in it, you just have an option to fail the computation
 
12:32 PM
@Jefffrey I wrote a demo
 
Thanks.
I was also testing around myself.
and...
> Please report this as a GHC bug: haskell.org/ghc/reportabug
I do understand State, I do understand Maybe, what I don't understand is what lift Just x is supposed to mean within a StateT a Maybe b. Like in your dec5.
@BartekBanachewicz lift Nothing means that evalStateT and execStateT will both return a Nothing.
 
@Jefffrey I've just established that lift Just x is just return x, because
in Lounge<C++>, 1 min ago, by Bartek Banachewicz
@Xeo yeah, you don't have to explicitely switch to inner context from a transformer to return from it, I think
@Jefffrey the whole chain of dec5 will return Nothing, yes
just like with a regular Maybe
note how I am using >> instead of >>=, because State keeps that for me
 
So, the only way to make it fail is with lift Nothing, correct?
 
@Jefffrey or, as @Xeo did it, use mzero
 
 
3 hours later…
4:12 PM
Do we want a feed in here? =)
 
Do we want to talk about here? =)
 
 
2 hours later…
5:52 PM
@false of course
@Jefffrey of course
 

« first day    last day (461 days later) »