Category: Podcasts

Categories
Podcasts

Functional Geekery Episode 99 – Christiano Haesbaert

In this episode I talk with Christiano Haesbaert. We talk his experience with the BSD kernel; foray into OCaml and MirageOS, and how OCaml fits in the realm of “systems languages”.

Our Guest, Christiano Haesbaert

@haesbaert_cf on Twitter
haesbaert on Github

Conference Announcements

Scala Wave 2017 will be taking place July 7th and 8th. Visit scalawave.io to find out more and to register.

EuroClojure will be taking place in Berlin, Germany on July 20th & 21st. Visit http://2017.euroclojure.org/ for more information and to keep updated.

BusConf will be taking place the 3rd-5th of August in Frankfurt, Germany. Registration is open, and more information can be found at http://www.bus-conf.org/.

Elixir.LDN will be taking place on August 17th. To help encourage inclusion and diversity 30 Free Scholarship places are available. Visit http://www.elixir.london/ to find out more and register.

The Strange Loop coming! It will be held in St. Louis, MO on September 28-30, 2017 at the Peabody Opera House. To submit your CfP, visit http://thestrangeloop.com/.

PWLConf 2017 will be taking place September 28th in St. Louis, MO, before Strange Loop. Visit http://pwlconf.org/ for more information and to stay updated on latest announcements.

Open FSharp will be taking place the 28th-29th of September in San Francisco, California. Visit openfsharp.org for more information and to register.

RacketCon is October 7th & 8th at the University of Washington, with keynote speakers Dan Friedman and Will Byrd. Visit http://con.racket-lang.org/ for more information and to register.

LambdaWorld will be taking place in Cadiz, Spain on October 26th and 27th. For more information visit and to keep updated visit http://www.lambda.world/.

CodeMesh is coming up November 8th and 9th in London. For more information, and to keep an eye open for registration, visit http://www.codemesh.io/.

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

Announcements

Some of you have asked how you can support Functional Geekery, in that vein,
Functional Geekery now has a Patreon Page.

If that is one of the ways you would like to show your support, you can
find out more at https://www.patreon.com/fngeekery.

Topics [@4:58]

About Christiano
OCaml
MirageOS
How Christiano was introduced to software
Starting out with Linux
Learning how to program to understand System Administration
K&R book
Linux Kernel interest
OpenBSD
The Little Schemer
Bitrig
Writing kernel code
MirageOS and running DNS in a Unikernel
Xen
Learning OCaml
Real World OCaml
“[In C] you learn to trust nothing”
Overview of MirageOS
Mirage Pioneer Projects Page
Writing a DHCP server in OCaml
C vs OCaml as systems languages
Control vs Data
Inria
OCaml Labs
Power of OCaml for control protocols
Nik Swamy on Functional Geekery about HTTPS in F*
Removing responsibility from the human side and letting the compiler take care of it
Mapping a protocol specification to OCaml versus C
“OCaml made me a lazy C programmer, because I started trusting stuff”
Creating Monsters by pulling in ideas that don’t fit from another language
Co-worker from Haskell and 2,000 line header file
Fuzz Testing in Mirage and OCaml
Docker and MirageOS
linuxkit
Being proved right with DHCP from usage and lack of bug reports
Writing a SSH library in OCaml
OpenSSH
Working on removing side-effects in SSH library (aside from entropy)
TLS Library in OCaml
OCaml TLS paper: Not-quite-so-broken TLS
“Call for request to have ability to zero out memory for security reasons”
Suggestions on getting started in OCaml or MirageOS
Real World OCaml
Mirage Pioneer Projects Page
#ocaml IRC Channel on Freenode
#mirage IRC Channel on Freenode
MirageOS Hackathon in Marrakech

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

Categories
Podcasts

Functional Geekery Episode 98 – Scott Wlaschin

In this episode I talk with Scott Wlaschin. We talk on the topic of his upcoming book Domain Modeling Made Functional, and using F# (and ML family type system languages) with Domain Driven Design.

Our Guest, Scott Wlaschin

@ScottWlaschin on Twitter
F# for fun and profit
Domain Modeling Made Functional

Conference Announcements

Curry On Barcelona will be taking place June 19-20th. For more information, visit http://www.curry-on.org/2017/.

Scala Wave 2017 will be taking place July 7th and 8th. Visit scalawave.io to find out more and to register.

O’Reilly Fluent Conference will be taking place June 19–22, 2017 in San Jose, California. Visit http://www.oreilly.com/pub/cpc/61309 to find out more and to register, and use code USRG for 20% off.

EuroClojure will be taking place in Berlin, Germany on July 20th & 21st. Visit http://2017.euroclojure.org/ for more information and to keep updated.

BusConf will be taking place the 3rd-5th of August in Frankfurt, Germany. Registration is open, and more information can be found at http://www.bus-conf.org/.

The Strange Loop coming! It will be held in St. Louis, MO on September 28-30, 2017 at the Peabody Opera House. To submit your CfP, visit http://thestrangeloop.com/.

PWLConf 2017 will be taking place September 28th in St. Louis, MO, before Strange Loop. Visit http://pwlconf.org/ for more information and to stay updated on latest announcements.

Open FSharp will be taking place the 28th-29th of September in San Francisco, California. Visit openfsharp.org for more information and to register.

RacketCon is October 7th & 8th at the University of Washington, with keynote speakers Dan Friedman and Will Byrd. Visit http://con.racket-lang.org/ for more information and to register.

LambdaWorld will be taking place in Cadiz, Spain on October 26th and 27th. For more information visit and to keep updated visit http://www.lambda.world/.

CodeMesh is coming up November 8th and 9th in London. For more information, and to keep an eye open for registration, visit http://www.codemesh.io/.

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

Announcements

Some of you have asked how you can support Functional Geekery, in that vein,
Functional Geekery now has a Patreon Page.

If that is one of the ways you would like to show your support, you can
find out more at https://www.patreon.com/fngeekery.

Topics [@5:41]

About Scott
Scott on Functional Geekery Episode 66
Scott on Three Devs and a Maybe
Programming Like Functions Matter with Jimmy Burrell and Scott Wlaschin
The Tale of State and Behaviour, Part 1 with Scott Wlaschin
The Tale of State and Behaviour, Part 2 with Scott Wlaschin
Scott’s upcoming book Domain Modeling Made Functional
How the book came about
F#
Using F# for Business Domain modeling
Balancing the formalistic mathematical side with the humanistic side of software
Building the thing right vs building the right thing
Domain-Driven Design
F#’s ability to evolve software while keeping aligned to the domain
Ability to lean on the compiler more in ML family languages
Ease, simplicity, and conciseness of adding new domain types
Domain types as concepts separated from their underlying serialization format
Benefit of immutable data in the domain
Ability to focus on domain logic and not defensive programming
Evolving type definitions as the domain logic evolves
Refactoring transformations vs state mutation changes
Abstraction vs Concretion in modeling the domain
Sum/Product Types vs Generic Types in modeling the domain
Ability to model against types without knowing what the types actually are
Monoid – ability to combine two types to make a larger type
“The principles don’t change”
Getting more people to talk about integrating Domain Driven Design and functional programming
Trying to organize the narrative of a book
Overview of what the book’s audience and organization will be
“I wanted to make something approachable”
Demystifying functional programming
Showing people with the focus on practical things over academic things
Lessons learned on not building the right thing
Outline of Scott’s book
Order processing system as example domain
Thirteen ways of looking at a turtle
Upcoming appearances
NDC Oslo
NDC Sydney
Open FSharp conference
NDC Conferences’ videos on Vimeo

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

Categories
Podcasts

Functional Geekery Episode 97 – Colin Barrett

In this episode I talk with Colin Barrett. We talk his intro to Objective C; exploration to Haskell, OCaml, and other languages; diving deep into functional programming; functional Swift; and more.

Our Guest, Colin Barrett

@cbarrett on Twitter
https://www.patreon.com/cbarrett

Conference Announcements

Curry On Barcelona will be taking place June 19-20th. For more information, visit http://www.curry-on.org/2017/.

Scala Wave 2017 will be taking place July 7th and 8th. Visit scalawave.io to find out more and to register.

O’Reilly Fluent Conference will be taking place June 19–22, 2017 in San Jose, California. Visit http://www.oreilly.com/pub/cpc/61309 to find out more and to register, and use code USRG for 20% off.

EuroClojure will be taking place in Berlin, Germany on July 20th & 21st. Visit http://2017.euroclojure.org/ for more information and to keep updated.

BusConf will be taking place the 3rd-5th of August in Frankfurt, Germany. Registration is open, and more information can be found at http://www.bus-conf.org/.

The Strange Loop coming! It will be held in St. Louis, MO on September 28-30, 2017 at the Peabody Opera House. To submit your CfP, visit http://thestrangeloop.com/.

PWLConf 2017 will be taking place September 28th in St. Louis, MO, before Strange Loop. Visit http://pwlconf.org/ for more information and to stay updated on latest announcements.

Open FSharp will be taking place the 28th-29th of September in San Francisco, California. Visit openfsharp.org for more information and to register.

LambdaWorld will be taking place in Cadiz, Spain on October 26th and 27th. For more information visit and to keep updated visit http://www.lambda.world/.

CodeMesh is coming up November 8th and 9th in London. For more information, and to keep an eye open for registration, visit http://www.codemesh.io/.

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

Announcements

Some of you have asked how you can support Functional Geekery, in that vein,
Functional Geekery now has a Patreon Page.

If that is one of the ways you would like to show your support, you can
find out more at https://www.patreon.com/fngeekery.

Topics [@5:33]

About Colin
Adium
How Colin first got exposed to software development
First exposures to programming languages
Objective C
C and C++
Hypercard
Looking into Haskell, OCaml, Ruby and other languages
MacRuby
bracer
Getting into Haskell
Going Broad vs Going Deep
Python
Seven Languages in Seven Weeks
Colin’s experience getting started with Haskell
“Depending on the angle you come at it, you either bounce off, or get hooked”
Real World Haskell
Taking lessons back out of Haskell
Blocks in Python and Objective C
Uncanny Valley of functional programming in Objective C
Getting deep into functional programming and functional reactive programming
Conal Elliott
Swift
Itai Ferber
Swift Evolution List
Smart KeyPaths
Digging into Swift
The dream of a ML family language with Objective C inter-op
Scala
Reactive Cocoa
What is the power of Swift vs Objective C?
“Separating out what to do from how to do it”
Swift compared to Haskell or an ML running server side
Rust
Kotlin
FindBugs
Recommendations for introducing more functional Swift
Kickstarter libraries
Kickstarter Prelude
Kickstarter mobile apps open sourced
Kickstarter iOS app
Functional Swift Conferences
Theorems for free!
Propositions as Types
Structure and Interpretation of Computer Programs
Compose Conference
Upcoming plans for a Front-end Functional meetup in NYC
Brandon Williams

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

Categories
Podcasts

Functional Geekery Episode 96 – Erik Svedäng

In this episode I talk with Erik Svedäng. We talk his background in functional programming, game development, and creating Carp, a statically typed Lisp for use in game development.

Our Guest, Erik Svedäng

https://eriksvedang.com/
@e_svedang on Twitter
eriksvedang on Github
Carp on Github

Conference Announcements

Elm Europe will be taking place June 8th and 9th in Paris, France. Visit http://elmeurope.org/ for more information and to register.

Erlang User Conference 2017 will be taking place June 8th and 9th in Stockholm, Sweden. Visit http://www.erlang-factory.com/euc2017 for more information and to register.

ZuriHac 2017 will be taking place in Zurich on the 9th-11th of June. For more information, and to register visit https://zurihac.info/

Oslo Elm Day is a one-day conference about Elm taking place June 10th in Oslo, Norway. Visit https://osloelmday.no/ for more information and to register.

Curry On Barcelona will be taking place June 19-20th. For more information, visit http://www.curry-on.org/2017/.

O’Reilly Fluent Conference will be taking place June 19–22, 2017 in San Jose, California. Visit http://www.oreilly.com/pub/cpc/61309 to find out more and to register, and use code USRG for 20% off.

EuroClojure will be taking place in Berlin, Germany on July 20th & 21st. Visit http://2017.euroclojure.org/ for more information and to keep updated.

BusConf will be taking place the 3rd-5th of August in Frankfurt, Germany. Registration is open, and more information can be found at http://www.bus-conf.org/.

The Strange Loop coming! It will be held in St. Louis, MO on September 28-30, 2017 at the Peabody Opera House. To submit your CfP, visit http://thestrangeloop.com/.

Open FSharp will be taking place the 28th-29th of September in San Francisco, California. Visit openfsharp.org for more information and to register.

LambdaWorld will be taking place in Cadiz, Spain on October 26th and 27th. For more information visit and to keep updated visit http://www.lambda.world/.

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

Announcements

Some of you have asked how you can support Functional Geekery, in that vein,
Functional Geekery now has a Patreon Page.

If that is one of the ways you would like to show your support, you can
find out more at https://www.patreon.com/fngeekery.

Topics [@4:50]

About Erik
Carp Language
Desire to make a game
How Erik was exposed to functional programming
Else Heart.Break()
Putting a programming language inside a game
Structure and Interpretation of Computer Programs
Fascination with programming and human languages
Fitting functional programming ideas into game development
Dr. Racket
LINQ
Foundation for starting a new language to do game development with
Clojure
Quill
Haskell
Gloss
F#
Unity
Reasons behind combining types and a Lisp in Carp
Integrating Types and Macros
Typed Racket
Clojure.typed
Lessons in language design for game engine loop performance levels
Rust
Memory management in Carp
Interactivity in developing a game in Carp
Wondering how much should Algebraic Data Types should be brought into a Lisp
Current state of Carp
Where to find out more about Carp
Carp on Gitter
Research.md in Carp repository
Type-Driven Development with Idris

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

Categories
Podcasts

Functional Geekery Episode 95 – Dan Friedman

In this episode I talk with Dan Friedman. Dan gives shares stories of his history working with Lisp, including topics such as the power of Lisp, and tips for introducing a language.

Our Guest, Dan Friedman

Dan’s Faculty Page

Conference Announcements

Elm Europe will be taking place June 8th and 9th in Paris, France. Visit http://elmeurope.org/ for more information and to register.

Erlang User Conference 2017 will be taking place June 8th and 9th in Stockholm, Sweden. Visit http://www.erlang-factory.com/euc2017 for more information and to register.

ZuriHac 2017 will be taking place in Zurich on the 9th-11th of June. For more information, and to register visit https://zurihac.info/

Oslo Elm Day is a one-day conference about Elm taking place June 10th in Oslo, Norway. Visit https://osloelmday.no/ for more information and to register.

Curry On Barcelona will be taking place June 19-20th. For more information, visit http://www.curry-on.org/2017/.

O’Reilly Fluent Conference will be taking place June 19–22, 2017 in San Jose, California. Visit http://www.oreilly.com/pub/cpc/61309 to find out more and to register, and use code USRG for 20% off.

EuroClojure will be taking place in Berlin, Germany on July 20th & 21st. Visit http://2017.euroclojure.org/ for more information and to keep updated.

BusConf will be taking place the 3rd-5th of August in Frankfurt, Germany. Registration is open, and more information can be found at http://www.bus-conf.org/.

The Strange Loop coming! It will be held in St. Louis, MO on September 28-30, 2017 at the Peabody Opera House. To submit your CfP, visit http://thestrangeloop.com/.

Open FSharp will be taking place the 28th-29th of September in San Fransisco, California. Visit openfsharp.org for more information and to register.

LambdaWorld will be taking place in Cadiz, Spain on October 26th and 27th. For more information visit and to keep updated visit http://www.lambda.world/.

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

Announcements

Some of you have asked how you can support Functional Geekery, in that vein,
Functional Geekery now has a Patreon Page.

If that is one of the ways you would like to show your support, you can
find out more at https://www.patreon.com/fngeekery.

Topics [@5:03]

About Dan
Dan’s early entry into teaching
Elliott Organick
MAD (Michigan Algorithmic Decoder) language
Multics
LISP 1.5 Programmer’s Manual
Indiana University
The Little Lisper origins
Selectric
Smith Corona
PDP-11
Ben Schneiderman
Getting Tenure
David Wise
CONS should not Evaluate its Arguments
Mitch Wand
Essentials of Programming Languages
Kanren
Oleg Kiselyov
Grasp
Bill Cohagan
Grope
Bob Baron
IBM 360
What about Lisp that appeals now and then to Dan
Brian Smith
Planner
Carl Hewitt
Eugene Charniak
Gerald Sussman
Conniver
Scheme Report (1975)
Higher Order Functions
Coda language
Bob Filman
William Byrd
Simplicity as the over arching model
miniKanren
Prolog
Dan’s 60th Birthday Celebration
Chung-chieh Shan
The Reasoned Schemer
Richard Salter
Implementing languages from scratch in a couple of evenings
Dick Kieburtz
Marigold
Power of macros in Lisp
Matthias Felleisen
Building an Operating System in a week
Racket
Jason Hemann
µKanren
Advice and tips for teaching
Convince students in first two lectures they will be changed
2 or 3 cases max when dealing with recursion
Ackermann function
Carl Eastlund
The Little Prover
David Christiansen
“Little Book” in the works on dependent types
Pie language

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

Categories
Podcasts

Functional Geekery Episode 94 – Evan Hubinger

In this episode I talk with Evan Hubinger. We talk his introduction to programming, creating the Coconut language, building Coconut as additive to Python 3, what makes a good language, and much, much more.

Our Guest, Evan Hubinger

@evhub on Github
Coconut
Coconut on Github

Conference Announcements

Elm Europe will be taking place June 8th and 9th in Paris, France. Visit http://elmeurope.org/ for more information and to register.

Erlang User Conference 2017 will be taking place June 8th and 9th in Stockholm, Sweden. Visit http://www.erlang-factory.com/euc2017 for more information and to register.

ZuriHac 2017 will be taking place in Zurich on the 9th-11th of June. For more information, and to register visit https://zurihac.info/

Oslo Elm Day is a one-day conference about Elm taking place June 10th in Oslo, Norway. Visit https://osloelmday.no/ for more information and to register.

Curry On Barcelona will be taking place June 19-20th. For more information, visit http://www.curry-on.org/2017/.

O’Reilly Fluent Conference will be taking place June 19–22, 2017 in San Jose, California. Visit http://www.oreilly.com/pub/cpc/61309 to find out more and to register, and use code USRG for 20% off.

EuroClojure will be taking place in Berlin, Germany on July 20th & 21st. Visit http://2017.euroclojure.org/ for more information and to keep updated.

BusConf will be taking place the 3rd-5th of August in Frankfurt, Germany. Registration is open, and more information can be found at http://www.bus-conf.org/.

The Strange Loop CfP is open! It will be held in St. Louis, MO on September 28-30, 2017 at the Peabody Opera House. To submit your CfP, visit http://thestrangeloop.com/.

LambdaWorld will be taking place in Cadiz, Spain on October 26th and 27th. For more information visit and to keep updated visit http://www.lambda.world/.

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

Announcements

Some of you have asked how you can support Functional Geekery, in that vein,
Functional Geekery now has a Patreon Page.

If that is one of the ways you would like to show your support, you can
find out more at https://www.patreon.com/fngeekery.

Topics [@4:32]

About Evan
Coconut
Harvey Mudd College
Python
Haskell
How Even first was exposed to programming
How Even first was exposed to functional programming
Being exposed to Haskell in High School
Reasonability of functional programs
JavaScript
CoffeeScript
TypeScript
Foundations from Python to learning Haskell
View of functional programming languages in college with previous exposure
Racket
What the Harvey Mudd professors get right teaching functional programming
“You don’t need to go wholesale to functional programming”
What set the stage for the idea to write a language
First pass at writing a programming language on Python
Rabbit
What helped inform lessons learned from first attempt at writing a language
“You have to write a compiler, not an interpreter”
Importance of readability of a language
Flow
Realizing the importance of building additive to Python 3
Babel
Six
2to3
3to2
What makes a good language
“Code gets read more frequently than it gets written”
“We are going to do what Python did for imperative programming”
Readability vs Familiarity
Compiling from Coconut to Universal Python
Inter-operability between Coconut and any Python code
Supporting Tail Call Optimization
Immutability in Coconut
Inter-operability with math libraries
NumPy
Pipeline operator in Coconut
Parsing and compilation
Pyparsing
Undebt: How We Refactored 3 Million Lines of Code
Maturity level of Coconut
Introducing type checking to Coconut
mypy
IPython
Jupyter
Overview of the state of type checking in Python with mypy
Future things to look for in Coconut
PyCon 2017
undebt, refactoring in Python
Coconut on Github
Coconut tutorial
Coconut Documentation
Coconut Gitter chat

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

Categories
Podcasts

Functional Geekery Episode 93 – Sander Spies

In this episode I talk with Sander Spies. We talk his intro to functional programming; what made OCaml click for him; the whats, whys, and hows of Reason; and much more.

Our Guest, Sander Spies

@sander_spies on Twitter

Conference Announcements

OSCON will be taking place May 8-11 in Austin, TX. For more information and to register visit: http://www.oreilly.com/pub/cpc/50016, and use code USRG for 20% off most passes.

LambdaConf 2017 will be taking place May 25th – 27th in Boulder, Colorado. Visit http://lambdaconf.us for more information.

Elm Europe will be taking place June 8th and 9th in Paris, France. Visit http://elmeurope.org/ for more information and to register.

ZuriHac 2017 will be taking place in Zurch on the 9th-11th of June. For more information, and to register visit https://zurihac.info/

Oslo Elm Day is a one-day conference about Elm taking place June 10th in Oslo, Norway. Visit https://osloelmday.no/ for more information and to register.

Curry On Barcelona will be taking place June 19-20th. For more information, visit http://www.curry-on.org/2017/.

O’Reilly Fluent Conference will be taking place June 19–22, 2017 in San Jose, California. Visit http://www.oreilly.com/pub/cpc/61309 to find out more and to register, and use code USRG for 20% off.

EuroClojure will be taking place in Berlin, Germany on July 20th & 21st. Visit http://2017.euroclojure.org/ for more information and to keep updated.

BusConf will be taking place the 3rd-5th of August in Frankfurt, Germany. Registration is open, and more information can be found at http://www.bus-conf.org/.

The Strange Loop CfP is open! It will be held in St. Louis, MO on September 28-30, 2017 at the Peabody Opera House. To submit your CfP, visit http://thestrangeloop.com/.

LambdaWorld will be taking place in Cadiz, Spain on October 26th and 27th. For more information visit and to keep updated visit http://www.lambda.world/.

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

Announcements

Some of you have asked how you can support Functional Geekery, in that vein,
Functional Geekery now has a Patreon Page.

If that is one of the ways you would like to show your support, you can
find out more at https://www.patreon.com/fngeekery.

Topics [@4:36]

About Sander
Reason
OCaml Labs
How Sander got into software development
Java Applets
Java
C#
How Sander got into functional programming
JavaScript
Issues around managing state
React
Moving to use immutability and types in JavaScript
How Sander started getting into OCaml
Coming into a language with immutability and types as defaults
What set the foundation for OCaml to be quickly understood
Immutable.js
David Nolan’s talk on immutability
Om
“If you can remove categories of problems, do it”
OCaml PPX
Jordan Walke
Overview of Reason
Where Reason fits between JavaScript and OCaml
ReasonNativeProject
esy-npm-project-example
JavaScript is already compiling to JavaScript
reason-react
Goal of introducing Reason side by side with existing JavaScript
Reason’s interaction with “unsafe” JavaScript
BuckleScript
BuckleTypes
Reason’s fit server side as part of Node.js apps
Bridging the communities of JavaScript and OCaml
What documentation might be helpful to spread the Reason community
“Document what you are doing, [and] explain why you are doing it”
The need for more content on Reason, OCaml, and functional programming in general
What might be looking at for the upcoming future of Reason
“What would happen if you rewrote React in Reason?”
Reason Discord Channel
@reasonmlon Twitter
IRC (freenode #reasonml)
Potential of Reason on the native mobile side
Upcoming Secret Project to be announced
If you are trying out reason feel free to ask questions

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

Categories
Podcasts

Functional Geekery Episode 92 – Irina Guberman

In this episode I talk with Irina Guberman. We talk her entry into programming, coming across Erlang at the “perfect time”, importance of learning multiple paradigms, programmable hardware, and more.

Our Guest, Irina Guberman

@irina_guberman on Twitter
iguberman on Github

Conference Announcements

Call for presenters is now open for Velocity London 2017. Visit http://www.oreilly.com/pub/cpc/68627 for more information and to submit your proposal.

The Call for Presenters is now open for Software Architecture in London, UK. Visit http://www.oreilly.com/pub/cpc/68630 for more information and to submit your proposal.

flatMap(Oslo) is a FP-conference with focus on Scala and the JVM, taking place on May 2nd and 3rd in Oslo, Norway. Please go to http://2017.flatmap.no/ to learn more.

ElixirConf EU will be taking place on May 4th and 5th with tutorials on May 3rd. For more information visit: http://www.elixirconf.eu/

OSCON will be taking place May 8-11 in Austin, TX. For more information and to register visit: http://www.oreilly.com/pub/cpc/50016, and use code USRG for 20% off most passes.

LambdaConf 2017 will be taking place May 25th – 27th in Boulder, Colorado. Visit http://lambdaconf.us for more information.

Elm Europe will be taking place June 8th and 9th in Paris, France. Visit http://elmeurope.org/ for more information and to register.

ZuriHac 2017 will be taking place in Zurch on the 9th-11th of June. For more information, and to register visit https://zurihac.info/

Oslo Elm Day is a one-day conference about Elm taking place June 10th in Oslo, Norway. Visit https://osloelmday.no/ for more information and to register.

Curry On Barcelona will be taking place June 19-20th. For more information, visit http://www.curry-on.org/2017/.

O’Reilly Fluent Conference will be taking place June 19–22, 2017 in San Jose, California. Visit http://www.oreilly.com/pub/cpc/61309 to find out more and to register, and use code USRG for 20% off.

EuroClojure will be taking place in Berlin, Germany on July 20th & 21st. Visit http://2017.euroclojure.org/ for more information and to keep updated.

BusConf will be taking place the 3rd-5th of August in Frankfurt, Germany. Registration is open, and more information can be found at http://www.bus-conf.org/.

The Strange Loop CfP is open! It will be held in St. Louis, MO on September 28-30, 2017 at the Peabody Opera House. To submit your CfP, visit http://thestrangeloop.com/.

LambdaWorld will be taking place in Cadiz, Spain on October 26th and 27th. For more information visit and to keep updated visit http://www.lambda.world/.

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

Announcements

Some of you have asked how you can support Functional Geekery, in that vein,
Functional Geekery now has a Patreon Page.

If that is one of the ways you would like to show your support, you can
find out more at https://www.patreon.com/fngeekery.

Topics [@7:43]

About Irina
How Irina got into software development
What made software development click and be “addictive”
SuperCard
How Irina got introduced to Erlang
Java
Recruiter email mentioning Erlang
Programming Erlang by Joe Armstrong
Finding Erlang at the perfect time
Chicago Erlang Community
Martin J. Logan’s on Episode 13
Eric B. Merritt on Episode 20
Garrett Smith on Episode 56
Encountering “Why should I learn another language” questions
Feeling the pain that Erlang has already solved
Elixir
Lisp Flavoured Erlang
mnesia in Erlang
WhatsApp
“A language that has a database built in”
The beauty of “doing nothing” to support concurrency and distribution
“I like solving problems by doing nothing”
Starting to learn Erlang in 2010
Learn You Some Erlang for Great Good
Erlang and OTP in Action
Importance of marketing and documentation for languages
Phoenix Framework
False idea of “These tools will speak for themselves”
Erlang Performance Lab
Michal Slaski presenting Erlang Performance Lab at Erlang and Elixir Factory SF 2017
Learning how to understand how to structure Erlang applications
Building a Cache chapter in Erlang and OTP in Action
Importance of learning and understanding new paradigms
“Letting go of everything you learned before”
Scratch
Hardware Definition Languages
Verilog
Empowering devices for IoT with Erlang and FPGA at Erlang and Elixir Factory SF 2017
Learning a language better by learning other languages
Racket
Beautiful Racket by Matthew Butterick
Hour of Code
FPGA – Field-programmable gate array

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

Categories
Podcasts

Functional Geekery Episode 91 – Jay McCarthy

In this episode I talk with Jay McCarthy. We talk his intro to software, functional programming, Racket, relation between the Unix Philosophy and functional programming, more Racket, continuations, verified programming, and much, much more.

Our Guest, Jay McCarthy

@jeapostrophe on Twitter
jeapostrophe on Github
https://jeapostrophe.github.io/home/

Conference Announcements

Call for presenters is now open for Velocity London 2017. Visit http://www.oreilly.com/pub/cpc/68627 for more information and to submit your proposal.

The Call for Presenters is now open for Software Architecture in London, UK. Visit http://www.oreilly.com/pub/cpc/68630 for more information and to submit your proposal.

flatMap(Oslo) is a FP-conference with focus on Scala and the JVM, taking place on May 2nd and 3rd in Oslo, Norway. Please go to http://2017.flatmap.no/ to learn more.

ElixirConf EU will be taking place on May 4th and 5th with tutorials on May 3rd. For more information visit: http://www.elixirconf.eu/

OSCON will be taking place May 8-11 in Austin, TX. For more information and to register visit: http://www.oreilly.com/pub/cpc/50016, and use code USRG for 20% off most passes.

LambdaConf 2017 will be taking place May 25th – 27th in Boulder, Colorado. Visit http://lambdaconf.us for more information.

Elm Europe will be taking place June 8th and 9th in Paris, France. Visit http://elmeurope.org/ for more information and to register.

ZuriHac 2017 will be taking place in Zurch on the 9th-11th of June. For more information, and to register visit https://zurihac.info/

Oslo Elm Day is a one-day conference about Elm taking place June 10th in Oslo, Norway. Visit https://osloelmday.no/ for more information and to register.

Curry On Barcelona will be taking place June 19-20th. For more information, visit http://www.curry-on.org/2017/.

O’Reilly Fluent Conference will be taking place June 19–22, 2017 in San Jose, California. Visit http://www.oreilly.com/pub/cpc/61309 to find out more and to register, and use code USRG for 20% off.

EuroClojure will be taking place in Berlin, Germany on July 20th & 21st. Visit http://2017.euroclojure.org/ for more information and to keep updated.

BusConf will be taking place the 3rd-5th of August in Frankfurt, Germany. Registration is open, and more information can be found at http://www.bus-conf.org/.

The Strange Loop CfP is open! It will be held in St. Louis, MO on September 28-30, 2017 at the Peabody Opera House. To submit your CfP, visit http://thestrangeloop.com/.

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

Announcements

Some of you have asked how you can support Functional Geekery, in that vein,
Functional Geekery now has a Patreon Page.

If that is one of the ways you would like to show your support, you can
find out more at https://www.patreon.com/fngeekery.

Topics [@7:49]

About Jay
Racket
What got Jay interested in Software
C
Perl
Continuation Based Web Server in Perl
Coq
What got Jay into Functional Programming
Paul Graham on Continuations in On Lisp
“Let’s change the language to make it easy to provide that property”
Rust
Garbage Collection
Revenge of the Son of The Lisp Machine
DrRacket
The 3 Stages of Understanding Functional Programming
The relation of The Unix Philosophy to Functional Programming
ed
Smalltalk
Working between the Managed part of your program with the unmanaged part of your program
Working between the Typed part of your program with the Un-Typed part of your program
#lang in Racket
datalog
Racket as a virtual machine
How Jay moved to being part of Racket management
Racket Web Server
Shriram Krishnamurthi
PLT group and Racket
Matthias Felleisen
What are continuations
“It’s the remainder of work to be done”
The Stack as a Continuation
“[Their stack trace] tells them where their data is going”
Stateless HTTP Protocol as a Continuation in the Action of your form
Asynchronous Callbacks in JavaScript as Continuations
Continuations as a value in Racket
Serialization of Continuations in Racket
drdr
Temporal Contracts
Temporal Contracts being similar to Session Types
Racket Remix
Racket Module system vs Units
R5RS
“Go back a little bit to the drawing board and do new things”
“Functional Programming languages in general try to remove the special parts of the language”
Brackets and Braces in Racket
Jay’s RacketCon 2016 presentation
Racket as a full fledged programming language
Beautiful Racket by Matthew Butterick
Integrating Verified Programming with Dynamic Languages
The Halting Problem
Gödel Incompleteness Theorem
Verified Kernels of your software
Typed Racket
“Many different kinds of guarantees that can be provided”
New England Programming Languages and Systems Symposium
RacketCon
The Inside Racket Seminar

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

Categories
Podcasts

Functional Geekery Episode 90 – Federico Carrone

In this episode I talk with Federico Carrone. We talk about his experience with Erlang, MLs, Lisps, various other languages, his “This is not a Monad Tutorial” interviews, and much, much more.

Our Guest, Federico Carrone

@unbalancedparen on Twitter
unbalancedparentheses on Github
http://www.federicocarrone.com/
This is not a Monad tutorial

Conference Announcements

CycleConf will be taking place on the 21st-23rd of April. Visit cycleconf.com to find out more.

Call for presenters is now open for Velocity London 2017. Visit http://www.oreilly.com/pub/cpc/68627 for more information and to submit your proposal.

The Call for Presenters is now open for Software Architecture in London, UK. Visit http://www.oreilly.com/pub/cpc/68630 for more information and to submit your proposal.

flatMap(Oslo) is a FP-conference with focus on Scala and the JVM, taking place on May 2nd and 3rd in Oslo, Norway. Please go to http://2017.flatmap.no/cfp/ to learn more.

ElixirConf EU will be taking place on May 4th and 5th with tutorials on May 3rd. For more information visit: http://www.elixirconf.eu/

OSCON will be taking place May 8-11 in Austin, TX. For more information and to register visit: http://www.oreilly.com/pub/cpc/50016, and use code USRG for 20% off most passes.

LambdaConf 2017 will be taking place May 25th – 27th in Boulder, Colorado. Visit http://lambdaconf.us for more information.

Elm Europe will be taking place June 8th and 9th in Paris, France. Visit http://elmeurope.org/ for more information and to register.

ZuriHac 2017 will be taking place in Zurch on the 9th-11th of June. For more information, and to register visit https://zurihac.info/

Curry On Barcelona will be taking place June 19-20th. For more information, visit http://www.curry-on.org/2017/.

O’Reilly Fluent Conference will be taking place June 19–22, 2017 in San Jose, California. Visit http://www.oreilly.com/pub/cpc/61309 to find out more and to register, and use code USRG for 20% off.

EuroClojure will be taking place in Berlin, Germany on July 20th & 21st. Visit http://2017.euroclojure.org/ for more information and to keep updated.

BusConf will be taking place the 3rd-5th of August in Frankfurt, Germany. Registration is open, and more information can be found at http://www.bus-conf.org/.

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

Announcements

Some of you have asked how you can support Functional Geekery, in that vein,
Functional Geekery now has a Patreon Page.

If that is one of the ways you would like to show your support, you can
find out more at https://www.patreon.com/fngeekery.

Topics [@7:22]

About Federico
Erlang
Elixir
This is not a Monad tutorial
Debian
Python
How Federico got into being interested in different languages
Coders at Work: Reflections on the Craft of Programming by Peter Seibel
Learning curve of Erlang
Architecture of Processes
What helped click about Architecture in Erlang
Inaka
“Writing Callbacks […] is not the way I think”
Suggestions for making Architecture click
Cowboy
VerneMQ
RabbitMQ
Riak
Riak Core
What about Erlang/Elixir excites Federico
“Sending a process to a remote node is the same as sending a process on the same node”
Observer
eprof
cprof
Looking into other different languages
Haskell
ML family languages
What triggered interest in static type languages
Dialyzer
Brujo Benavides on Episode 43
Elm
Rust
Appeal of Lisp
Emacs
The appeal of syntactically different languages
Which Lisps are interesting to Federico
Emacs Lisp
Clojure
Racket
Chicken Scheme
Shen
What interests Federico about Rust
NIFs?
Bringing C and ML together
Firefox
Firefox and Rust
Erlang Scheduler
Folding ideas into a language during initial design vs later in lifetime
Jesper Louis Anderson interview Part I
Jesper Louis Anderson interview Part II
Importance of experimentation around your software
Importance of discussion and strong opinions in learning
Jay Kreps on Kafka Interview
Tools vs Frameworks
Other and/or Upcoming projects
Spawned Shelter
Desire for a Spawned Shelter equivalents for MLs and Lisps
Desire to create a programming language folding in lessons from Erlang, MLs, and Lisps

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