There were two presentations about iTasks and TOP. Haye Böhm talked about the asynchronous sharing of information between iTasks clients and distributed iTask servers. Tim Steenvoorden presented TOPHAT, a formal calculus for TOP.
Presentation by Mart Lubbers held at Workshop On Programming Languages in the Netherlands (PLNL 2018).
Task Oriented Programming (TOP) is a novel programming paradigm originally created to implement collaborative reactive multi-user systems. A task in TOP is a description of what needs to be done. Each task is specified by a function and evaluated at an event. The result of this evaluation is observable by other tasks even if the task is not finished. A program is a composition of tasks. The iTasks system is an implementation of TOP based on web-servers. For example, it is very suitable to program Microcontroller Units (MCUs) because they often follow similar design patterns. To cope with to the memory and processing limitations of MCUs we defined the embedded Domain Specific Language (eDSL) mTask. In this presentation, we introduce mTask and show how it is implemented such that tasks can be dynamically shipped to an MCU and executed there. mTask tasks can be generated by iTasks programs. They can communicate via Shared Data Sources (SDSs). With this new technique, one can make an entire Internet of Things (IoT) system in a single statically typed source program. This prevents many maintenance and version problems rooting from the impedance mismatch.
Presentation by prof. Rinus Plasmeijer held at Ericsson R&D lab in Budapest, Hungary.