Power Of Pi
Stc
Date: 2008-06-12
Time: 11:00
Room: BBL room 471
Speaker: Chris Eidhof
Title: Power Of Pi
Abstract
In this talk, we will see how dependent types are in a way superior to simply typed languages like Haskell. By introducing some examples of programs written in a dependently typed language, we can notice that they are cleaner and safer. We'll see programs that were hard to type before dependent types, but can now be elegantly expressed. We'll also take a look at an example from The Power Of Pi (Swierstra / Oury). -- ChrisEidhof - 19 May 2008- presentation.pdf: The presentation file