Functional Geekery 296761

In this episode I talk with Brian Hicks. We talk his into to Elm, Elm Conf, the State of Elm Survey, community building, and more. Our Guest, Brian Hicks https://www.brianthicks.com/ The JSON Survival Kit – Use code `geekery` for 10% off @brianhicks on Twitter brianhicks on Github Conference Announcements Compose Melbourne will be taking place August 28th and 29th. For more information and to , visit http://www.composeconference.org/2017-melbourne/. 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 . 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 . 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/. Moonconf will be taking place the 9th-11th of November. For more information visit http://moonconf.org/. If you have a conference related to functional programming, me, and I will be happy to announce it. Announcements Some of you have asked how you can 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 , you can find out more at https://www.patreon.com/fngeekery. Topics [@4:20] About Brian NoRedInk Elm I Brian got introduced to programming PHP Python Haskell Functional Programming Principles in Scala Coursera Course STL Python Group Learning “You can implement any collection operator with foldl and foldr” Experience folding functional programming constructs back into Python Celery Go Strange Loop Make the Back-end Team Jealous Mantl Mantl UI frontend Ansible Mesos Kubernetes First experience getting into Elm Union Types start-app JSON.Decode library Pipeline operator in Elm Currying in Elm Error Messages in Elm Using the compiler as a tool to guide a refactoring What prompted putting on Elm Conf St. Louis Elm group Elm Conf US 2017 is taking place September 28 State of Elm Survey State of Elm Survey 2017 Results State of Elm Survey 2017 overview elm-format Integrating Elm into your existing JavaScript application style-elements from Matthew Griffith High level picture of Elm components “The benefit of Elm is creating apps that don’t break” “Elm approach to API design is rather like grilling something versus cooking it sous-vide” Teasing Elm Conf 2017 Strange Loop “I’m happy to recommend restaurants as I am local” Elm Conf US compared to other Elm Conferences Elm Europe Oslo Elm Day Encouragements for getting more Elm Conferences Start a Elm group Recommendations and places to get started dreamwriter builtwithelm.co Elm Slack Elm sub-reddit Elm in Action The JSON Survival Kit Use code `geekery` for 10% off Planet Elm As always, a giant Thank You goes to David Belcher for the logo design.

In this episode I talk with Adam Chlipala. We talk Coq, proof assistants, getting started, tooling, domains for advancement using proofs, Ur/Web, and much, much more. Our Guest, Adam Chlipala Adam’s home page Conference Announcements BusConf will be taking place the 3rd-5th of August in Frankfurt, . 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 . Compose Melbourne will be taking place August 28th and 29th. For more information and to , visit http://www.composeconference.org/2017-melbourne/. 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 . 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 . 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/. Moonconf will be taking place the 9th-11th of November. For more information visit http://moonconf.org/. If you have a conference related to functional programming, me, and I will be happy to announce it. Announcements Some of you have asked how you can 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 , you can find out more at https://www.patreon.com/fngeekery. Topics [@5:07] About Adam Coq “Theorem proving is a secret weapon for improving the way we build systems” Adam’s first encounter with ML Going from ML to Coq What theorem proving looks like today Addictiveness of proving software Xavier Leroy – creator of OCaml Good domains of software for proof assistants Compilers Overall technology of effective proofs Interfaces between components The Science of Deep Specification @deep_spec on Twitter Proving at the internal layers of a system Generative Testing compared to Proof Specifications QuickChick What using Coq to do your proofs looks like Proof General Coq IDE “We should be able to take all the mental effort going into unit testing and put it into specifying and proving instead, for at least some important classes of systems.” How to start moving toward adopting proof systems Bedrock Kami Software Foundations by Benjamin Pierce, et. al. DeepSpec project summer school What domains where formal proof systems fit well Heartbleed Cryptography Fiat Cryptography Systematic Synthesis of Elliptic Curve Cryptography Implementations TLS 1.3 standard draft Ur Ur/Web Tier-less languages How Ur/Web works at a high level Automatically compiling Ur to Server code, Client code, or SQL depending on context of usage Selling points of Ur/Web for Haskell or ML fans Object Capability Discipline The Ur/Web People Organizer How Higher-Kinded Types fit in Ur/Web Ur/Web’s concurrency model TechEmpower Web Framework Benchmarks Importance of database transactions and their usage in Ur/Web Automatic retry of transaction failure built into Ur/Web Fiat Building a DNS server using Fiat The End of History? Using a Proof Assistant to Replace Language Design with Library Design SNAPL 2017 As always, a giant Thank You goes to David Belcher for the logo design.

In this episode I talk with Mark Allen. We talk his introduction to Erlang, deployment, Mark’s various projects, lessons in distributed applications, and much more. Our Guest, Mark Allen @bytemeorg on Twitter mrallen1 on Github Conference Announcements EuroClojure will be taking place in Berlin, 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, . 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 . 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 . 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 . 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/. Moonconf will be taking place the 9th-11th of November. For more information visit http://moonconf.org/. If you have a conference related to functional programming, me, and I will be happy to announce it. Announcements Some of you have asked how you can 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 , you can find out more at https://www.patreon.com/fngeekery. Topics [@4:43] About Mark How Mark moved from systems istration to software development Alert Logic Erlang Akka Microsoft Orleans Akka.NET Mark’s first exposure to Erlang Erlang’s virtues as stumbling blocks to newcomers to Erlang Understanding loops via recursion Seeing the power of Erlang with long running concurrent tasks “[Erlang] makes easy things hard, and hard things easy” OCaml Scala Moving from understanding syntax to thinking in processes Messages and Mailboxes as a means to concurrency “If you do have surprises, it’s because you forgot to update that part of the state” Basho Making the transition to deeper distributed computing with Erlang Riak Core “[In Riak Core] the unit of computation is a VNode” udon Reid Draper on Functional Geekery Episode 6 Continuing to fall victim to the fallacies of distributed computing The Network is Reliable Deployment story of Erlang Riak RabbitMQ “Your team owns the code… You own the problem the entire time” AWS and Docker hex.pm Project to build a repository behind the company firewall Elixir istrating Erlang folsom exometer Datadog lager Error logging and potential to crash the vm with large state Erlang/OTP release 20.0 Erlang hot-code loading compared to deployment with Amazon AWS and Docker Ability to patch long running services while still running “Don’t be intimidated by Erlang” Way Erlang has changed the way Mark thinks in other languages Alert Logic is hiring if you want to write Erlang day-to-day Examples of good Erlang structure throwdown Midewest.io Taipan parque udon kerl Erlang Conference 2017 Sagas in Erlang gisla Curry On Barcelona The Sharp Edges of Leaky Abstraction As always, a giant Thank You goes to David Belcher for the logo design.

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 . EuroClojure will be taking place in Berlin, 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, . 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 . 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 . 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 . 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, me, and I will be happy to announce it. Announcements Some of you have asked how you can 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 , 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 istration 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 DH 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 DH 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.

In this episode I talk with Scott Wlaschin. We talk on the topic of his 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 . O’Reilly Fluent Conference will be taking place June 19–22, 2017 in San Jose, California. Visit http://www.oreilly.com/pub/c/61309 to find out more and to , and use code USRG for 20% off. EuroClojure will be taking place in Berlin, 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, . 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 . 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 . 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, me, and I will be happy to announce it. Announcements Some of you have asked how you can 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 , 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 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 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.

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 . O’Reilly Fluent Conference will be taking place June 19–22, 2017 in San Jose, California. Visit http://www.oreilly.com/pub/c/61309 to find out more and to , and use code USRG for 20% off. EuroClojure will be taking place in Berlin, 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, . 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 . 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, me, and I will be happy to announce it. Announcements Some of you have asked how you can 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 , 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 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.

In this episode I talk with Erik Sveda?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 Sveda?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, . Visit http://elmeurope.org/ for more information and to . Erlang 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 . ZuriHac 2017 will be taking place in Zurich on the 9th-11th of June. For more information, and to 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 . 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/c/61309 to find out more and to , and use code USRG for 20% off. EuroClojure will be taking place in Berlin, 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, . 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 . 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, me, and I will be happy to announce it. Announcements Some of you have asked how you can 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 , 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.

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, . Visit http://elmeurope.org/ for more information and to . Erlang 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 . ZuriHac 2017 will be taking place in Zurich on the 9th-11th of June. For more information, and to 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 . 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/c/61309 to find out more and to , and use code USRG for 20% off. EuroClojure will be taking place in Berlin, 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, . 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 . 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, me, and I will be happy to announce it. Announcements Some of you have asked how you can 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 , 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.

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, . Visit http://elmeurope.org/ for more information and to . Erlang 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 . ZuriHac 2017 will be taking place in Zurich on the 9th-11th of June. For more information, and to 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 . 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/c/61309 to find out more and to , and use code USRG for 20% off. EuroClojure will be taking place in Berlin, 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, . 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, me, and I will be happy to announce it. Announcements Some of you have asked how you can 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 , 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 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 ing 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.

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 visit: http://www.oreilly.com/pub/c/50016, and use code USRG for 20% off most es. 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, . Visit http://elmeurope.org/ for more information and to . ZuriHac 2017 will be taking place in Zurch on the 9th-11th of June. For more information, and to 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 . 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/c/61309 to find out more and to , and use code USRG for 20% off. EuroClojure will be taking place in Berlin, 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, . 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, me, and I will be happy to announce it. Announcements Some of you have asked how you can 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 , 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 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 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.

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/c/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/c/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 visit: http://www.oreilly.com/pub/c/50016, and use code USRG for 20% off most es. 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, . Visit http://elmeurope.org/ for more information and to . ZuriHac 2017 will be taking place in Zurch on the 9th-11th of June. For more information, and to 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 . 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/c/61309 to find out more and to , and use code USRG for 20% off. EuroClojure will be taking place in Berlin, 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, . 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, me, and I will be happy to announce it. Announcements Some of you have asked how you can 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 , 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 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.

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/c/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/c/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 visit: http://www.oreilly.com/pub/c/50016, and use code USRG for 20% off most es. 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, . Visit http://elmeurope.org/ for more information and to . ZuriHac 2017 will be taking place in Zurch on the 9th-11th of June. For more information, and to 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/c/61309 to find out more and to , and use code USRG for 20% off. EuroClojure will be taking place in Berlin, 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, . 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, me, and I will be happy to announce it. Announcements Some of you have asked how you can 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 , 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.

In this episode I talk with Federico Carrone. We talk his 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/c/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/c/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 visit: http://www.oreilly.com/pub/c/50016, and use code USRG for 20% off most es. 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, . Visit http://elmeurope.org/ for more information and to . ZuriHac 2017 will be taking place in Zurch on the 9th-11th of June. For more information, and to 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/c/61309 to find out more and to , and use code USRG for 20% off. EuroClojure will be taking place in Berlin, 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, . Registration is open, and more information can be found at http://www.bus-conf.org/. If you have a conference related to functional programming, me, and I will be happy to announce it. Announcements Some of you have asked how you can 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 , 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 rof 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 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.

In this episode I talk with Baishampayan Ghose, better known as BG. We talk his entry into software development, exposure to Lisp, using Common Lisp, moving to Clojure, and much, much more. Our Guest, Baishampayan Ghose a.k.a BG @ghoseb on Twitter ghoseb on Github Conference Announcements The O’Reilly Software Architecture Conference will be taking place April 2-5, 2017 in New York. Visit http://www.oreilly.com/pub/c/50017 to and find out more, and use code USRG for 20% off most es. 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/c/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/c/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 visit: http://www.oreilly.com/pub/c/50016, and use code USRG for 20% off most es. 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, . Visit http://elmeurope.org/ for more information and to . ZuriHac 2017 will be taking place in Zurch on the 9th-11th of June. For more information, and to visit https://zurihac.info/ O’Reilly Fluent Conference will be taking place June 19–22, 2017 in San Jose, California. Visit http://www.oreilly.com/pub/c/61309 to find out more and to , and use code USRG for 20% off. EuroClojure will be taking place in Berlin, 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, . Registration is open, and more information can be found at http://www.bus-conf.org/. If you have a conference related to functional programming, me, and I will be happy to announce it. Announcements Some of you have asked how you can 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 , you can find out more at https://www.patreon.com/fngeekery. Topics [@6:30] About BG Helpshift @helpshift on Twitter Emacs Emacs Lisp Structure and Interpretation of Computer Programs Common Lisp Clojure “Yet Another Lisp Dialect” How BG got into software Not having a computer around as a kid “Which language should I learn?” “Later I figured that SI was teaching computer science, not software engineering” Using Common Lisp “In Anger” S-Expressions “Too much syntactic sugar gives cancer of the semi-colon” Power of Macros in Lisp On Lisp Jamie Zawinski and Netscape Paul Graham Common Lisp vs Clojure gensym in Macros in Clojure Starting a company based on Clojure in 2009 People coming into Clojure from a wide set of languages Planet Clojure Starting Planet Clojure Stealing Planet Clojure to create Planet Erlang @planetclojure Twitter Rich’s talk “Language of the System” Cross Pollination of ideas in Clojure clojure.spec What is on the radar around Clojure for Helpshift What other Lisps look appealing Racket core.logic miniKanren Parsing with Derivatives Thinking more in of systems than programs BG’s keynote “The Post Modern Programmer” at PyCon India Appearances Look for announcements on Twitter IN/Clojure As always, a giant Thank You goes to David Belcher for the logo design.

In this episode I talk with Justin Woo. We talk his introduction to functional programming; the transition from ClojureScript to Elm to PureScript for side projects; the appeal of PureScript; evangelizing PureScript and more. Our Guest, Justin Woo @jusrin00 on Twitter justinwoo on Github https://justinwoo.github.io/ Justin’s blog entries on Qiita Announcements The O’Reilly Software Architecture Conference will be taking place April 2-5, 2017 in New York. Visit http://www.oreilly.com/pub/c/50017 to and find out more, and use code USRG for 20% off most es. 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/c/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/c/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 visit: http://www.oreilly.com/pub/c/50016, and use code USRG for 20% off most es. 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, . Visit http://elmeurope.org/ for more information and to . O’Reilly Fluent Conference will be taking place June 19–22, 2017 in San Jose, California. Visit http://www.oreilly.com/pub/c/61309 to find out more and to , and use code USRG for 20% off. EuroClojure will be taking place in Berlin, 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, . Registration is open, and more information can be found at http://www.bus-conf.org/. If you have a conference related to functional programming, me, and I will be happy to announce it. Topics [@6:50] About Justin PureScript egghead.io What got Justin into software development ClojureScript React Elm What prompted Justin to start looking into functional programming Clojure Python R Reactive Programming and Elm Moving from learning ClojureScript to Elm “It was the first time I could write down types and start modelling my problem” Higher Kinded Types in Elm Hardy Jones elm-brands How Justin got exposed to PureScript Making the move from Elm to PureScript The problem for Justin with teaching functional concepts in JavaScript What about PureScript appeals to Justin Halogen “The various degrees of buy in you can have” makes PureScript appealing The appeal of Mechanical Correctness in PureScript Getting started with PureScript PscIde Type holes Type hole example on Twitter What Justin has found that appeals to others about PureScript How PureScript has affected his day-to-day work in JavaScript “Be More Boring” in JavaScript Ramda Immutable JS Hyper Generics in PureScript overview Shapeless Joi Complete listing of Justin’s videos on egghead.io Automatically de/serialize JSON with Purescript-Foreign-Generics Use Sets with Ord Typeclass instances Model problems using Algebraic Data Types (ADTs) purescript-etch-sketch Html Parser Justin’s presentations on Speaker Deck Cycle Conf ZuriHac As always, a giant Thank You goes to David Belcher for the logo design.

In this episode I talk with Bryan Joseph. We talk Elixirscript; the initial seed of an idea, JavaScript interop, runtime semantic differences, and much more. Our Guest, Bryan Joseph @bryanjos on Twitter bryanjos on Github Announcements The O’Reilly Software Architecture Conference will be taking place April 2-5, 2017 in New York. Visit http://www.oreilly.com/pub/c/50017 to and find out more, and use code USRG for 20% off most es. CycleConf will be taking place on the 21st-23rd of April. Visit cycleconf.com to find out more. 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 visit: http://www.oreilly.com/pub/c/50016, and use code USRG for 20% off most es. 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, . Visit http://elmeurope.org/ for more information and to . EuroClojure will be taking place in Berlin, 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, . Registration is open, and more information can be found at http://www.bus-conf.org/. If you have a conference related to functional programming, me, and I will be happy to announce it. Topics [@4:18] About Bryan Revelry Labs ElixirConf 2015 Elixir in the Browser How Bryan got exposed to software development LINQ Scala Elixir Transitioning from Scala to Elixir Programming Elixir by Dave Thomas Elixirscript What planted the idea to create Elixirscript ClojureScript Metaprogramming Elixir by Chris McCord The initial start on Elixirscript Elixir Docs Elixir Doctests Vision of Elixirscript compared to Elixir Translating across different runtime semantics JavaScript interop in Elixirscript Immutability in Elixirscript vs mutability in JavaScript Object.freeze in JavaScript Immutable.js Elixirscript and how it might work with WebAssembly ErLLVM Current state of Elixirscript Lonestar ElixirConf Using Elixirscript Where Elixirscript fits in React Elm Short term roap for Elixirscript Longer term roap Porting the core library Bryan has to port to JavaScript Elixirscript in browser vs server Where to learn more about Elixirscript Elixirscript on Github Elixirscript blog Elixirscript on Hex Elixirscript channel on Elixir slack Elixirscript gitter room As always, a giant Thank You goes to David Belcher for the logo design.

In this episode I talk with Adelbert Chang. We talk his introduction to programming, functional programming, expressive type systems, Domain Specific Languages, and more. Our Guest, Adelbert Chang @adelbertchang on Twitter Announcements 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. Erlang & Elixir Factory 2017 is on the 23rd and 24th of March. Visit www.erlang-factory.com/sfbay2017 for more information. The O’Reilly Software Architecture Conference will be taking place April 2-5, 2017 in New York. Visit http://www.oreilly.com/pub/c/50017 to and find out more, and use code USRG for 20% off most es. 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 visit: http://www.oreilly.com/pub/c/50016, and use code USRG for 20% off most es. Elm Europe will be taking place June 8th and 9th in Paris, . Visit http://elmeurope.org/ for more information and to . EuroClojure will be taking place in Berlin, on July 20th & 21st. Visit http://2017.euroclojure.org/ for more information and to keep updated. BusConf will be taking palce the 3rd-5th of August in Frankfurt, . Registration is open, and more information can be found at http://www.bus-conf.org/. If you have a conference related to functional programming, me, and I will be happy to announce it. Topics [@4:55] About Adelbert Box How Adelbert got exposed to software development Python C++ Jared Roesch episode 77 Adelbert’s transition from Python and C++ to Scala Scala Akka Scalaz “Why is this library so divisive?” Stumbling blocks when digging into functional programming via Scalaz Cats doobie What clicked about functional programming Applicative Abstraction Expressive Type Systems There are more types than classes On Understanding Types, Data Abstraction, and Polymorphism Higher Kinded Types and Type Classes Future.traverse Functional Programming for Domain Specific Languages Heterogeneous lists Free Monads Functional Programming in Scala Functional Geekery Episode 52 – Rúnar Bjarnason Typelevel Summit New York Northeast Scala Symposium Typelevel Summit Copenhagen ScalaWorld UK Scala By The Bay Typelevel Typelevel blog As always, a giant Thank You goes to David Belcher for the logo design.

In this episode I talk with Trisha Gee. We talk about functional programming in Java 8 and beyond, and working to introduce functional programming ideas to developers that just want to get their work done. Our Guest, Trisha Gee @trisha_gee on Twitter https://trishagee.github.io/ Announcements ClojureD will be taking place on the 25th of February, 2017, in Berlin, . 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, . Visit www.bobkonf.de for more information about the conference. ElixirDaze is coming up on March 2nd and 3rd. With keynotes by Prag Dave Thomas and Saša Juri?, make sure to visit www.elixirdaze.com for more information and to . 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. Erlang & Elixir Factory 2017 is on the 23rd and 24th of March. Visit www.erlang-factory.com/sfbay2017 for more information. The O’Reilly Software Architecture Conference will be taking place April 2-5, 2017 in New York. Visit http://www.oreilly.com/pub/c/50017 to and find out more, and use code USRG for 20% off most es. 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 visit: http://www.oreilly.com/pub/c/50016, and use code USRG for 20% off most es. Elm Europe will be taking place June 8th and 9th in Paris, . Visit http://elmeurope.org/ for more information and to . EuroClojure will be taking place in Berlin, on July 20th & 21st. Visit http://2017.euroclojure.org/ for more information and to keep updated. If you have a conference related to functional programming, me, and I will be happy to announce it. Topics [@5:29] About Trisha Trisha’s Lambda World presentation How Trisha got into software Keeping on the edge of Java Setting the foundation for and exposure to functional features MongoDB Lambda Expression in C# Converting Anonymous Inner Types to Lambdas Converting `for` or `foreach` loops to Streams API Java 8 Streams API IntelliJ IDEA Scala Introducing functional ideas to non-functional developers The failure case of functional programming “Coming at it from a ‘This is the problem it is trying to solve'” Easy sells for introducing functional ideas Optional in Java 8 Logging in Java 8 to lambda expressions How Optional works in Java 8 “It forces the developer to think about the ramifications” Optional changes coming in Java 9 Method References and Lambda expressions Understanding Closures in Java Collections API facelift that s lambda expressions Map.computeIfAbsent New Comparator interface in Java 8 Comparator.comparing Working with files Files.lines “Of course I want to apply a series of transformation to each [line in a file]” Scala Kotlin Clojure Groovy JetBrains Java Annotated Monthly Summary of tips/advice to spread ideas to developers who are trying to get work done Badass: Making s Awesome by Kathy Sierra “Lead with ‘This is why'” Trisha’s Conferences appearances Voxxed CERN QCon London

In this episode I talk with Professor Philip Wadler. We talk the correspondence between mathematics and computation, his research into concurrent distributed systems, and other research in the area with ABCD and BETTY. Our Guest, Professor Philip Wadler Professor Wadler is @philipwadler on Twitter Homepage Blog Sponsors This episode is sponsored by PurelyFunctional.tv. PurelyFunctional.tv’s Online Mentoring has just launched. It is step-by-step online mentoring that takes you from Clojure dabbler to Clojure professional. Sign up with the link purelyfunctional.tv/geekery to get 50% off the first month! Announcements Compose :: Conference will be taking place Thursday, Feb. 4th and Friday, Feb. 5 of 2016 in New York City. Compose is a conference for typed functional programmers, focused specifically on Haskell, OCaml, F#, SML, and related technologies. To find out more and to , visit http://www.composeconference.org/ 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. :clojureD 2016 will be taking place on the 20th of February in Berlin, . The CFP has opened, so make sure to visit www.clojured.de/ to find out more. ElixirDaze will be taking place March 4th in St. Augustine, Florida. ElixirDaze is a one day conference with a nearly full day of talks and a Helping Hack session to close it out. Visit elixirdaze.com to find out more. Erlang Factory San Fransisco will be taking place on the 10th and 11th of March, with training on the 7th through the 9th of March and the 14th through the 16th of March. The Call for Talks is now open through December 15th, and the Very Early Bird registration is open as well. If you have a conference related to functional programming, me, and I will be happy to announce it. Topics About Philip Wadler Wadler on Computability at The Stand Took a course in Lisp from John McCarthy at Standford “How can you know you are doing the right thing?” Formal proofs vs empirical studies Eugenio Moggi and Gordon Plotkin and Denotational Semantics “If you write things in italic font instead of teletype font, all of a sudden people think ‘That’s too difficult, I can’t do that'” “Mathematics is general approach to reasoning” Propositions at Types Linear Logic and concurrent distributed systems “There were things that were done for completely independent reasons that are useful to computing” Current world view of his research Process Calculi CCS by Robin Milner CSP by Tony Hoare Pi Calculus by Robin Milner Kohei Honda Correspondence between Session Types and Linear Logic Multi-Party Session Types Nobuko Yoshida Marco Carbone Fabrizio Montesi Carsten Schürmann Scribble Mungo Where can people find out more information and resources ABCD – A Basis for Concurrency and Distribution Professor Wadler’s Homepage BETTY Lambda Calculus Philip Wadler waving his Fuzzy Stuffed Lambda “If you can cope with JavaScript or with many of the other systems that are out there you have the skills to cope with the mathematics that is out there.” Introduction to Functional Programming “Have a weird name” As always, a giant Thank You goes to David Belcher for the logo design.

In this episode I talk with Dr. Conrad Barski. We talk his background in computers and medicine; entry into functional programming with Haskell and Lisp; ClojureScript with Om, React, and GraphQL; and end with his latest interest in block chains as distributed concurrent data structures. Our Guest, Dr. Conrad Barski Conrad is @lisperati on Twitter http://lisperati.com/ Sponsors This episode is sponsored by PurelyFunctional.tv. PurelyFunctional.tv’s Online Mentoring has just launched. It is step-by-step online mentoring that takes you from Clojure dabbler to Clojure professional. Sign up with the link purelyfunctional.tv/geekery to get 50% off the first month! Announcements 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. :clojureD 2016 will be taking place on the 20th of February in Berlin, . The CFP has opened, so make sure to visit www.clojured.de/ to find out more. Erlang Factory San Fransisco will be taking place on the 10th and 11th of March, with training on the 7th through the 9th of March and the 14th through the 16th of March. The Call for Talks is now open through December 15th, and the Very Early Bird registration is open as well. If you have a conference related to functional programming, me, and I will be happy to announce it. Topics About Dr. Conrad Barski Land of Lisp Conrad’s entrance into programming and how that relates to his M.D. Conrad’s discovery of Lisp Bjarne Stroustrup saying “look at what the functional programming people are doing” Venturing into Haskell Why Common Lisp was the choice over a Scheme Anaphoric Macros Clojure Casting SPELs in Lisp “Why don’t we turn the Lisp REPL into Zork” No Starch Press Realm of Racket The appeal of using games as the examples in his books Hopscotch Experience in Haskell “If I knew I would live for a million years, I would spend the first 30 learning Haskell” Difference in ways of thinking between Haskell and Common Lisp or Clojure Phil Bagwell’s paper on Persistent Data Structures Getting into Clojure from Common Lisp Arc by Paul Graham ClojureScript Common core between Clojure and ClojureScript and cljx Graph query languages, e.g. GraphQL and Falcor React Om from David Nolen Om Next Cursors in Om setq in Common Lisp The benefit of Immutable Persistent Data Structures in React rendering Querying the data structure for app state in Om Next Commander Keen by John Carmack Go Channels, core.async, and Hoare’s Communicating Sequential Processes Bitcoin and Block Chains Datomic Ethereum Smart Contracts Removing the traditional client server model with a peer-to-peer version Paxos and Raft Confirmation times for code changes as part of block chain events Bitcoin for the Befuddled kr2n.com Conrad if you have experience with Block chains and distributed databases As always, a giant Thank You goes to David Belcher for the logo design.