2
$\begingroup$

Profunctors seem like they'd be useful for representing the output of a program analysis. For example, given some information about a function $f$, the profunctor would tell you what information can be derived about compositions of $f$ with other functions.

Does anyone have any references to work along these lines?

  • 2
    Perhaps this is more appropriate for cstheory.2011-07-19
  • 0
    I too think you should ask on [cstheory.SE](http://cstheory.stackexchange.com/). FWIW, sigfpe wrote a [blog post](http://blog.sigfpe.com/2011/07/profunctors-in-haskell.html) on A Neighborhood of Infinity about Profunctors in Haskell. There are couple of references at the end.2012-02-16

1 Answers 1