Embedding a functional hybrid modelling language in Haskell

Authors:
George Giorgidze;Henrik Nilsson
Affiliations:
Functional Programming Laboratory, School of Computer Science, University of Nottingham, United Kingdom;Functional Programming Laboratory, School of Computer Science, University of Nottingham, United Kingdom
Venue:
IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
Year:
2008

Citing 14
Cited 4

Functional reactive animation

ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Domain specific embedded compilers

Proceedings of the 2nd conference on Domain-specific languages
Functional reactive programming from first principles

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
A new notation for arrows

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Functional reactive programming, continued

Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Functional Hybrid Modeling

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Modular Domain Specific Languages and Tools

ICSR '98 Proceedings of the 5th International Conference on Software Reuse
The Yampa arcade

Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
Compiling embedded languages

Journal of Functional Programming
Why it's nice to be quoted: quasiquoting for haskell

Haskell '07 Proceedings of the ACM SIGPLAN workshop on Haskell workshop
Paradise: a two-stage DSL embedded in Haskell

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Flask: staged functional programming for sensor networks

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
The arrow calculus

Journal of Functional Programming
Switched-On Yampa: declarative programming of modular synthesizers

PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages

Mathematical equations as executable models of mechanical systems

Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
Mixed-level embedding and JIT compilation for an iteratively staged DSL

WFLP'10 Proceedings of the 19th international conference on Functional and constraint logic programming
Towards a formal semantics for a structurally dynamic noncausal modelling language

TLDI '12 Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation
Node-Based connection semantics for equation-based object-oriented modeling languages

PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present the first investigation into the implementation of a Functional Hybrid Modelling language for non-causal modelling and simulation of physical systems. In particular, we present a simple way to handle connect constructs: a facility for composing model fragments present in some form in most non-causal modelling languages. Our implementation is realised as a domain-specific language embedded in Haskell. The method of embedding employs quasiquoting, thus demonstrating the effectiveness of this approach for languages that are not suitable for embedding in more traditional ways. Our implementation is available on-line, and thus the first publicly available prototype implementation of a Functional Hybrid Modelling language.