News for hackers. Stuff that matters.
Re:Transducers are coming to Clojure by FranklinChen on Friday August 08, 2014 @12:08AM (#8151423)
More precisely:

  -- Left reduce
  type Reducer a r = r -> a -> r

  -- Here's where then rank-2 type is needed
  type Transducer a b = forall r . Reducer a r -> Reducer b r

There are no comments on this comment yet.