Categories
Podcasts

Functional Geekery Episode 29 – Carin Meier

In this episode I talk with Carin Meier. We talk about her background into software development and functional programming, the McCarthy papers, Robots, her book Living Clojure, other types of computation, and more.

Our Guest, Carin Meier

@gigasquid on Twitter
gigasquid on Github
http://gigasquidsoftware.com/

Sponsors

This episode is sponsored by DigitalOcean. DigitalOcean makes it quick and easy to get up running with hosting your project. New users use the promo code GEEKERY to get $10 credit when signing up.

This episode is sponsored by PurelyFunctional.tv. The courses build good fundamentals and guide you to develop deep skills with the Clojure language and libraries. Listeners get a 25% discount by using the link purelyfunctional.tv/geekery.

Announcements

Chicago Erlang 2015 is coming up on the 10th of October, in the format of a two track, one day Erlang workshop. To find out more and to register visit www.chicagoerlang.com/.

CityCode Chicago will be taking place on the 9th of October. City Code Chicago is a one day immersive technology conference for programmers to spark creativity and innovation. To find out more and to register visit chicago.citycode.io.

Code Mesh 2015 is going to take place on the 3rd and 4th of November, and listeners can use the code fngeekery10 to get 10% off when you register.

RICON 2015 will take place on the 5th and 6th of November, and podcast listeners can use the code “Saland100” to get a $100 discount when you register before October 15th.

Midwest.io will be taking place on November 9th and 10th. Midwest.io is a two-day conference, bringing together 300 developers for an eclectic collection of talks covering the latest trends, best practices, and research in the field of computing. For more information visit http://www.midwest.io/.

LambdaDays 2016 will be taking place on the 18th and 19th of February in Kraków, Poland. The CFP and registration has opened, so make sure to visit lambdadays.org to find out more. And make sure to use code FunkyGeekz4dWin to get 10% off registration.

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

Topics

About Carin
How Carin came into software development
Involvement with user groups
Jim Weirich
4Clojure
The Clojure communities interest in bringing in learnings from academics
Cognitect
How Ballet and Physics background transfered into software
“I’m not just teaching you physics, I’m teaching you how to think”
Background on getting into functional programming
John McCarthy’s papers
“Seven McCarthy papers in seven weeks”
Elephant 2000
John Searle’s Speech Acts
Ascribing Mental Qualities to Machines
THE ROBOT AND THE BABY
Interest in Robots
Babar language
Carin’s presentations on robots
Real Time Robot Dance Party
The Joy of Flying Robots in Clojure
Living Clojure
Cincy Functional Programmers Group
“Training Plan” for learning Clojure
Wonderland Katas
clojurians Slack
figwheel
Clojure Applied
The Joy of Clojure
Mastering Clojure Macros by Colin Jones
Living Clojure and ClojureScript
Applicability of Living Clojure as a training plan across languages
Project Euler
Cincy Functional Programming Group overview
FizzBuzz in Idris with nobody knowing Idris
“We generally don’t have pizza […] people that show up even when there is no pizza are the hardcore functional programmers”
StrangeLoop 2015
StrangeLoop 2015 videos
Unconventional Programming with Chemical Computing
Unconventional Programming Paradigms
Gerald Sussman’s We Really Don’t Know How To Compute!
Cross pollinate the academic ideas with application in industry
Philip Wadler’s Propositions as Types
Won’t be at ClojureConj but check it out

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

Categories
Podcasts

Functional Geekery Episode 28 – Tom Stuart

In this episode I talk with Tom Stuart about Computation. We talk about his background in software, his book Understanding Computation, Computation Club, and how to bring computer science ideas of mathematics and abstraction to every software developer.

Our Guest, Tom Stuart

@tomstuart on Twitter
tomstuart on Github
http://codon.com/

Sponsors

This episode is sponsored by DigitalOcean. DigitalOcean makes it quick and easy to get up running with hosting your project. New users use the promo code GEEKERY to get $10 credit when signing up.

This episode is sponsored by PurelyFunctional.tv. The courses build good fundamentals and guide you to develop deep skills with the Clojure language and libraries. Listeners get a 25% discount by using the link purelyfunctional.tv/geekery.

Announcements

ElixirConf 2015 is happening in Austin, TX on October 1st-3rd. Keynote speakers include past guests José Valim and Jessica Kerr, with over 28 speakers and over 200 guests. To check the schedule and register visit www.elixirconf.com/.

Chicago Erlang 2015 is coming up on the 10th of October, in the format of a two track, one day Erlang workshop. To find out more and to register visit www.chicagoerlang.com/.

CityCode Chicago will be taking place on the 9th of October. City Code Chicago is a one day immersive technology conference for programmers to spark creativity and innovation. To find out more and to register visit chicago.citycode.io.

Code Mesh 2015 is going to take place on the 3rd and 4th of November, and listeners can use the code fngeekery10 to get 10% off when you register.

RICON 2015 will take place on the 5th and 6th of November, and podcast listeners can use the code “Saland100” to get a $100 discount when you register before October 15th.

Midwest.io will be taking place on November 9th and 10th. Midwest.io is a two-day conference, bringing together 300 developers for an eclectic collection of talks covering the latest trends, best practices, and research in the field of computing. For more information visit http://www.midwest.io/.

LambdaDays 2016 will be taking place on the 18th and 19th of February in Kraków, Poland. The CFP has opened, and will be open through December 1st, 2015. Visit lambdadays.org to submit your CFP response!

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

Topics

About Tom
On being a Computer Scientist
Background on Graduate work at University of Cambridge
Teaching undergraduates as a forced learning experience
Substructural Type Systems
Understanding Computation
“Brain dump of all the things I think are fun and interesting”
The Lambda Calculus
“Computation is some kind of slightly mysterious property of the universe”
Stephen Wolfram’s Cellular Automata And Complexity
“This book will not get you a better job”
Computational Universality
Undecidability and Church-Turing Thesis
The Halting Problem
Gödel’s incompleteness theorems
Programs as something that can be analyzed
Rice’s Theorem
Reception of ideas across the Ruby community
“A lot of people will never sit down and learn Haskell or Scheme”
Tom’s talk about monads
“If you don’t know the category of the thing, it is hard to recognize things in that category”
Anchoring the concept of a monad by examples of other abstract data types
Futamura Projection and Partial Evaluation
London Computation Club
The Little Schemer
The Elements of Computing Systems a.k.a From NAND to Tetris
“I think this is interesting and we should be talking and thinking about it”
Computation Club Slack team
Computation Club mailing list
computationclub on Github
@computationclub on Twitter
“This is why I will never be commercially successful”
How to Write a Web Application in Ruby
Brett Victor
Chris Granger
LightTable
Eve
About Eve
“Please let me know what we can do to promote the idea of, for lack of a better word, functional geekery”
“Referential Transparency should not be a dirty word”
µKanren
Tom’s presentation on µKanren in Ruby

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

Categories
Podcasts

Functional Geekery Episode 27 – Joe Barnes

In this episode I talk with Joe Barnes about Scala. We talk about coming into Functional Programming, Scalaz, Akka, Scala Conferences, Lift, and his musings about what the future of web development might look like.

Our Guest, Joe Barnes

@joescii on Twitter
joescii on Github
http://proseand.co.nz

Sponsors

This episode is sponsored by DigitalOcean. DigitalOcean makes it quick and easy to get up running with hosting your project. New users use the promo code GEEKERY to get $10 credit when signing up.

This episode is sponsored by PurelyFunctional.tv. The courses build good fundamentals and guide you to develop deep skills with the Clojure language and libraries. Listeners get a 25% discount by using the link purelyfunctional.tv/geekery.

Announcements

Code Mesh 2015 is going to take place on the 3rd and 4th of November, and listeners can use the code fngeekery10 to get 10% off when you register.

Chicago Erlang 2015 is coming up on the 10th of October, in the format of a two track, one day Erlang workshop. To find out more and to register visit www.chicagoerlang.com/.

CityCode Chicago will be taking place on the 9th of October. City Code Chicago is a one day immersive technology conference for programmers to spark creativity and innovation. To find out more and to register visit chicago.citycode.io.

ElixirConf 2015 is happening in Austin, TX on October 1st-3rd. Keynote speakers include past guests José Valim and Jessica Kerr, with over 28 speakers and over 200 guests. To check the schedule and register visit www.elixirconf.com/.

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

Topics

About Joe Barnes
How Joe came into Scala
Martin Odersky’s Functional Programming Principles in Scala
HuntFunc
“Everything is an expression”
Desire for immutability in Java
Case Classes in Scala
Extensible Pattern Matching in Scala
unapply function
Transition from Java to Scala
Migration to Scala from Java
Experience with the different styles of Scala
doobie
Scalaz
Bringing Scala in to a team
Including Scala into projects
SBT
Scala on different versions of the JVM
Scala on Java8
The JVM is Nominally Typed
JVM ClassLoader
Akka
Actor Model
Joe’s “breakup” with Akka
Joe’s rundown of Akka the Good Parts
Principles of Reactive Programming
Joe’s Conference circuit
ScalaDays
Scala By The Bay
ScalaWorld
Joe’s blog series on Types
ScalaJS
TypeSafe
Joe’s presentations/articles in No Fluff Just Stuff
PureScript
“Where are things headed in the web development world?”
“There’s too much client side rendering” and thinking about other parts of the world
Node.js
ClojureScript
Nashorn
Lift Scala web framework
Packer
Terraform
“I love talking about software”
Episode 8 with Jessica Care

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

Categories
Podcasts

Functional Geekery Episode 26 – Phil Freeman

In this episode I talk with Phil Freeman on PureScript. We cover his reason for creating PureScript, how it differs between other languages that compile to JavaScript, PureScript Conf 2015, the future of PureScript, and different ways to get started with PureScript.

Our Guest, Phil Freeman

@paf31 on Twitter
paf31 on Github
http://functorial.com/

Sponsors

This episode is sponsored by DigitalOcean. DigitalOcean makes it quick and easy to get up running with hosting your project. New users use the promo code GEEKERY to get $10 credit when signing up.

This episode is sponsored by PurelyFunctional.tv. The courses build good fundamentals and guide you to develop deep skills with the Clojure language and libraries. Listeners get a 25% discount by using the link purelyfunctional.tv/geekery.

Announcements

Code Mesh 2015 is going to take place on the 3rd and 4th of November, and listeners can use the code fngeekery10 to get 10% off when you register.

Chicago Erlang 2015 is coming up on the 10th of October, in the format of a two track, one day Erlang workshop. To find out more and to register visit www.chicagoerlang.com/.

CityCode Chicago will be taking place on the 9th of October. City Code Chicago is a one day immersive technology conference for programmers to spark creativity and innovation. To find out more and to register visit chicago.citycode.io.

ElixirConf 2015 is happening in Austin, TX on October 1st-3rd. Keynote speakers include past guests José Valim and Jessica Kerr, with over 28 speakers and over 200 guests. To check the schedule and register visit www.elixirconf.com/.

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

Topics

About Phil Freeman
PureScript
DICOM Grid
Haskell
TypeScript
Need for Sum Types and Types around Strings
First version released around end of 2013
SlamData
Sum Types vs Product Types
PureScript compilation going directly to JavaScript
JavaScript interop and FFI (Foreign Function Interface)
DefinitelyTyped
Underscore.js
GHCJS
“PureScript is a better CoffeeScript, not a Haskell for the web”
Differences from Haskell
Halogen library
Elm
Functional Reactive Programming
Roy
Brian McKenna
PureScript Conf 2015
QuickCheck port for PureScript
Getting started with PureScript
PureScript by Example
Project Suggestions page on PureScript wiki
PureScript Contrib organization on Github
Near term future of PureScript
Improve error messages in PureScript
Improve compiler speed
Google Summer of Code and PureScript
Exhaustiveness Checker for PureScript
Allow to target multiple platforms for backend
Schedule for looking to release milestones
Looking for improving the editor support
Pulp by Bodil Stokke
#purescript on IRC
PureScript Google Group
Brian McKenna’s talk at CUFP

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

Categories
Podcasts

Functional Geekery Episode 25 – Jim Freeze

In this episode I talk with Jim Freeze about his knack for getting into communities early, ElixirConf, PhoenixFramework training, organizing conferences, and more.

Our Guest, Jim Freeze

@jimfreeze on Twitter
jfreeze on Github

Sponsors

This episode is sponsored by DigitalOcean. DigitalOcean makes it quick and easy to get up running with hosting your project. New users use the promo code GEEKERY to get $10 credit when signing up.

This episode is sponsored by PurelyFunctional.tv. The courses build good fundamentals and guide you to develop deep skills with the Clojure language and libraries. Listeners get a 25% discount by using the link purelyfunctional.tv/geekery.

Announcements

Code Mesh 2015 is going to take place on the 3rd and 4th of November, and listeners can use the code fngeekery10 to get 10% off when you register.

Chicago Erlang 2015 is coming up on the 10th of October, in the format of a two track, one day Erlang workshop. To find out more and to register visit www.chicagoerlang.com/.

CityCode Chicago will be taking place on the 9th of October. City Code Chicago is a one day immersive technology conference for programmers to spark creativity and innovation. To find out more and to register visit chicago.citycode.io.

ElixirConf 2015 is happening in Austin, TX on October 1st-3rd. Keynote speakers include past guests José Valim and Jessica Kerr, with over 28 speakers and over 200 guests. To check the schedule and register visit www.elixirconf.com/.

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

Topics

Jim Freeze’s early adopter history
Prag Dave Thomas’ post on Elixir
Programming Ruby
Programming Elixir
Starting conferences in the “early” days of languages
Background in starting LoneStar Ruby regional conference
“I don’t want someone else to start and Elixir Conference”
“Interesting to see everyone meeting for the first time”
Erlang Solutions
ElixirConf EU
Next ElixirConf EU to be in Berlin
ElixirConf 2014 videos
“A lot of everybody not quite understanding what they had”
WhatsApp being bought by Facebook for $19 Billion
What this year’s ElixirConf is looking like from speaker submissions
The community is realizing how the BEAM works and what the BEAM is
Integrating Phoenix and Elm
Bleacher Report talk at ElixirConf EU
Advice for submitting a talk to a conference
Advice for putting on events
Chad Fowler’s How to Run a Small Conference
Phoenix Framework Training
Chris McCord’s promo video for Phoenix Training
Jim and Chris McCord on Elixir Fountain
Quill library
Mathematica and WolframAlpha
Wrote a Google Wave style app in a small amount of time
Plug
Cowboy
Jim Freeze’s Elixir Videos
Phoenix Training feedback on future training sessions
Idea of a condensed version of the Phoenix Training
Phoenix 1.0

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

Categories
Podcasts

Functional Geekery Episode 24 – Matthew Flatt

In this episode I talk with Matthew Flatt about the history of Racket, different things he has worked on in Racket over the years, and a small glance forward at the near future of the Racket language.

Our Guest, Matthew Flatt

On the web
On Github

Sponsors

This episode is sponsored by DigitalOcean. DigitalOcean makes it quick and easy to get up running with hosting your project. New users use the promo code GEEKERY to get $10 credit when signing up.

This episode is sponsored by PurelyFunctional.tv. The courses build good fundamentals and guide you to develop deep skills with the Clojure language and libraries. Listeners get a 25% discount by using the link purelyfunctional.tv/geekery.

Announcements

Code Mesh 2015 is going to take place on the 3rd and 4th of November, and listeners can use the code fngeekery10 to get 10% off when you register.

Chicago Erlang 2015 is coming up on the 10th of October, in the format of a two track, one day Erlang workshop. To find out more and to register visit www.chicagoerlang.com/.

CityCode Chicago will be taking place on the 9th of October. City Code Chicago is a one day immersive technology conference for programmers to spark creativity and innovation. To find out more and to register visit chicago.citycode.io.

ElixirConf 2015 is happening in Austin, TX on October 1st-3rd. Keynote speakers include past guests José Valim and Jessica Kerr, with over 28 speakers and over 200 guests. To check the schedule and register visit www.elixirconf.com/.

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

Topics

About Matthew Flatt
Matthew’s intro to LISP
Teaching beginning programming in college
Origin of Racket
PLT Scheme/Dr Scheme
Structure and Intrepretation of Computer Programs
Multiple dialects in Racket
Arc variant
Dr. Racket
Evaluation model of functional programming
Focus on language design
Typed Racket
Adding types at the granularity of modules
Matthew on the Cognicast (Episode 61 and Episode 84)
Updating the macro system
Hygenic macros
Examples of macros generating macros
“You want to be able to look at an expression and say what it means”
Racket’s packaging system
Matthew’s plans going forward for working on Racket
Runtime support on multiple platforms
Growth of Racket over the past 20 years
pict3D
pollen for typesetting
Strange Loop 2015
RacketCon 2015
Format of RacketCon
Visibility into the usage of Racket in the community
Resources for starting in Racket
racket-lang.org
Racket Guide
Racket Reference
Racket Mailing list
Racket IRC channel
Racket Slack channel
Realm of Racket
Land of LISP
How to Design Programs

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

Categories
Podcasts

Functional Geekery Episode 23 – LambdaConf 2015, Part 2

This is part two 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.

Announcements

Code Mesh 2015 is going to take place on the 3rd and 4th of November, and listeners can use the code fngeekery10 to get 10% off the two days of conference when you register.

Kats Conf 15 is going to take place on the 12th of September in 2015. Co-organized by past guest Andrea Magnorsky, this is a conference that looks to impress.

Topics

Shakrah Yves

@shakrahyves
Shakrah’s background
Clojure Bridge
Sharon Steed
Haskell for the Web
Feedback for the community from a newcomer
Everyone was open and welcoming
Interest in Haskell and Clojure

Brian Troutwine

@bltroutwine
How to approach building a fault-tolerant system
8 Fallacies of Distributed Computing
Realtime embedded systems
Systems Theory
How to structure the internet/ARPANet
Early distributed systems theory about relational databases
Microservices and distributed systems
NTP (Network Time Protocol)
Mathematics and Programming
Study NTP; read the NTP RFCs from start to finish
http://troutwine.us

Pawel Szulc

@rabbitonweb
Overview of Pawel’s talk on Monads
Douglas Crockford’s “Curse of the Monad”
Openness of people at LambdaConf 2015
Wide variety of talks on different languages
The parallels between Scala and Clojure

Richard Feldman

@rtfeldman
DreamWriter
Path to Functional Programming and path to Elm
CoffeeScript
JavaScript to CoffeeScript to Elm transition
Elm’s signals and actions
Catching up with the progress of ClojureScript and PureScript

Aysylu Greenberg

@aysylu22
4Clojure
Cogincast episode with Aysylu
Loom
GraphViz
About her talk on Loom
Aysylu’s Loom talk at Clojure West 2014
Emily language
Rust
Virtual file system talk
Lisp Flavoured Erlang

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

Categories
Podcasts

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
[email protected]

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.

Categories
Podcasts

Functional Geekery Episode 21 – Andrea Magnorsky

In this episode I talk with Andrea Magnorsky. We talk about her introduction to Functional Programming, F#, and we end by talking about her user group Functional Kats.

Our Guest, Andrea Magnorsky

@silverspoon on Twitter
http://www.roundcrisis.com/
batcatgames.com
Onikira – Demon Killer

Announcements

Erlang User Conference will be taking place in Stockholm, Sweden on the 11th and 12th of June. The largest Erlang event in Europe will feature talks about Erlang/OTP and Elixir innovations, and much more. Visit http://www.erlang-factory.com/euc2015 to find out more and to register. And get a 10% discount on the two days of conference when using the code ‘FnGeekery10’.

I will be giving an Introduction to Erlang workshop at LambdaConf 2015 in Boulder, Colorado. LambdaConf will be taking place the 22nd-24th of May, and has offered a 10% discount of registration with code LambdaConf-Functional-Geekery. For more information and to register go to http://www.degoesconsulting.com/lambdaconf-2015/.

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

About Andrea
How Andrea got interested in functional programming
Phil Trelford
CodeMesh 2013
Andrea’s CodeMesh 2014 presentation
“I don’t think I’m ready for that” is the sign you really are
Seven Languages in Seven Weeks
The poor marketing of F# in the beginning of the language
26 effective Ways to introduce F# into your Organization
FSCheck
FSUnit
Fake
FSCheck and Property Testing
Introducing F# into an existing project
Interoperation between F# and the rest of .NET
No technical reasons to not use F# instead of C# anymore, all are people reasons
Moving code from C# to F#
Andrea on Mostly Erlang podcast
F# on Macs and Mono
Rachel Reese
tryfsharp.org
F# Koans
Going back to Haskell after learning F#
Game Programming in Haskell by Elise Huard
The power of Discriminated Union Types
Pattern Matching in F#
Active Patterns
Active Patterns example
Functional Composition Operators

[0..10] |> List.map (fun x-> x*2)

NULLs in F#
Unit, None, and Option Types
Functional Kats User Group
@functionalkats on Twitter
https://github.com/FunctionalKatas
NDC Oslo
FsReveal
MBrace

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

Categories
Podcasts

Functional Geekery Episode 20 – Eric B. Merritt

In this episode I talk with Eric Merritt. We talk about his background in Erlang, static typing and using OCaml, as well as micro kernels, and the importance operations plays in the developer role.

Our Guest, Eric B. Merritt

@ericbmerritt on Twitter
http://blog.ericbmerritt.com/
[email protected]
https://github.com/afiniate

Announcements

Erlang Factory San Fransisco is coming up on the 26th-27th of March. Guest speakers include Alan Kay, José Valim, Robert Virding, Joe Armstrong, Mike Williams, John Hughes, Bruce Tate and many more. Listeners get a 10% discount when you use the code FnGeekery. To find out more visit http://www.erlang-factory.com/sfbay2015/home

I will be giving an Introduction to Erlang workshop at LambdaConf 2015 in Boulder, Colorado. LambdaConf will be taking place the 22nd-24th of May, and has offered a 10% discount of registration with code LambdaConf-Functional-Geekery. For more information and to register go to http://www.degoesconsulting.com/lambdaconf-2015/.

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

Eric’s Background
Erlang Camp
Erlang and OTP in Action
relx
Eric’s adventures in looking at a number of different languages
Martin Logan one of Eric’s co-authors on Erlang and OTP in Action
Martin J. Logan was a guest on Episode 13
Greenspun’s tenth rule applied to OTP
Erlang has a driver that is not about curiosity, but about scalability
Using a ! in Erlang to send a message is equivalent to using Assembly in C
Erlware
Joxa
“Erlang Runtime System is brilliant”
Why build a LISP on the Erlang VM
Core Erlang
Eric doesn’t love the lack of typing
Dialyzer and Success Typing
Dialyzer is sadly not a replacement for static typing
Static Typing is the next step from Garbage Collection for compliers
Erlang is typed at it’s core
Would love to write a language with static typing on the Erlang VM
Distribution of work between dynamic languages and statically typed languages
The importance of using -spec preprocessor in Erlang
rebar3
Why Eric thinks static typing is extremely important
Eric’s move to use OCaml for his side work
Jane Street’s Async
Using AWS to offset the cost of not having Erlang’s concurrency in OCaml
The problems of lack of static typing as systems grow large
The feeling of confidence when an OCaml program compiles and passes it’s tests
Missing the idea of processes for modeling problem space in OCaml like Erlang has
Microkernels
Erlang on Xen and Mirage for OCaml
Erlang on embedded hardware
Running applications on bare hardware
BSD Rump Kernels
Amazon Machine Image
Open Stack
Docker
The move away from multi-user systems
Operations and Development are the same now
The importance of automating from time to check in to deployment
AWS Cloud Formation
DevOps.com
Chef
Puppet
Ansible
Packer
Resources for understanding the actor model
Akka
Mozart Oz
AliceML
Gambit Scheme
Thinking of Actor Model and distributed concepts as microservices
Eventual Consistency
CAP Theorem
Gossip Protocol
Vector Clocks
Bloom
Concurrency is the future
Look for other articles on DevOps.com
Declarative approach to deployments
Keep and eye on rebar3 for Erlang
https://github.com/afiniate
Beerly Functional Meetup

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