Past Meetup

Logic programming in Haskell’s type system

This Meetup is past

20 people went

Every 2nd Monday of the month until February 10, 2019

Location image of event venue

Details

Presenter: Henry Steere

Haskell uses Hindley Milner type inference, which is based on unification. Unification is also the basis of logic programming. Using GHC extensions you can take advantage of Haskell’s type system to do logic programming.

Agenda:
* 6pm ~ 6:45pm: drinks and snacks to keep us functional
* 6:45pm: talk
* 8pm: lights out