Eric B. Merritt – Functional Geekery

Our Guest, Eric B. Merritt

Sponsors

This episode is sponsored by DailyDrip.com. Use the coupon `geekery` to save $9 on your first month, and make learning part of your daily routine with DailyDrip.com.

Announcements

The 2016 Clojure Conj will be taking place in Austin, TX on December 1st – 3rd. Visit http://2016.clojure-conj.org for more information and to register.

Lambda Days will be taking place again on the 9th and 10th of February 2017. Visit www.lambdadays.org to submit your talk and keep updated as more information becomes available.

F(by) is coming up on the 10th of December in Minsk, Belarus. Visit http://fby.by to find out more and to register.

ClojureD will be taking place on the 25th of February, 2017, in Berlin, Germany. Visit www.clojured.de to get tickets and keep updated as more information becomes available.

BOB Konf is taking place the 24th of February 2017 in Berlin, Germany. Visit www.bobkonf.de for more information about the conference.

Destination Code, a new unconference starting in Utah, is having its inaugural event March 27-30th, 2017. Visit http://www.destination.codes/ to find out more.

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

Topics

About Eric
Eric on Episode 20
Unikernels
Unikernels are a Perfect Diamond vs Worse is Better of containers
Lisp: Good News, Bad News, How to Win Big
Section 2.1 The Rise of Worse is Better
Docker
NixOS
Kubernetes
How the old programming rules don’t apply
Platform Engineers and Business Application Engineer
AWS Elastic Beanstalk
OCaml
Haskell
Scala
A new way of getting Erlang’s concurrency model
How communication between microservices is setup when not using Erlang
Writing microservices in Haskell
Writing microservices in Scala
Platforms as tooling compared to Garbage Collection or Algebraic Data Types
Consul
HashiCorp
Docker Swarm
Moving to platform services and containers
“By allowing your engineers to focus on your business and offloading and removing the risk in developing your own platform your reducing your risk to make that transition”
Nix Package Manager
Ability to rebuild host at any point in time
Building containers using Nix expressions
NixOS
Running NixOS on your laptop
Resources for getting started with Nix
Start with using Nix Package manager on your laptop
Nix Manual
ArchLinux
Run NixOS on your laptop or AWS
Opportunities opened up for trying out and introducing a new language
Getting a side project in Haskell running in a container in production in a couple of hours
“Getting started is so much easier than it used to be”

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

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/.

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.

Our Guest, Eric B. Merritt

Sponsors

Announcements

Topics

Our Guest, Eric B. Merritt

Announcements

Sponsors

Topics

Social Media