print logo

Lambda-kalkyler og Haskell

Leif Harald Karlsen går gjennom lambda kalkyle og typeteori, og viser hvorfor han elsker Haskell og funksjonell programmering!

Lambda kalyle er et fantastisk simpelt system, med en overraskende utrykkskraft. Etter en  gjennomgang av lambda kalkyle og typeteori vil resten av foredraget handle om Haskell og fryktelig pene programmer.

Publisert 14. feb. 2014 15:09 - Sist endret 11. mai 2014 20:07