Haskell in Leipzig 2017 opened its gates for everyone interested in Haskell and generally functional programming. Expect a great day of talks, tutorials, and a performance with a focus on FRP, followed by a Hackathon. Register early and get your ticket at a reduced rate. Looking forward to meeting you in Leipzig. Continue reading
Tag Archives: FRP
Haskell in Leipzig 2017 submission deadline ahead
Let me remind you that the submission deadline of Haskell in Leipzig 2017 is this Friday. We seek abstracts of about 2 pages length on anything related to Haskell. Looking forward to your contributions. 😉 Continue reading
Haskell in Leipzig 2017 submission deadline shifted
We have shifted the submission deadline of Haskell in Leipzig 2017 by two weeks. The new deadline is at August 18, 2017. Looking forward to your contributions. 😉 Continue reading
Haskell in Leipzig 2017 seeking contributions
Haskell in Leipzig (HaL) is taking place again from October 26 to October 28, 2017 at HTWK Leipzig. If you have any interesting Haskell-related material to share, please consider submitting an extended abstract. Continue reading
Grapefruit now compatible with GHC 7.10.3
It turned out that Grapefruit 0.1.0.6 could not be built with GHC 7.10.3, apparently because of a bug in the compiler. Now a new version of Grapefruit, version 0.1.0.7, is out, which works around this problem.
Yet another Grapefruit update
Today, I updated the Grapefruit FRP library once again. The main improvements are as follows:
-
Grapefruit is now compatible with GHC 8.0.1.
-
The GTK+ UI backend of Grapefruit uses GTK+ 3 now. Continue reading
Grapefruit updated
Yesterday, I updated the Grapefruit FRP library once again, this time to make it compatible with GHC 7.8. Continue reading
Some interesting features of Haskell’s type system
One of the most important ingredients of Haskell is its type system. Standard Haskell already provides a lot of useful mechanisms for having things checked at compile time, and the language extensions provided by the Glasgow Haskell Compiler (GHC) improve heavily on this.
In this article, I will present several of Haskell’s type system features. Some of them belong to the standard, others are only available as extensions. This is a write-up of a talk I gave on 31 January 2013 during the Theory Lunch of the Institute of Cybernetics. This talk provided the basics for another Theory Lunch talk, which was about the Constraint
kind. Continue reading
New paper about a generalization of FRP and causality in categorical models
Yesterday I finished my new paper Temporal Logic with “Until”, Functional Reactive Programming with Processes, and Concrete Process Categories, which will appear in the proceedings of PLPV ’13 and is also available online. I have already given two talks on topics of this paper, one at the Joint Estonian–Latvian Theory Days at Medzābaki and another one at the Theory Seminar of the Institute of Cybernetics. Continue reading
Paper on categorical models of temporal logic and FRP published
My MFPS ’12 paper Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming has just been officially published by Elsevier. Continue reading