Safe programming in Industry, Testing in Haskell (Guest Lecture at the HSR)

Are you going?

3 people going


HSR Hochschule für Technik

Oberseestrasse 10 8640 · Rapperswil

How to find us

Take a train to Rapperswil (about 30 mins from the Zürich HB). Take the exit in the direction of the lake. Walk up the steps. You will see building 5 in front of you to the right. 5.003 is on the ground floor. Follow anyone looking like a CS student.

Location image of event venue


I would like to invite anyone on the HaskellerZ meetup who is interested, to a guest lecture given by Tom Sydney Kerckhove for my functional programming module at the HSR.

He will speak on the following topics:

1. Safe programming in Industry (08h10-08h55)
We explore the trade-offs that show up in industrial software engineering, in particular with respect to software that has a safety requirement, and discuss the technical considerations and conclusions that follow. As it happens, using Haskell is frequently one of those results, so we will also dive into examples where using Haskell and Haskell-like languages were the chosen option. Examples include work at Spam fighting at Facebook, Design of cities at ETH Zuerich, crypto currency at the Cardano Foundation, etc.

2. Testing in Haskell (09h05-09h50)
Testing, expensive and tedious as it may seem, need not be so. In this talk we explore how standard testing methods translate into Haskell. After that we go further and show how Haskell allows for much more powerful, cheaper and more effective testing.
Topics include:
• Unit testing
• Property testing
• Property combinators
• Test suite combinators
• Teaser: signature inference

Location: HSR, Room 5.003
(See for directions)

You are welcome to attend in case one of these topics interests you.

Please note that this will take place at the HSR in Rapperswil, and will be more in the form of a lecture than a get-together. Please also note, that the lectures will take place in the *morning*, and not in the evening.

I look forward to seeing you there,