For the first time we will be providing free training sessions at ZuriHac. There will be two independent sessions, which will take place on Friday 14th June at 2–5pm and Saturday 15th June at 1.30–4pm, and are open to anyone who is registered for ZuriHac.
Adam Gundry: Advanced Types
Friday 14th June 2019, 2–5pm
On Friday afternoon Adam Gundry will lead the session on Advanced Types. This will assume familiarity with Haskell fundamentals such as defining your own data types and type classes. We will explore some more advanced extensions to the type system and techniques for dependently-typed programming in GHC Haskell, including:
- GADTs
- type families
- equality constraints
- the Constraint kind
- singleton types
Duncan Coutts: Evaluation and Performance
Saturday 15th June 2019, 1.30–4pm
On Saturday afternoon Duncan Coutts will lead the session on Evaluation and Performance. This is aimed at intermediate Haskell programmers who are comfortable understanding what their programs compute and are ready to move on to understanding how their programs compute. This is an important step towards being able to confidently write Haskell programs that will work within reasonable time and memory. Topics will include:
- understanding demand and strictness
- how lazyness works
- understanding the heap and space use during evaluation
- controlling evaluation
- space profiling
- avoiding common causes of space leaks
We would be delighted to welcome you at these sessions or to discuss any interesting topics with you at this fantastic Hackathon.
Other courses
If you cannot make it to ZuriHac but are still interested in our courses or other services, check our Training page, Services page, or just send us an email.