Functional Geekery Episode 63 – Yan Cui

In this episode I talk with Yan Cui. We talk his introduction to functional programming via Erlang and F#, getting functional languages adopted in a company, type providers, we wrap up with a rundown of a number of different languages, and much more in between.

Our Guest, Yan Cui

@theburningmonk on Twitter


Compose Melbourne is a new functional programming conference focused on developing the community and bringing typed functional programming to a wider audience. Visit to find out more.

ElixirConf is taking place August 31st through September 2nd in Orlando, Florida. Visit to register and find out more.

Full Stack Fest will be hold in Barcelona on September 5-9th. You can check out 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

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 to find out more and to register.

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

The 2016 edition of ScalaIO will take place in Lyon, France, on 27th and 28th of October. Visit 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 to register and submit your talk.

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

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


About Yan
A look at Microsoft Orleans through Erlang-tinted glasses
Tomas Petricek
Real-World Functional Programming by Tomas Petricek
Microsoft Orleans
What appealed to Yan about Erlang
Message passing in Erlang
Alan Kay’s definition of Object Oriented
Growing Object Oriented Software, Guided by Tests
What appealed to Yan about F#
Simon Cousin moving to F#
Type system of F#
Making legal states unrepresentable in your program
Edwin Brady on Episode 54
Getting a junior developer up to speed on F# in two weeks
Difference in way of thinking vs syntax between F# and C#
Lessons learned introducing F# to a company
Type Providers
Evelina Gabasova
Integration to other languages via Type Providers
Overview of what it means to write a Type Provider
Michael Newton’s Type Providers from the Ground Up
Reactive Extensions
Elm Architecture
Dependent Types
Shared Borrowed Pointers
F# Unit of Measure types
Mars Climate Orbiter bug
Implicit interfaces
Upcoming appearances
Leetspeak 2016
Look at serverless technologies
“Learn F#, use F#”
Scott Wlaschin’s F# for Fun and Profit

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