Skip to content

Logic programming in Haskell’s type system

Photo of Andreas Pauley
Hosted By
Andreas P. and 2 others
Logic programming in Haskell’s type system

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
Photo of Lambda Luminaries group
Lambda Luminaries
See more events
Jemstep by Invesco
138 West Street, 3rd Floor · Sandton