Evan Martin (evan) wrote in evan_tech,
Evan Martin
evan
evan_tech

another monad to become familiar with

A guy at work who's ten times the Haskell hacker I'll ever be pointed me at this thread, where someone is wondering whether a pattern of applying multiple functions to the same value can be generalized. As an example they provide:
eval :: (b->c->d) -> (a->b) -> (a->c) -> (a->d)
eval f g1 g2 a = f (g1 a) (g2 a)

which could be used to e.g. apply something to both halves of a pair in one go:
(eval (==) fst snd) somePair
This seems obscure enough to me, but the response they get, on a simpler implementation, is done in a single word.

The answer? eval = liftM2, because there's some instance for functions themselves: ((->) a) is an instance of MonadReader, which I don't yet fully get. I need to learn how functional dependencies work first, I think.
Tags: haskell
Subscribe

  • your vcs sucks

    I've been hacking on some Haskell stuff lately that's all managed in darcs and it's reminded me of an observation I made over two years ago now (see…

  • perl people, explain your language to me

    Every time I use perl I feel mildly positive about it right up until I encounter CPAN. I've never managed to make CPAN work, despite the multitude of…

  • dns attack of doom

    If I've learned anything from the new Kaminsky DNS attack, it's that if you want to keep something a secret while disclosing to a trusted subset of…

  • Post a new comment

    Error

    default userpic
    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 0 comments