[Haskell-cafe] Is Arrow based FRP a subset of Classic FRP, at least conceptually/semantically?

Peter Verswyvelen bugfact at gmail.com
Mon Jan 5 12:09:40 EST 2009


Classic FRP ("CFRP", like Fran, FAL, Reactive, Grapefruit?...)
exposes signals as first class values.

Arrow based FRP ("AFRP", like Fruit, Yampa...) hides signals as first
class values; instead the signal transformers are the first class
values.

Can I conclude that it would theoretically be possible to translate an
AFRP function into a CFRP function? I.e. is AFRP a subset of CFRP?

Thanks,
Peter


More information about the Haskell-Cafe mailing list