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.

Sponsors

This episode is sponsored by PurelyFunctional.tv. 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 http://purelyfunctional.tv/geekery, and make sure to thank them for being a sponsor.

Topics

Brian McKenna

@puffnfresh
Overview of PureScript
Differences between PureScript and Haskell
Idris
Dependent Types and Equality
Idempotent Functions and Involutions
Barrier to Entry of Idris
Best way to get into Idris is via Haskell
brianmckenna.org
brian@brianmckenna.org

John De Goes

John’s programming background
SlamData
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

Xan

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

Elemica
Scala and Clojure
Why pursuing new and cutting edge technologies is worth while
Paul Phillips on a virtual file system.
Farmdawg Nation
@farmdawgnation
“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
@expede

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
@zeeshanlakhani
Check out footnotes from the slides

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

Episode source