Causal Commutative Arrows and Their Optimization , Hai Liu.
Eric Cheng. Paul Hudak. ICFP 2009.
Arrows are a popular form of abstract computation.
Being more general than monads, they are more broadly applicable, and in particular are a good abstraction for signal processing and dataflow computations.
Most notably, arrows form the basis for a domain specific language called Yampa, which has been used in a variety of concrete applications, including animation, robotics, sound synthesis, control systems, and graphical...
Post new comment