Monthly FMUG Meetup

Paul Bone will be introducing Mercury; a pure declarative logic/functional language, it looks like Prolog but feels like (strict) Haskell. Mercury's strong type system, mode system and determinism system make it very different from Prolog. Meanwhile strict evaluation and logic programming features make it quite different from Haskell. In this presentation we will see how mode and determinism systems work together to create a declaratively pure logic programming language. We will also explore some cool features that can be added to a pure language: declarative debugging and automatic parallelisation.

Paul has been working with Mercury for 8 years. He joined the project as part of his Honours work at Melbourne Uni and continued working on the topic of automatic parallelisation for his Ph.D. Since 2012 Paul has been working with Mercury in commercial programming environments.

The doors to get into the office lock at 6pm. If you come later than that you'll need to give me a call on 0438 050 887 to let you in.