ROSY: An elegant language to teach the pure reactive nature of robot programming

dc.contributor.author Nuno Moreira Macedo en
dc.contributor.author Hugo Pereira Pacheco en
dc.contributor.other 5647 en
dc.contributor.other 5625 en
dc.date.accessioned 2021-03-23T09:30:27Z
dc.date.available 2021-03-23T09:30:27Z
dc.date.issued 2020 en
dc.description.abstract Robotics is very appealing and is long recognized as a great way to teach programming, while drawing inspiring connections to other branches of engineering and science such as maths, physics or electronics. Although this symbiotic relationship between robotics and programming is perceived as largely beneficial, educational approaches often feel the need to hide the underlying complexity of the robotic system, but as a result fail to transmit the reactive essence of robot programming to the roboticists and programmers of the future. This paper presents ROSY, a novel language for teaching novice programmers through robotics. Its functional style is both familiar with a high-school algebra background and a materialization of the inherent reactive nature of robotic programming. Working at a higher-level of abstraction also teaches valuable design principles of decomposition of robotics software into collections of interacting controllers. Despite its simplicity, ROSY is completely valid Haskell code compatible with the ROS ecosystem. We make a convincing case for our language by demonstrating how non-trivial applications can be expressed with ease and clarity, exposing its sound functional programming foundations, and developing a web-enabled robot programming environment. © 2020 IEEE. en
dc.identifier.uri http://repositorio.inesctec.pt/handle/123456789/12105
dc.identifier.uri http://dx.doi.org/10.1109/irc.2020.00045 en
dc.language eng en
dc.rights info:eu-repo/semantics/openAccess en
dc.title ROSY: An elegant language to teach the pure reactive nature of robot programming en
dc.type Publication en
dc.type conferenceObject en
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
P-00T-AKC.pdf
Size:
448.65 KB
Format:
Adobe Portable Document Format
Description: