sjoerd_visscher
-
@ And with "deriving Functor" in GHC 6.12 a free monad will truly be for free!
about 6 hours ago
from XMPP Gateway
-
@ I did a variant of your web type as a free monad: (The web aspect got a bit lost.)
about 7 hours ago
from web
-
RT @: Het door onze vrienden van @ en founder @ gesponsorde whiskey creme bruleetje fikte goed en smaakte n
...
about 11 hours ago
from web
-
Ik heb een plaat aangevraagd voor 3FM Serious Request. En jij?? . Stop Malaria. Play the music!
about 12 hours ago
from API
-
Time for the Q42/Xopus Christmas party!
8:14 AM Dec 18th
from XMPP Gateway
-
@ I see Ran as saying: I can't fold for every a, but if you give me (a -> g b) I can give you h b, forall b.
5:30 AM Dec 18th
from XMPP Gateway
-
Driving on snowy roads takes some getting used to. And I'm not much of a fan of the cold. But everything being white is totally worth it.
1:31 PM Dec 17th
from XMPP Gateway
-
.@ So, my Free r f a is just Fix (Biff Either f r) a! See Any tips to reduce the newtype wrapper overload?
4:32 PM Dec 16th
from web
-
Ah, if you turn Rec (r (Free r f a)) into Rec (r (Free r f) a) then bind needs IFunctor instead of Functor.
11:48 AM Dec 16th
from web
-
@ I always thought that book wasn't for me, as math is just my hobby. ;-)
10:31 AM Dec 16th
from XMPP Gateway
-
@ I read that a few times, but never had the feeling I understood it. Now I'm trying to see why he uses IFunctor and I just Functor.
10:11 AM Dec 16th
from web
-
@ Is this what you mean?
9:25 AM Dec 16th
from web
-
A Microsoft nod to Mozilla?
1:21 AM Dec 15th
from FriendFeed
-
Got a runtime error from GHC: "Context reduction stack overflow". So that's why UndecidableInstances is dangerous.
5:32 AM Dec 13th
from XMPP Gateway
-
RT @: Core Application Developer at Xopus B.V. - The Hague Area, Netherlands
2:37 PM Dec 12th
from API
-
@ Indeed it is. Thanks.
3:39 AM Dec 12th
from XMPP Gateway
-
@ strictlypositive.org seems te be down
3:02 AM Dec 12th
from XMPP Gateway
-
Too bad GHC is just so much better in compiling tagged sum data types than continuation style data types.
4:08 PM Dec 11th
from web
-
Here's the zigzag function from Voigtländers paper with FreeCont:
4:01 PM Dec 11th
from web
-
@ Yes, but converting to the initial object is foldFree Pure Impure, that's why I think generalizing foldFree would be best.
1:04 PM Dec 11th
from XMPP Gateway
|
- Name Sjoerd Visscher
- Location Den Haag
- Web http://w3future.c...
- Bio Writing user friendly software with user friendly code
|