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.