Functional Geekery Episode 74 – Zeeshan Lakhani

In this episode I talk with Zeeshan Lakhani. We talk his introduction to functional programming, Clojure, Erlang, distributed systems, session types, Papers We Love, and much more.

Our Guest, Zeeshan Lakhani

@zeeshanlakhani on Twitter
Papers We Love
@papers_we_love on Twitter


This episode is sponsored by Use the coupon `geekery` to save $9 on your first month, and make learning part of your daily routine with


Scala Wave is coming up on the 25th and 26th of November in GdaƄsk, Poland. Visit to find out more and sign up for their newsletter for updates.

Destination Code, a new unconference starting in Utah, is having its inaugural event this December. Visit to find out more.

The 2016 Clojure Conj will be taking place in Austin, TX on December 1st – 3rd. Visit for more information and to register.

Lambda Days will be taking place again on the 9th and 10th of February 2017. Visit to submit your talk and keep updated as more information becomes available.

ClojureD will be taking place on the 25th of February, 2017, in Berlin, Germany. Visit to get tickets and keep updated as more information becomes available.

BOB Konf is taking place the 24th of February 2017 in Berlin, Germany. Visit for more information about the conference.

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


About Zeeshan
Papers We Love
LambdaConf 2015 episode of Functional Geekery with Zeeshan
How Zeeshan got into functional programming
StrangeLoop 2012
Programming Languages Coursera course by Dan Grossman
Transitioning to Clojure
“Getting more into context”
“Clojure changed my mindset of how I deliver programs”
Making the change to working with Erlang
Distributed Systems
Thinking of everything as a process
QuickCheck for Erlang
Thinking in state machines
Pattern matching
Erlang Factory
Racket as a language about writing languages
Lasp from Christopher Meiklejohn
Oregon Programming Languages Summer School
Zeeshan’s Erlang Type System talk at Erlang Factory
Data Flow Semantics paper from Google
GenStage in Elixir
Session Types
Zeeshan’s Intro to Sessions Types at MoonConf
ABCD group
Professor Wadler on Episode 39 talking Session Types
Papers We Love
Papers We Love guidelines
Papers We Love Conf
Attending a Papers We Love and format
“Computing is not about factions, but about the universality of it”
Papers We Love Github repository
Papers We Love YouTube channel
New York Chapter of Papers We Love

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


Functional Geekery Episode 22 – LambdaConf 2015, Part 1

This is part one of a number of mini interviews I did at LambdaConf 2015. While I was there, I setup my laptop and microphone off to the side for a bit and recorded episodes with anybody who was interested in a mini interview.


This episode is sponsored by For high quality videos on Clojure, from an intro to Clojure to an in depth look at core.async, Eric Normand has you covered. Videos are downloadable allowing them to be viewed offline and at your leisure, and include exercises to help ensure your learning through interaction. Listeners get a 25% discount off everything with coupon code GEEK. Visit, and make sure to thank them for being a sponsor.


Brian McKenna

Overview of PureScript
Differences between PureScript and Haskell
Dependent Types and Equality
Idempotent Functions and Involutions
Barrier to Entry of Idris
Best way to get into Idris is via Haskell
[email protected]

John De Goes

John’s programming background
Organizing a conference
Inspired by the passion of people that came to LambdaConf 2014
The cross-language friendships formed
Amazed by the number of languages and experience levels
PureScript Conf
Why PureScript
Possibility of niche language workshops pre LambdaConf 2016


Women Who Code
Paige Bailey’s workshop on Clojure
Highlights of the conference so far
Programming and Math talk
Perspective on the functional programming community at LambdaConf
Interest in Clojure and Scala

Matt Farmer

Scala and Clojure
Why pursuing new and cutting edge technologies is worth while
Paul Phillips on a virtual file system.
Farmdawg Nation
“Be here next year”

Brooke Zelenka

Vancouver Functional Programmers meetup
Idris and Dependent Types
Algebraic Data Types
Chris Allen on teaching programming
Early release of Haskell Programming

Zeeshan Lakhani

The Meaning of LFE
Tile from Fogus
Learnings from learning Lisp Flavored Erlang
Duncan McGreggor
Robert Virding
Good interop with QuickCheck already
lfetool for creating projects
Feel the power of both the LISP and Erlang worlds
Zeeshan’s Conflict Resolution Data Types lightning talk
Merging based on causality
Still new research on CRDTs going on
Version Vectors and Eventual Consistency
Sean Cribbs’ A Brief History of Time in Riak presentation
Papers We Love
Keep people talking about research from both academia and industry
Shouldn’t lose track of research that is going on or happened
Check out footnotes from the slides

A giant Thank You to David Belcher for the logo design.