Profile_bird

Hey there! sjoerd_visscher is using Twitter.

Twitter is a free service that lets you keep in touch with people through the exchange of quick, frequent answers to one simple question: What's happening? Join today to start receiving sjoerd_visscher's tweets.

Already using Twitter
from your phone? Click here.

sjoerd_visscher

  1. @chriseidhof And with "deriving Functor" in GHC 6.12 a free monad will truly be for free!
  2. @chriseidhof I did a variant of your web type as a free monad: http://gist.github.com/260138 (The web aspect got a bit lost.) #haskell
  3. RT @stefbrooijmans: Het door onze vrienden van @typlab en founder @lonboonen gesponsorde whiskey creme bruleetje fikte goed en smaakte n ...
  4. Ik heb een plaat aangevraagd voor 3FM Serious Request. En jij?? https://www.seriousrequestplaat.nl. Stop Malaria. Play the music!
  5. Time for the Q42/Xopus Christmas party!
  6. @sfvisser 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.
  7. 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.
  8. .@kmett So, my Free r f a is just Fix (Biff Either f r) a! See http://u.nu/37n94 Any tips to reduce the newtype wrapper overload? #haskell
  9. Ah, if you turn Rec (r (Free r f a)) into Rec (r (Free r f) a) then bind needs IFunctor instead of Functor. #haskell
  10. @sigfpe I always thought that book wasn't for me, as math is just my hobby. ;-)
  11. @sigfpe 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.
  12. @sigfpe Is this what you mean? http://hpaste.org/fastcgi/hpaste.fcgi/view?id=14305#a14305 #haskell
  13. A Microsoft nod to Mozilla? http://ff.im/-cVUJp
  14. Got a runtime error from GHC: "Context reduction stack overflow". So that's why UndecidableInstances is dangerous. #haskell
  15. RT @linkedin_jobs: Core Application Developer at Xopus B.V. - The Hague Area, Netherlands #in #jobs http://bit.ly/71C3AM
  16. @pigworker Indeed it is. Thanks.
  17. @pigworker strictlypositive.org seems te be down
  18. Too bad GHC is just so much better in compiling tagged sum data types than continuation style data types. #haskell
  19. Here's the zigzag function from Voigtländers paper with FreeCont: http://hpaste.org/fastcgi/hpaste.fcgi/view?id=13999#a13999 #haskell
  20. @hate_pick_nick Yes, but converting to the initial object is foldFree Pure Impure, that's why I think generalizing foldFree would be best.