Computational Formal Semantics: Meeting 1

Our first spring-quarter meeting (April 2, 11 am) will be dedicated to a basic intro to Haskell and a brief preview of how it can be used to implement formal semantics theories.

The best way to get Haskell up and running on your computer is to install the Haskell Platform, available for all major OSs. Various editors provide Haskell support:

• the Haskell plugin for Eclipse (hat tip to Jen Sawyer)
• Emacs packages and modules for Haskell
• VIM plugins
• more IDEs

We will go through the first 2 contentful chapters of “Learn you a Haskell”: Starting Out and Types and Typeclasses.

We might also be able to go through the Haskell code implementing propositional logic syntax and semantics in the “Computational Semantics with Functional Programming” textbook. All the code from the textbook is available here, but we will focus on and discuss only the directly relevant parts.