Programming Microcontrollers in OCaml: The OCaPIC Project
- Cite this paper as:
- Vaugon B., Wang P., Chailloux E. (2015) Programming Microcontrollers in OCaml: The OCaPIC Project. In: Pontelli E., Son T. (eds) Practical Aspects of Declarative Languages. PADL 2015. Lecture Notes in Computer Science, vol 9131. Springer, Cham
PIC microcontrollers are low-cost programmable integrated circuits,consume very little energy, but are hard to program due to very little available resources. They are traditionally programmed using low-level languages (e.g., assembler or subsets of C), which provide very few safeguards if any. This paper presents the issues we had to solve to successfully port a modern multi-paradigm general-purpose programming language, which notably provides automatic memory management and strong static type checking, to this rather peculiar hardware.
KeywordsMicrocontroller Virtual machine Programming language implementation OCaml Applications
Unable to display preview. Download preview PDF.