Erik Meijer, TweetMicrosoft SQL
Biography: Erik Meijer
Erik Meijer is an architect in the Microsoft SQL server division where he currently works together with the Microsoft Visual C# and the Microsoft Visual Basic language design teams on data integration in programming languages.
Prior to joining Microsoft he was an associate professor at Utrecht University and adjunct professor at the Oregon Graduate Institute.
Erik is one of the designers of the standard functional programming language Haskell98 and more recently the Cw language.
Become a Functional Hacker: Think like a Fundamentalist, Code like a Pragmatist Advanced
Functional Programming in Haskell with Category Theory and Practical Applications
The aim of this course is to teach the principles of pure lazy functional programming, and the corresponding Category Theoretical principles, using the modern functional language Haskell. Broadly speaking, functional programming is a style of programming in which the primary method of computation is the application of functions to arguments. Among other features, functional languages offer a compact notation for writing programs, powerful abstraction methods for structuring programs, and a simple mathematical basis that supports reasoning about programs. Many of the advanced techniques in modern functional languages, such as monads and catamorphisms, are closely based on principles from category theory such as functors, initial algebras, and of course monads and Kleisli categories.
The course is taught by prof. dr. Erik Meijer, who is affiliated with Microsoft (Redmond, USA), in combination with a part time appointment at Delft University of Technology as professor of Cloud Programming.