Haskino: A Remote Monad for Programming the Arduino

Grebe, Mark; Gill, Andy

doi:10.1007/978-3-319-28228-2_10

Cited by 12 publications

(4 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Decker (2015) describes a FlowLog (Nelson et al, 2014) extension to incorporate IoT devices into their tierless sytem for software-defined network controllers in a similar way as firmata. Grebe and Gill (2016) wrapped Firmata in a remote monad for integration with Haskell that allowed imperative code to be interpreted on the microprocessors. Later this system was extended to support multithreading as well, stepping away from Firmata as the basis and using their own RTS (Grebe and Gill, 2019).…”

Section: Discussionmentioning

confidence: 99%

Orchestrating the Internet of Things with Task-Oriented Programming

Lubbers

2023

View full text Add to dashboard Cite

The development of reliable software for the internet of things (IoT) is difficult because IoT systems are dynamic, interactive, distributed, collaborative, multi-tiered, and multitasking in nature. The complexity is increased further by semantic friction that arises through different hardware and software characteristics between tiers. Many computers that operate in IoT systems are edge devices that interact with the environment using sensors and actuators. Edge devices are often powered by low-cost microcontrollers designed for embedded applications. They have little memory, unhurried processors, and are slow in communication but are also small and energy efficient. Task-oriented programming (TOP) can cope with the challenges of IoT programming. In TOP, the main building blocks are tasks, an abstract representation of work. During execution, the current value of the task is observable, and other tasks can act upon it. Collaboration patterns can be modelled by combining and transforming tasks into compound tasks. Programming edge devices benefits from TOP as well, but running such a system within the limitations of resource-constrained microcontrollers is not straightforward. This dissertation demonstrates how to include edge devices in TOP systems using domain-specific languages (DSLs). With these techniques, all tiers and their interoperation of an IoT system are specified in a single high-level source, language, paradigm, high abstraction level, and type system. First, I present advanced DSL embedding techniques. Then mTask is shown, a TOP DSL for IoT edge devices, embedded in iTask. Tasks are constructed and compiled at run time in order to allow tasks to be tailored to the current work requirements. The task is then sent to the device for interpretation. A device is programmed once with a lightweight domain-specific OS to be used in an mTask system. This OS executes tasks in an energy-efficient way and automates all communications and data sharing. All aspects of the mTask system are shown: example applications, language design, implementation details, integration with iTask, and green computing facilities such as automatic sleeping. Finally, tierless IoT programming is compared to traditional tiered programming. In tierless programming frameworks, the size of the code and the number of required programming languages is reduced significantly. By using a single paradigm and a system-wide type system, tierless programming reduces problems such as semantic friction; maintainability and robustness issues; and interoperation safety.

show abstract

Section: Discussionmentioning

confidence: 99%

Orchestrating the Internet of Things with Task-Oriented Programming

Lubbers

2023

View full text Add to dashboard Cite

show abstract

“…Haskino [Grebe and Gill 2016] goes further and uses a GHC plugin to directly manipulate the AST of the host program during Haskell compilation time. This is done to support features in their embedded language which cannot be recovered via traditional embedding techniques, such as recursive functions.…”

Section: Related Workmentioning

confidence: 99%

Embedded Pattern Matching

McDonell,

Meredith,

Keller

2021

Preprint

View full text Add to dashboard Cite

Haskell is a popular choice for hosting deeply embedded languages. A recurring challenge for these embeddings is how to seamlessly integrate user defined algebraic data types. In particular, one important, convenient, and expressive feature for creating and inspecting data-pattern matching-is not directly available on embedded terms. In this paper, we present a novel technique, embedded pattern matching, which enables a natural and user friendly embedding of user defined algebraic data types into the embedded language. Our technique enables users to pattern match on terms in the embedded language in much the same way they would in the host language.

show abstract

“…However, the bandwidth requirements are high and therefore it is not suitable for IoT applications that communicate through LTN networks. Similarly, Grebe and Gill [2016] created HaskIno, a monadic interface over hArduino that allows remote code execution on Arduinos. Their initial tethered solution is based on Firmata but they also propose an untethered approach that is similar to compilation by storing the program in EEPROM.…”

Section: Related Workmentioning

confidence: 99%

Task Oriented Programming and the Internet of Things

Lubbers

Koopman

Plasmeijer

2018

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages

View full text Add to dashboard Cite

The following full text is a publisher's version.For additional information about this publication click this link. http://hdl.handle.net/2066/203220Please be advised that this information was generated on 2023-01-02 and may be subject to change. Article 25fa pilot End User AgreementThis publication is distributed under the terms of Article 25fa of the Dutch Copyright Act (Auteurswet) with explicit consent by the author. Dutch law entitles the maker of a short scientific work funded either wholly or partially by Dutch public funds to make that work publicly available for no consideration following a reasonable period of time after the work was first published, provided that clear reference is made to the source of the first publication of the work. This publication is distributed under The Association of Universities in the Netherlands (VSNU) 'Article 25fa implementation' pilot project. In this pilot research outputs of researchers employed by Dutch Universities that comply with the legal requirements of Article 25fa of the Dutch Copyright Act are distributed online and free of cost or other barriers in institutional repositories. Research outputs are distributed six months after their first online publication in the original published version and with proper attribution to the source of the original publication.You are permitted to download and use the publication for personal purposes. Please note that you are not allowed to share this article on other platforms, but can link to it. All rights remain with the author(s) and/or copyrights owner(s) of this work. Any use of the publication or parts of it other than authorised under this licence or copyright law is prohibited. Neither Radboud University nor the authors of this publication are liable for any damage resulting from your (re)use of this publication.If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the ma terial

show abstract

Haskino: A Remote Monad for Programming the Arduino

Cited by 12 publications

References 11 publications

Orchestrating the Internet of Things with Task-Oriented Programming

Orchestrating the Internet of Things with Task-Oriented Programming

Embedded Pattern Matching

Task Oriented Programming and the Internet of Things

Contact Info

Product

Resources

About