ROSY：一种用于讲授机器人编程纯反应式特性的优雅语言
编程语言
2019-11-11 v1 机器人学
摘要
机器人技术非常有趣，并早已被公认为教授编程的绝佳方式，同时能与数学、物理或电子学等其他工程和科学分支建立启发性的联系。尽管机器人技术与编程之间的这种共生关系被认为大有裨益，但教育方法常常觉得有必要隐藏机器人系统的底层复杂性，结果却未能向未来的机器人专家和程序员传达机器人编程的反应式本质。本文提出 ROSY，一种通过机器人技术向初级程序员授课的新语言。其函数式风格既与高中代数背景相熟悉，又是机器人编程内在反应式本质的具体体现。在更高抽象层次上工作也传授了将机器人软件分解为交互控制器集合的宝贵设计原则。尽管简单，ROSY 是完全有效的兼容 ROS 生态系统的 Haskell 代码。我们通过展示如何轻松清晰地表达非平凡应用、揭示其坚实的函数式编程基础，以及开发支持 Web 的机器人编程环境，为我们的语言提供了令人信服的例证。
引用
@article{arxiv.1911.03262,
title = {ROSY: An elegant language to teach the pure reactive nature of robot programming},
author = {Hugo Pacheco and Nuno Macedo},
journal= {arXiv preprint arXiv:1911.03262},
year = {2019}
}