Write a Blog >>
Thu 22 Nov 2018 16:55 - 17:20 at Boothzaal - 3 Chair(s): Robbert Krebbers

One of the cornerstones of functional programming languages is pattern matching. However, many students struggle with the concept, and end up using constructs such as isNothing or fromJust. I will present the sketch of a system I am developing which can convert automatically from bad style into a series of pattern matches.

Thu 22 Nov

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