Pure Functional Database Programming with Fixpoint Types
Here are the slides and video from Scala World 2016. Press ? for help with the slides.
Compiling and Running the Companion Code
This code uses the unreleased doobie-tsql library, which checks SQL literals at compile time. The build assumes a live Postgres database with a postgres user with no password and a prof database. If you wish to use a different user you can edit the settings in build-tsql.sbt and Cofree.scala.
psql -c 'create user postgres createdb'
psql -c 'create database prof' -U postgres
psql -c '\i create.sql' -d prof -U postgres
Compiling the Slides
If you wish to build the slides for some reason, type tut at the sbt prompt. The output will apppear in the tut-out/ directory.