ICFP 2019 (series) / FHPNC 2019 (series) / Functional High-Performance and Numerical Computing /
Hailstorm : A statically typed functional language for systems programming (extended abstract)
We introduce Hailstorm, a statically typed, pure functional language for systems programming. At its core, Hailstorm is a call by value implementation of simply typed lambda calculus, extended with recursion. The aim is to efficiently map high level features like higher order functions, recursion and parametric polymorphism to resource constrained hardware. One of the notable features of the language is its simple runtime system. Hailstorm bypasses heap allocation through static analysis techniques and compiler optimization passes, aiming to avoid garbage collection and associated timing problems. The purity of the language gives the compiler full freedom to rewrite the program in memory efficient ways. Hailstorm compiles to LLVM.
Sun 18 AugDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 18 Aug
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:40 - 14:50 | |||
13:40 23mTalk | Compositional Deep Learning in Futhark FHPNC Duc Minh Tran DIKU, University of Copenhagen, Troels Henriksen University of Copenhagen, Denmark, Martin Elsman University of Copenhagen, Denmark Link to publication | ||
14:03 23mTalk | Towards Hasktorch 1.0: Automated Generation of C++ Libtorch Bindings (extended abstract) FHPNC | ||
14:26 23mTalk | Hailstorm : A statically typed functional language for systems programming (extended abstract) FHPNC |