In this episode I talk with Debasish Ghosh. We talk his introduction to Scala, domain modeling, lawful abstractions, extracting algebraic patterns from a code base, and more. Our Guest, Debasish Ghosh https://debasishg.blogspot.com/ @debasishg on Twitter Conference Announcements Compose Melbourne will be taking place August 28th and 29th. For m ...…

In this episode I talk with Justin Schneck. We talk embedded Erlang and Elixir with the Nerves Project, where Nerves fits in the landscape of embedded systems, prototyping vs deployment, and much, much more. Our Guest, Justin Schneck http://mobileoverlord.com/ @mobileoverlord on Twitter mobileoverlord on Github Nerves Project @NervesProject on ...…

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

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, Germany. Registration is open, and more informa ...…

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, Germany on July 20th & 21st. Visit http://2017.eu ...…

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 sc ...…

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

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

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 pla ...…

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

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 9t ...…

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

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 Lon ...…

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

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 Conf ...…

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 ta ...…

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 Qii ...…

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://w ...…

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. Vis ...…

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 Februar ...…

In this episode I talk with Niki Vazou. We talk about her introduction to Haskell, Ph.D. and graduate school overview, and all things Liquid Haskell. Our Guest, Niki Vazou @nikivazou on Twitter https://nikivazou.github.io/ Liquid Haskell website Announcements Kats Conf 2 will be taking place in Dublin, Ireland on the 18th of February. Visit htt ...…

In this episode I talk with Rahul Muttineni. We talk his path into software, exposure to functional programming, what lead to the desire to create Eta, what a Haskell on the JVM looks like, and more. Our Guest, Rahul Muttineni @rahulmutt on Twitter Typelead @eta_lang on Twitter Announcements Lambda Days will be taking place again on the 9th and ...…

In this episode I talk with Mohit Thatte. We talk his introduction to software, path to Clojure, building a community, putting on a conference, what keeps him excited about Clojure, and more. Our Guest, Mohit Thatte @mohitthatte on Twitter @mohitthatte on Medium @in_clojure on Twitter IN/Clojure Announcements Lambda Days will be taking place ag ...…

In this episode I talk with Ody Mbegbu. We talk his exposure to functional programming, F#, Akka.NET, appeal of immutable databases, and more. Our Guest, Ody Mbegbu @Odytrice on Twitter odytrice on Github http://medium.com/@odytrice Announcements Lambda Days will be taking place again on the 9th and 10th of February 2017. Visit www.lambdadays.o ...…

In this episode I talk with Edgar Aroutiounian. We talk his introduction to OCaml, OCaml inter-op with other languages, some of the things in the works for OCaml, and more. Our Guest, Edgar Aroutiounian @EdgarArout on Twitter fxfactorial on Github http://hyegar.com/ Edgar’s YouTube Channel Announcements f(by) is coming up on the 10th of Decembe ...…

In this episode I talk with Lennart Fridén. We talk his entry into Elixir, working to help build the Stockholm Elixir group, his Journeyman Tour, Mob Programming, and more. Our Guest, Lennart Fridén @DevLCSC on Twitter DevL on Github http://codecoupled.org/ Sponsors This episode is sponsored by DailyDrip.com. Use the coupon `geekery` to save $9 ...…

In this episode I talk with ‘Ley Missailidis. We talk his introduction Erlang and Elixir, Elm, and the pairing of Phoenix and Elm to reduce the complexity of front-end development. Our Guest, ‘Ley Missailidis @_polymetis_ on Twitter polymetis on Github http://worldoftomorrow.ca Sponsors This episode is sponsored by DailyDrip.com. Use the coupon ...…

In this episode I talk with Jared Roesch. We talk his history of functional programming, work on the Rust compiler, dependent types, the Lean Proving Language, and much, much more. Our Guest, Jared Roesch @roeschinc on Twitter jroesch on Github Sponsors This episode is sponsored by DailyDrip.com. Use the coupon `geekery` to save $9 on your firs ...…

In this episode I talk with Anthony Cipriano. We talk his introduction to functional programming, APL, J, K, the path to writing AntLang, why AntLang, where AntLang took as its inspiration, and more. Our Guest, Anthony Cipriano @_AntLang on Twitter https://antlang-software.github.io/ AntLang on Github AntLang channel on YouTube Sponsors This ep ...…

In this episode I talk with Eric Merritt. We catch up on his experience with unikernels, containers, Nix, microservices, the benefits of orchestration platforms to allow developers to focus on solving the business problems, and much, much more. Our Guest, Eric B. Merritt @ericbmerritt on Twitter http://blog.ericbmerritt.com/ Sponsors This episo ...…

In this episode I talk with Zeeshan Lakhani. We talk his introduction to functional programming, Clojure, Erlang, distributed systems, session types, Papers We Love, and much more. Our Guest, Zeeshan Lakhani @zeeshanlakhani on Twitter Papers We Love @papers_we_love on Twitter Sponsors This episode is sponsored by DailyDrip.com. Use the coupon ` ...…

In this episode I talk with Jonas Bonér. We talk his introduction to Scala, the Actor Model, Akka, Reactive Programming, Microservices, Distributed Systems, and more. Our Guest, Jonas Bonér jonasboner.com @jboner on Twitter Lightbend Announcements Scala Wave is coming up on the 25th and 26th of November in Gdańsk, Poland. Visit http://www.scala ...…

In this episode I talk with Gabriel Gonzalez. We cover numerous topics around Haskell from stumbling blocks for beginners, to co-routines, to shell scripting with Haskell, to equational reasoning, and much, much more. Our Guest, Gabriel Gonzalez http://www.haskellforall.com/ @GabrielG439 on Twitter Tekmo on Reddit Announcements Scala Wave is co ...…

In this episode I talk with Nikhil Swamy. We talk F*, dependent types, proving software, Dijkstra Monads, Project Everest for verified HTTPS, and more. Our Guest, Nikhil Swamy Nikhil Swamy F* Announcements CodeMesh is taking place the 3rd and 4th of November with tutorials on the 2nd of November. Tickets are available now, but they are going fa ...…

In this episode I talk with Simon Thompson. We cover a broad range of topics from a history of functional programming from the 1980s, to his involvement with Haskell, teaching Haskell and Erlang, the functional programming hype cycle, recent and future work, and much, much more. Our Guest, Simon Thompson https://www.cs.kent.ac.uk/people/staff/s ...…

In this episode I talk with Bartosz Milewski. We talk his introduction to category theory, teaching category theory, comparison of Monads and other composition patterns in functional programming to composition patterns in object oriented programming, and finish with some philosophical thoughts on category theory. Our Guest, Bartosz Milewski @ba ...…

In this episode I talk with Matthew Butterick. We talk about using Racket as someone who doesn’t consider themselves a developer; the power of Domain Specific Languages; Pollen, a DSL for creating web sites; and his book Beautiful Racket. Our Guest, Matthew Butterick Practical Typography Beautiful Racket Pollen Announcements EuroClojure is comi ...…

In this episode I talk with Hardy Jones. We talk his enthusiasm for languages, why types, working in teams, trade-offs, and much, much more. Our Guest, Hardy Jones @st58 on Twitter joneshf on Github https://joneshf.github.io/ Magic Read Along Announcements EuroClojure is coming up in Bratislava, Slovakia from October 25-26. Visit http://euroclo ...…

In this episode I talk with Scott Wlaschin. We talk his introduction to functional programming and F#, making the ideas accessible without needing a math background, functional programming being similar to object oriented programming taken to the extreme, and much, much more. Our Guest, Scott Wlaschin @ScottWlaschin on Twitter F# for fun and pr ...…

In this episode I talk with Morten Kromberg. We talk his introduction to APL, the APL landscape, what the future looks like for APL, resources for getting started, and much more. Our Guest, Morten Kromberg @mkromberg on Twitter About the CXO Announcements PWLConf 2016 is the first full-day Papers We Love conference, co-located with the preconfe ...…

In this episode I talk with Alex Weiner. We talk his introduction to APL, comparison to Assembly and C programming, use in side projects to show examples of APL, discuss the power of APL, getting started with APL, and more. Our Guest, Alex Weiner @alexcweiner on Twitter http://alexweiner.com/ alexweiner@alexweiner.com Announcements Compose Melb ...…

In this episode I talk with Yan Cui. We talk his introduction to functional programming via Erlang and F#, getting functional languages adopted in a company, type providers, we wrap up with a rundown of a number of different languages, and much more in between. Our Guest, Yan Cui @theburningmonk on Twitter http://theburningmonk.com/ Announcemen ...…

In this episode I talk with Lars Hupel. We talk his introduction to Functional Programming with Haskell, Scala, and move to working on Isabelle for creating theorems about proving your program. Our Guest, Lars Hupel @larsr_h on Twitter Lars online Announcements Compose Melbourne is a new functional programming conference focused on developing t ...…

In this episode I talk with Susan Potter. We talk her introduction to Functional Programming, Haskell, Erlang, reasoning about code, Nix and NixOS, reasonable deployments and environments, and more. Our Guest, Susan Potter @SusanPotter on Twitter Susan on LinkedIn Susan’s company Announcements Compose Melbourne is a new functional programming c ...…

In this episode I talk with Paul Bone. We talk his introduction to functional programming through SQL of all places, exposure to Lisp and Haskell, Mercury Language, his work on parallelism, and more. Our Guest, Paul Bone @Paul_Bone on Twitter Paul can be found online at http://paul.bone.id.au/ Announcements Compose Melbourne is a new functional ...…

In this episode I talk with Eric Bailey. We talk his entry into functional programming; work with Scheme, Clojure, Haskell, and LFE; getting into the LFE community; interop story with other BEAM languages; Exercism.io; and much more. Our Guest, Eric Bailey @yurrriq on Twitter Eric blogs at http://blorg.ericb.me/ Announcements Compose Melbourne ...…

In this episode I talk with Elise Huard. We talk her introduction to functional programming, the benefit of moving between Haskell and Clojure, her book “Game programming in Haskell”, and more. Our Guest, Elise Huard @elise_huard on Twitter Elise blogs at http://jabberwocky.eu/ Sponsors This episode is sponsored by Clubhouse.io project manageme ...…

In this episode I talk with Mark Seemann. We talk his introduction to functional programming and F#, common principles between functional programming and object oriented programming, Haskell, lessons learned, planting the seeds of functional programming, and much, much more. Our Guest, Mark Seemann @ploeh on Twitter Mark blogs at http://blog.pl ...…

In this episode I talk with Garrett Smith. We talk his introduction to Erlang, building communities, conferences as a place for serendipity, and more. Our Guest, Garrett Smith @gar1t on Twitter Sponsors This episode is sponsored by DailyDrip.com. Use the coupon `geekery` to save $5 on your first month, and make learning part of your daily routi ...…

In this episode I talk with Andreas Stefik. We cover the human factors side of programming languages and he gives a rundown of what the little research we have on programming language usability. Our Guest, Andreas Stefik @AndreasStefik on Twitter http://web.cs.unlv.edu/stefika/index.html Sponsors This episode is sponsored by DailyDrip.com. Use ...…