I'm interested in MicroHs for embedded software, where I primarily work on reactive systems. It would be really helpful to implement support for the Arrows syntax extension to be able to write logic in an FRP style with arrow functions, and potentially even to leverage existing FRP frameworks like Yampa. I see Control.Arrow is supported, which already makes it possible to implement this type of logic, but arrow procedures as a syntax extension provide a lot of ergonomics over directly composing arrows with the combinator.
This is something I'm potentially interested in working on (time permitting), so I'm primarily opening this issue to gauge your level of interest in having this feature in MicroHs.
I'm interested in MicroHs for embedded software, where I primarily work on reactive systems. It would be really helpful to implement support for the Arrows syntax extension to be able to write logic in an FRP style with arrow functions, and potentially even to leverage existing FRP frameworks like Yampa. I see
Control.Arrowis supported, which already makes it possible to implement this type of logic, but arrow procedures as a syntax extension provide a lot of ergonomics over directly composing arrows with the combinator.This is something I'm potentially interested in working on (time permitting), so I'm primarily opening this issue to gauge your level of interest in having this feature in MicroHs.