Lambda in Motion: Controlling Robots With Haskell

Authors:

John Peterson, Paul Hudak, Conal Elliott

Abstract:

We present our experiences using a purely functional language, Haskell, in what has been traditionally the realm of low-level languages: robot control. Frob (Functional Robotics) is a domain-specific language embedded in Haskell for robot control. Frob is based on Functional Reactive Programming (FRP), as initially developed for Fran, a language of reactive animations. Frob presents the interaction between a robot and its stimuli, both onboard sensors and messages from other agents, in a purely functional manner. This serves as a basis for composable high level abstractions supporting complex control regimens in a concise and reusable manner.

Bibtex:

 @InProceedings{PeHuEl99,  
author = "John Peterson and Paul Hudak and Conal Elliott",  
title = "Lambda in Motion: Controlling Robots with Haskell",  
booktitle = "First International Workshop on Practical Aspects of`                  
Declarative Languages~(PADL)",  
year =	 1999,  month =	 {January}} 

Links:

padl99.pdf