Functional Geekery Episode 18 – Eric Normand

In this episode I talk with Eric Normand. We cover Eric’s background in Clojure, his Clojure videos, core.async, teaching new topics to people, the Pre-Conj Prep for 2014, and his Clojure Gazette.

Our Guest, Eric Normand

@ericnormand on Twitter
http://www.lispcast.com/
http://www.clojuregazette.com/
http://www.purelyfunctional.tv/

Announcements

Seven More Languages in Seven Weeks by Bruce Tate is going to production. If you were wanting to find out more after Episode 15, make sure to check out the book.

Topics

How Eric got into Clojure
Lisp 50 conference
Eric’s Lisp background
Clojure Blog space is lacking beginner info
Dump everything you know into your blog
Write a post about everything in the standard library
People need to know the basics
“I can solve any problem just by typing it into Google”
Intro to Clojure videos
Kickstarter as a way to test for an audience
“I like teaching the basics”
Teaching versus just writing what you know
Kyle Kingsbury’s Intro to Clojure – Clojure from the ground up
Web Development in Clojure
core.async videos
Helping a toy factory make their toys more concurrently
The practical side of using core.async
The process of making the core.async videos
Figure out what concepts one needs to know to understand
Pre-Conj Prep
What he could guess as the background of the talk
“I’ve watched every video from every conj”
(not= DSL macros) video
Asked all the speakers if they wanted to do an interview
Clojure Gazette
The history and influences of Clojure
The ability to think at a higher level of abstraction in Clojure
Caution against being the “Smug Lisp Weenie”
What am I missing that others are being smug about
Guy Steele on bringing C/C++ programmers halfway to Lisp
Rich Hickey’s keynote at RailsConf
Find those things in Clojure that you can’t do in other languages
Continuation Style Passing in Go versus core.async
Solution to Callback Hell – core.async in Browsers
Java Concurrency in Practice
Rich Hickey’s Reading List
Import to get concurrency in from the beginning
core.async gives you a local event loop
core.async channels compared to the actor model

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

Functional Geekery Episode 17 – José Valim

In this episode I talk with José Valim. We cover what prompted him to create a new language, design decisions in Elixir, what is needed for a 1.0 release, and much, much more.

Our Guest, José Valim

@josevalim on Twitter
@elixirlang on Twitter
plataformatec

Announcements

Listeners of Functional Geekery get 10% off CodeMesh 2014 when you use offer code fngeekery10.
Global Day of Coderettreat is November 15th. To find a Coderetreat in your area, or to organize one go to http://coderetreat.org/.
Seven More Languages in Seven Weeks by Bruce Tate is going to production. If you were wanting to find out more after Episode 15, make sure to check out the book.

Topics

Why Elixir
Making Rails Thread-safe
The Free Lunch is Over
“I want the next thing I write to be running on this [Erlang] Virtual Machine”
Things missing from Erlang
Inspirations and Influences for Elixir
The focus on being a very welcoming place
Protocols from Clojure for polymorphism
nil from The Joy of Clojure
The Forming of the Community around Elixir
Introducing Elixir by Simon St. Laurent
Programming Elixir by Dave Thomas
ElixirConf
Feedback from the Community
1.0 as A Solid Foundation for the Language
Elixir kernel
IEx
ExUnit
Mix
EEx – embedded Elixir
Logger – Format error messages nicely for Elixir
Riak
Lager from Basho
Package Management
Hex by Eric Meadows-Jönsson
Integration story between Erlang and Elixir
Starting over on Elixir
Separated “What I wanted from how I wanted it”
Getting to a very small core and build everything around it using macros
Exercise in Patience and taking time to thing about solutions
How Macros Work in Elixir
A Week with Elixir by Joe Armstrong
Ability to support version tagging Elixir code
Robert Virding in #elixir-lang on IRC
Issues shared between Elixir and Erlang
Requirement of all functions need to be defined in a module for code reloading
Ability for Hot Code Loading in Elixir
Extending OTP Behaviors in Elixir
Agents and Tasks for breaking apart a gen_server in Elixir
Agents are about state and Tasks about behavior
Thinking of gen_event as a stream of transformations
Time for the Community and Ecosystem to Grow
elixir-lang.org
Elixir Sips
ElixirConf and talks recorded by Confreaks
ElixirConf in Europe
StrangeLoop Conference and videos
#elixir-lang
elixir-lang-talk and elixir-lang-core mailing lists

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

Functional Geekery Episode 16 – Matthew Podwysocki

In this episode I talk with Matthew Podwysocki. We talk about Reactive Programming and Functional Reactive Programming, and the Reactive Extensions project. We also touch on Matt’s recent passion about hardware, and how that aligns with his interest in reactive programming.

Our Guest, Matthew Podwysocki

@mattpodwysocki on Twitter
@reactivex on Twitter
Reactive Extensions Portal

Announcements

Listeners of Functional Geekery get 10% off CodeMesh 2014 when you use offer code fngeekery10.
The ErlangCamp organizers are giving listeners of Functional Geekery 15% off the price of tickets for ErlangCamp 2014 with offer code FNG15. This discount applies to tickets for dinner with the speakers as well.
Global Day of Coderettreat is November 15th. To find a Coderetreat in your area, or to organize one go to http://coderetreat.org/.

Topics

Reactive Extensions and Microsoft Open Technologies
Reactive Manifesto
Microsoft Excel – One of the worlds largest reactive programming environments
More event driven, register an interest in a piece of data
Not pull based, but more pushed based if interested
Cortana
Responding to a Stimulus
Functional Reactive Programming
Conal Elliot and Paul Hudak
Functional Reactive Animation
Dynamic and Evolving Values, or values over time
Continious notion of time
Behaviors and Events
Reactive Extensions has concept of virtural time
Aggregation of events
Stock ticker example
Buffers and Windows
Arbitrary queries over streaming data
Reactive allows to take the data as it comes along and slice and dice in any number of ways
“If you can do an operation in SQL you can do an operation on events.”
“Not only is SQLServer whatever a database, but so is your mouse”
Advantage is you can do things without external state hanging around.
“It is simple enough you could have probably invted it youself”
RxJava at Netflix
ReactiveCocoa at Github
RxPython and RxRuby
Interesting things between langagues when porting reactive extensions to other langauges
Reactive Extensions Portal
Intro to Rx
http://rxmarbles.com/
Intro to Reactive Programming by André Staltz
Matt’s recent passion is hardware
Chris Williams and JSConf
Internet of Things
Robots Conf
“When everything you think about is a sensor, you can also think of as a database”

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

Functional Geekery Episode 15 – Bruce Tate

In this episode I talk with Bruce Tate. We talk about his books Seven Languages in Seven Weeks, and Seven More Languages in Seven Weeks, and cover what drove him to write the books, and what he thinks about the languages covered. We also touch on the other Seven in Seven books in the series, and what it takes if someone were to decide they wanted to write one.

Our Guest, Bruce Tate

@redrapids on Twitter

Announcements

Listeners of Functional Geekery get 10% off CodeMesh 2014 when you use offer code fngeekery10.
The ErlangCamp organizers are giving listeners of Functional Geekery 15% off the price of tickets for ErlangCamp 2014 with offer code FNG15. This discount applies to tickets for dinner with the speakers as well.
Global Day of Coderettreat is November 15th. To find a Coderetreat in your area, or to organize one go to http://coderetreat.org/.

Topics

Background of Seven Languages in Seven Weeks
Fear driven learning
“Prag” Dave Thomas
Beyond Java
Bruce’s intro to Ruby
cognitect
Prevailing attitude of “One true language”
Learning for the sake of learning
The Free Lunch is Over
What languages would the next big language be?
Seven Languages in Seven Weeks was the project to try to answer that question
What is the story of where the industry is moving?
Ruby
Io
Prolog
Scala
Erlang
Haskell
Joe Armstrong
Book was about the process of learning the languages
Mr Miyagi is the character for Factor
Clojure originally described as Mary Poppins meets The Matrix
Napoleon Dynamite as Perl
Forrest Gump as Pascal
The Griswolds as Visual Basic
“Object Oriented Programmer tries Haskell”
Dave Thomas’ ElixirConf talk
Why Ruby is limited in the long haul
Seven More Languages in Seven Weeks
“I told myself I’d never do this again”
Layering ideas on top of other languages
Idris and dependent typing
Elm for functional and reactive programming comping down to JavaScript
Evan Czaplicki
Thinking of functions of values across time
Two big Ah-Ha moments with working with Idris
Found himself thinking about the type system over code
Compile error found a logic error
The Seven More Languages: Lua, Factor, Elm, Elixir, Julia, miniKanren, and Idris
Bruce’s Presentation at ElixirConf
Elixir bring syntax, macro system, and concurrency model together
José Valim
Elixir is powerful and fast moving because of macro system
Erlang and Elixir as a powerful combination
Webmachine
Mix
Hex package management
Why the Cool Kids Don’t Use Erlang by Garrett Smith
Elixir Tooling: Exploring Beyond the Language by Eric Meadows-Jönsson
Seven Web Frameworks in Seven Weeks
Seven Concurrency Models in Seven Weeks
Seven Databases in Seven Weeks
“People want to know breadth”
“We need to be generalists again”
Paul Butcher
Possibility of Seven Historical Languages book
Gratification of A Seven in Seven book

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

Functional Geekery Episode 14 – Richard Minerich

In this episode I talk with Richard Minerich. We cover his intro to F#, benefits of using F#, the inter-op story with the rest of the .NET Framework, and the direction of growth for F#.

Our Guest, Richard Minerich

http://richardminerich.com/
@rickasaurus on Twitter
rickasaurus on Vimeo
rickasaurus on GitHub
BayardRock on GitHub

Announcements

Listeners of Functional Geekery get 10% off CodeMesh 2014 when you use offer code fngeekery10.

The ErlangCamp organizers are giving listeners of Functional Geekery 15% off the price of tickets for ErlangCamp 2014 with offer code FNG15. This discount applies to tickets for dinner with the speakers as well.

Topics

About Richard Minerich
Bayard Rock
How Rick got into F#
Exposure to Clojure via attending Rich Hickey’s Ant Colony Simulation presentation
Rick’s take on a F# ant colony simulation
F# is a ML family language for the .NET runtime
“Less code is more”
Open sourcing of F# and tools
Growing adoption of F#
Bing Advertising system and Halo ranking system are built using F#
Finance Companies picked up F#
F# Type Providers
F# adoption growing in a Alt.NET style
Type Erasure in F#
Properly encoded types, drastically reduces bug
Expressions not statements
F# is single pass, but leads to low dependencies
C# vs F# dependencies in projects blog post
“Put your functions in a data structure and call them after lookup”
Good places to prove out usage of F#
“All problems are better solved in F#” than C#
Pattern Matching to help with complicated domain logic
Great for testing C# code
Simple Made Easy
F# is simple, but with depth
Interoperability between F# and C#
Dependencies availability in F#
Type Providers for calling into other languages
F# expanding to OS X and Linux via Mono
Why Rick has interest in Haskell
Idris and dependent types
F# Tutorials
Presenting at CodeMesh 2014

Editor’s Note – After the call finished recording, Rick mentioned another good place for introducing F# is the build process, by using Fake

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

Functional Geekery Episode 13 – Martin J. Logan

In this episode I talk with Martin J. Logan. We cover his experience with Erlang, why OTP, his book Erlang and OTP in Action, designing processes in an actor based system, Erlang Camp and more.

Our Guest, Martin J. Logan

http://blog.erlware.org
@martinjlogan on Twitter
@erlangcamp on Twitter
@erlware on Twitter

Topics

Martin’s Background
Why Threads are a Bad Idea by John Ousterhaut
Erlware
How was the adjustment to learning Erlang
Why Object Oriented Programming never made sense as taught
Erlang as an Object Oriented language
Pattern matching, binary streams, and gen_fsm behavior
How Martin was able to stay in Erlang since 1999
Learning Erlang through the mailing list
How the Erlang community has evolved over time
Erlang and OTP in Action
Motivation of writing Erlang and OTP in Action
Why they took the approach to Erlang and OTP in Action they did
Martin and his co-authors as Mr. Miyagi teaching Erlang and OTP
Reticular activation
Practicality as the goal of the book
Ability to distribute systems
Location transparency in Erlang
Aptness of metaphor of Erlang processes as “micro-services”
How to determine right granularity of Erlang processes
Library applications and active applications
Designing for Actor Based Systems
Processes modeled as truly concurrent activities
Erlang Camp
Chicago Erlang user group
“At the end of this user group we are going to announce we are having a conference in the fall”
Teach basics of Erlang and dive into Erlang in two intense days
Repeat attendees help to coordinate the next Erlang Camps
Chicago Erlang Conference
Garrett Smith
LambdaJam from Alex Miller and Dave Thomas
Possibility of a second edition of Erlang and OTP in Action
DevOps.com

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

Functional Geekery Episode 12 – Adi Bolboaca

In this episode I talk with Adi Bolboaca. I we talk about his experience of facilitating Coderetreats and some of the different things he has noticed in relation to functional languages being used during the sessions.

Our Guest, Adi Bolboaca

http://blog.adrianbolboaca.ro/
@adibolb on Twitter

Topics

What is Coderetreat
How have functional languages shown up in Coderetreats
Conway’s Game of Life in APL
Conway’s Game of Life in Clojure from Clojure Programming
The types of solutions seen from functional languages
The tendency to not have good variable and functions names in functional languages
The lack of stressing the importance of clean code in functional languages
Single Responsibility Principle in functional languages
The exchange of ideas between people with different language paradigms experience
Challenges used to push people to a more functional style in object-oriented languages
The one guy doing Haskell during a Coderetreat
Interesting solutions seen from people using Erlang
Unexpected languages seen in Coderetreats
Pharo Smalltalk
The uniqueness of Perl programmers’ solutions
The regional distribution of functional languages showing up in Coderetreats
Lack of resources for clean code in functional programming and design
Importance of design and architecture in software
CodeRetreat.org
Global Day of Coderetreat

Updated Tuesday, July 29 2014: Global Day of Code Retreat 2014 has been announced.

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

Functional Geekery Episode 11 – Simon Peyton Jones

In this episode I talk with Simon Peyton Jones. I ask him about his background in Functional Programming, the growing popularity of Haskell, things he would like to bring into Haskell further, and his work with Computing At School.

Our Guest, Simon Peyton Jones

Simon Peyton Jones

Topics

Haskell
Computer Science at School
How Simon Peyton Jones got into Functional Programming
SK Combinators
Implementation of Functional Programming Languages (Amazon, online)
Creation of Haskell
Haskell as a Laboratory for Innovation
Interview on Software Engineering Radio
Core of Haskell as Lambda Calculus
System F
Growing Popularity of Haskell
Hackage and Cabal
Concurrency in Haskell
Haskell as a part of an Ideas Pipeline and Exemplar
“When the limestone of imperative programming is worn away the granite of functional programming will be revealed underneath”
Static Typing in Haskell vs Weaker Type Systems
Type Inference
Incomplete programs

  • Example 1: f x = sort _ ++ x
  • Example 2: f x = funny_lib_fn _ _ _

Things thinking about for future of Haskell
Refinement Types and Liquid Haskell
Larger Scale Modularity in Haskell and Software Components
Cloud Haskell
Refinements Examples

  • Example 1: f :: Int -> Int
  • Example 2: f :: (x:Int) -> {y:Int | y > x }
  • Example 3: g :: (x:Int -> {y:int | y>x}) -> …

Combination of Modularity at Package Level with Refinement Types as part of Component Contract
Bringing Computer Science as Subject Discipline to England National School Curriculum
What the curriculum looks like
Number of Programming Environments aimed at Children in School
Logo
Scratch
Alice
Kodu
Greenfoot
Blockly
touchdevelop
Programming is Only Part of Computer Science
Computer Science Unplugged
How to Participate at the Local Level Even
Join Computing At School

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

Ten Episodes of Functional Geekery Live

This is a cross post from my blog: http://www.proctor-it.com/ten-episodes-of-functional-geekery-live/, but I wanted to make sure it was announced here for those who may not visit my personal blog.


I just released the tenth episode of my podcast Functional Geekery.

I had been thinking about doing a podcast for a while, in return of all the information I get out of listening to other podcasts as part of my “Automobile University”, but could never come up with the niche. It occurred to me about 3am in the morning when I was taking a shift to get our little one, Ada (yes, after that Ada) who was about 5 months old at the time, back to sleep; the best ideas to come when you are least prepared to think about them.

I told my wife about my “crazy idea”, and explained to her what my goal was, and got her support for this experiment I was wanting to do, and told her I could do this in a very lean manner. I had a headset with microphone already, and told her it would just be a domain, hosting, and recording setup. My goal was to see if I couldn’t start a podcast for only about $100 investment with all things totaled. I would shoot to see if I could get at least 10 episodes done, to amortize the cost to be about $10 an episode.

I figured if nobody listened, but I could have 10 interesting conversations, the learning and exposure to ideas from those conversations would easily outweigh that initial investment, and the podcast would give me a good way to reach out to people I would love to talk to but probably wouldn’t have had the opportunity to talk to anytime soon.

I want to give a sincere heartfelt Thank You to all my guests so far, and everybody else I have reached out to so far to get initial conversations going about being a guest. Everyone has been much more receptive and open than I could have ever imagined. Everybody has been kind, and the worst I have gotten was some deferrals due to busy schedules, which I can appreciate. This is been even more honoring, as most of the people I have reached out to had likely never heard of me when I sent my emails to them asking if they would do me the honor of being a guest on the podcast I was starting. Thank you all for your support, and kindness, and if you ever have more things you would like to talk about, all of you always have an open invitation back.

I also want to thank everybody who has listened, and shared the podcast with others. I have gotten much better reception and response that I realistically imagined. Thank you for your shares, (re)tweets, comments, and suggestions. If you have anything else you want to share I would love to hear from you. If you need to find the best way to contact me, just head over to Functional Geekery’s About page.

Don’t worry, I am not planning on going anywhere at this point. I have another recording “in the can”, and am working to line up some more great guests. I also have a large list of people I would love to talk to at some point, and would hate to end before I got to use the podcast as a reason to be able to have a interesting conversation with them as well. ;)

As always, a giant Thank You goes out to David Belcher for the logo, who took my rough idea of a logo, and transformed it into something brilliant.

And an even bigger THANK YOU goes out to my wife, who has let me pursue this “crazy idea”.

Your host,
Proctor

Functional Geekery Episode 10 – Paul Holser

In this episode I talk with Paul Holser. We start out by talking about his junit-quickcheck project, being a life long learner and exploring ideas about computation from other languages, and what Java 8 is looking like in with the support of closures and lambdas.

Our Guest, Paul Holser

http://github.com/pholser
@pholser on Twitter

Topics

The Container Store
junit-quickcheck
JUnit
JUnit Theories
Real World Haskell
Haskell QuickCheck
Prime Factors Kata
Interest in trying to tackle shrinking for junit-quickcheck
Bringing functional ideas back into Java
Try to push the envelope of what you can do in a language
Groovy
Scala
Clojure
Being a life long student
MOOCs (Massive Open Online Course)
Coursera
edX
Why work in Java
Being willing to suck at something to afford learning opportunities
Ways to bring ideas from functional languages back to co-workers
Guava
Be gentle and persistent
mockito
How well Java 8 brings functional ideas back to Java
Work to use lambdas as matchers in JUnit
Hamcrest
Single Abstract Method Types
lambspec
Steve Yegge’s Execution in the Kingdom of Nouns
Support of closures and lambdas in Java 8
New Optional Type in Java 8
Dallas Area Java MUG at Improving Enterprises
Coursera Courses and other MOOCs
Functional Programming Principles in Scala on Coursera
Principles of Reactive Programming on Coursera

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