Er waren twee presentaties over iTasks en TOP. Haye Böhm sprak over het asynchroon delen van informatie tussen iTasks clients en gedistribueerde iTask servers. Tim Steenvoorden presenteerde TOPHAT, een formele calculus voor TOP.
Presentatie door Mart Lubbers gehouden op 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.
Presentatie door Rinus Plasmeijer gehouden bij Ericsson R&D lab in Hongarije.