Functional Geekery Episode 60 - Paul Bone

In this episode I talk with Paul Bone. We talk his introduction to functional programming through SQL of all places, exposure to Lisp and Haskell, Mercury Language, his work on parallelism, and more.

Our Guest, Paul Bone

@Paul_Bone on Twitter
Paul can be found online at http://paul.bone.id.au/

Announcements

Compose Melbourne is a new functional programming conference focused on developing the community and bringing typed functional programming to a wider audience. Visit www.composeconference.org/ to find out more.

ElixirConf is taking place August 31st through September 2nd in Orlando, Florida. Visit http://www.elixirconf.com to register and find out more.

Full Stack Fest will be hold in Barcelona on September 5-9th. You can check out 2016.fullstackfest.com to find out more.

PWLConf 2016 is the first full-day Papers We Love conference, co-located with the preconference events at Strange Loop in Saint Louis, Missouri on September 15th. Keep an eye out for updates on pwlconf.org.

The Erlang User Conference is coming up in Stockholm, Sweden, the 6th through the 16th of September. Early Bird tickets are now available and get a 10% discount on the conference when you use the code: FunctionalGeekery10 when registering.

Lambda World will be taking place September 30th & October 1st, 2016. Lambda.World is the longest functional programming conference in Spain and Portugal and one of the biggest in Europe. Visit www.lambda.world to find out more and to register.

The 2016 edition of ScalaIO will take place in Lyon, France, on 27th and 28th of October. Visit http://scala.io/ for more information and to register.

CodeMesh is taking place the 3rd and 4th of November with tutorials on the 2nd of November. Tickets are available now, but they are going fast. Visit codemesh.io to register and submit your talk.

Destination Code, a new unconference starting in Utah, is having its inaugural event this December. Visit http://www.destination.codes/ to find out more.

If you have a conference related to functional programming, contact me, and I will be happy to announce it.

Topics

About Paul
Mercury Language
Nils Blum-Oeste asking on Twitter for Mercury
@MercuryLang on Twitter
SQL as an intro to declarative programming
Structure and Interpretation of Computer Programs
Haskell
Elevator pitch for Mercury
Structure and Interpretation of Computer Programming course online
Clues of “something more to learn about programming”
Ease of expression of Python and functional ideas of removing loops
What led Paul to look into Haskell
Paul’s introduction to Mercury
N-Queens problem and overview in Mercury
William Byrd talking miniKanren in Episode 9
Comparison between Mercury and Prolog
Predicates
miniKanren
Datalog
Strong static typing in Mercury
Paul’s work on parallelism in Mercury
Parallelism profiler
All-parallelism
Cuts as side-effects/extra-logical
Declarative Debugging in Mercury
Multiple back-ends for Mercury
Desire for a LLVM back-end for Mercury
Strongly Typed, Pure, and Eager trifecta
Mercury on Rosetta Code
Mercury users’ mailing list
#mercury on irc.freenode.net

As always, a giant Thank You goes to David Belcher for the logo design.

Episode source