cofree
cofree copied to clipboard
Fun and Games with Fix, Cofree, and Doobie
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.