Teaching Task Oriented Programming
Subject: Task Oriented Programming
Domain Specific Language
Microprocessor
Code Generation
Simulation
Generic Programming
Monad
Domain Specific Language
Microprocessor
Code Generation
Simulation
Generic Programming
Monad
Abstract:
On the Composability, Comprehensibility, Correctness winter school there will be two tutorials about Task Oriented Programming
and concrete systems based on this paradigm. The iTask system offers a web-based interface for humans to see their tasks and share their progress with these tasks. The mTask system applies the same concepts to specify the tasks executed by microprocessors. In this contribution, we justify the decisions made at the teacher training in Amsterdam about what and how these topics will be presented at the winter school. Due to the limited time and diverse background of the audience we will focus on the practical usage of the paradigm. There is barely time to address the challenges and beauty of the construction of these systems.