In this episode I talk with Susan Potter. We talk her introduction to Functional Programming, Haskell, Erlang, reasoning about code, Nix and NixOS, reasonable deployments and environments, and more.
Our Guest, Susan Potter
@SusanPotter on Twitter
Susan on LinkedIn
Susan’s company
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 Susan
Reasonability of software and deployment environments
Susan’s introduction to Functional Programming
Java head and Python meta-programming
Inheriting a Haskell code base
Picking up Haskell 10 years ago and learning resources at the time
Cabal
What about Haskell clicked, or didn’t click, back then
Algebraic Data Types
Sum and Product types
Recursive data structures
Higher order types and generic types
Erlang
Period of enlightenment about isolation
Allowing things to fail
How to signify “failures”/errors in Haskell vs Erlang
Thinking about operational semantics
Scala
scalaz
Understanding the separation of concerns
Garrett Smith on Episode 56
Alignment of Erlang and thinking about operational side of applications
Typed based reasoning
Type specs in Erlang
The Dialyzer
Cloud Haskell
Reasoning using types or supervision trees in regards to error handling
NixOS
Package manager, GNU/Linux distribution, and build expression language
Per user based configuration
Multiple versions of JVM SDKs
Using Nix with Continuous Integration environments
Personal mission of reasonability of systems
Arrows
Kleisli Arrows
Railway oriented programming
Talk by John De Goes on Free structures
Aaron Levin’s blog post on the van Laarhoven encoding of free monads
Extra credit for extensible effects with the Eff monad as an alternative to monad transformers
Short typed functional programming in infrastructure engineering
Getting started in Nix and NixOS
Lethalman’s Nix pills blog series
Nix Cookbook
Upcoming talks
London Scala User Group (LSUG), London (England) – 2nd August 2016
Strangeloop, St. Louis, MO – Sept 2016
Reactive Summit, Austin, TX – Oct 2016
Reasoning about your code
As always, a giant Thank You goes to David Belcher for the logo design.