Mercury: An Odd Amalgam of Haskell and Prolog - Part 1 of 2
summary
Shows Mercury as a concrete language that mixes Haskell-style strong types with Prolog-style rules, implementing an HTTP 1.0 parser and a fizzbuzz example to demonstrate unification, mode-driven determinism and unique types (destructive input). Uses the C backend (Erlang and JVM available), relies on the standard solutions helpers to collect nondeterministic results, and exercises determinism modes including committed-choice. Examples compile and have tests, though live demo tooling and Cody access cause hiccups; overall the examples run with the stated caveats.
AI-written summary · about
chapters (8)
- 0:00Mercury language intro
- 1:21Syntax and rules in Mercury
- 6:21Predicates and modes in Mercury
- 14:30FizzBuzz in Mercury
- 26:38Q&A on syntax
- 35:13HTTP routing with Mercury
- 46:59Parsing HTTP requests
- 58:02Q&A and closing
related talks
53mIntro to Haskell for Erlangers
01h 01mMacGyver's Haskell Compiler
01h 04mHaskell - A Peek Inside the Ivory Tower
55mModern Software Development with Haskell
28mHTTP through Functional Programming
20mInteractive Haskell Type Inference Exploration (Extended Abstract)
37mFireside chat on bringing more FP to Elixir
38mWhat Haskell Taught Us When We Weren't Looking