Write a Blog >>
Thu 22 Nov 2018 14:20 - 14:45 at Boothzaal - 2 Chair(s): Wouter Swierstra

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.

Thu 22 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:10
2PLNL at Boothzaal
Chair(s): Wouter Swierstra Utrecht University, Netherlands
13:30
25m
Talk
From Rascal to JVM byte code: a play in several acts
PLNL
13:55
25m
Talk
Intrinsically Typed Definitional Interpreters: The Good, The Bad, and The Ugly
PLNL
Casper Bach Poulsen Delft University of Technology
14:20
25m
Talk
Task Oriented Programming for the Internet of Things
PLNL
Mart Lubbers Radboud University Nijmegen, Pieter Koopman Radboud University Nijmegen, Netherlands, Rinus Plasmeijer Radboud University Nijmegen
14:45
25m
Talk
A Functional Approach to Blockchain Contract Languages
PLNL
Manuel Chakravarty Tweag I/O & IOHK