Functional Geeks, Geeking Functionally
In this episode, I talk with Shriram Krishnamurthi. We cover his introduction to functional programming, Racket and #lang, Static vs Dynamic Typing, Bootstrap and Pyret, How to Design Programs, and much, much, more.
In this episode I talk with Katja Mordaunt and Adam Warski. We talk Katja's and Adam's introduction to software, being on the LambdaDays 2022 Programme Committee, a peek what being on the Programme Committee looks like, introducing new people to functional programming, and more.
In this episode I talk with Laura M. Castro. We talk her introduction to Erlang, Final Project and Ph.D. around Erlang, Research and Teaching using Erlang and Elixir, the Erlang Ecosystem Foundation, Code Beam Lite, Erlang Workshops and more.
In this episode I talk with Aleksander Lisiecki. We talk his introduction to Erlang, non-standard use cases for Erlang and Elixir, Erlang and Elixir School, and more.
In this episode I talk with Renzo Borgatti. We talk his introduction to Clojure, learning the extended vocabulary of Clojure, his book Clojure: The Essential Reference, gems in the Clojure language, side projects, and much more.
In this episode I talk with Yehonathan Sharvit. We talk his upcoming book Data Oriented Programming, what Data Oriented Programming is, how it differs from Functional Programming, how DOP fits with typed languages, and more.
s episode I talk with Jordan Miller. We talk her breaking into to software development, activity in the Clojure community, redefining open source contributions, mentoring, and much more.
In this episode I talk with Claude Rubinson. We talk his experience learning and using functional programming as a sociologist, organizing software user groups, and more.
In this episode I talk with James Stelly. We talk his explorations of programming languages and how that led to his book Racket Programming the Fun Way.
In this episode I talk with Duncan McGreggor. We talk his introduction to functional programming; Erlang; Lisp Flavoured Erlang; Lisps, Lisps, and more Lisps; and much, much, more.
In this episode I talk with Martin J. Logan. We talk his experience in CTO roles guiding organizations through functional programming transformations, from lessons learned, tips, tools, strategies, how the grassroots level can help, and much more.
In this episode I talk with Ivan Čukić. We talk his introduction to functional programming, adopting Scala, his book "Functional Programming in C++", the C++ communities adoption of functional programming, and much more.
In this episode I talk with Eric Normand. We talk his podcast "Thoughts on Functional Programming"; his in progress book "Grokking Simplicity"; Actions, Calculations, and Data; trying to bury mutation and side-effects; Property-Based testing; and more.
In this episode I talk with Gene Kim. We talk his introduction to Clojure and functional programming, The Phoenix Project and The Unicorn Project, Functional Architecture, lessons learned, his Love Letter to Clojure, and much, much, more.
In this episode I talk with Katie Hughes. We talk her introduction to software development, exposure to functional programming, orienting herself in a new codebase, "learning to trust again", and much more.
In this episode I talk with Andy Hunt and Dave Thomas. We talk about their upcoming 20th Anniversary Edition of The Pragmatic Programmer, what prompted a 20th Anniversary Edition, what has changed and what has stayed the same in the 20 years since, where they see things going based off what they have seen, and much, much more.
In this episode I talk with Verónica López. We talk her background, exposure to Go and Elixir, working with CoreOS and Kubernetes, being a bridge between Kubernetes and the BEAM communities, and more.
In this episode I talk with Sam Guyer and Caleb Helbling. We talk about Juniper, a functional reactive programming language for Arduino programming.
In this episode I talk with Zach Tellman. We talk his introduction to Clojure, how he has noticed Clojure change over the past 10 years, his book Elements of Clojure, and more.
In this episode I talk with Brian Troutwine. We catch up with his work in Erlang, working in Rust, applying functional programming techniques to Rust, learning Erlang compared to Rust, his book "Concurrent Rust" that is in the works, and much more.
In this episode I talk with Claudia Doppioslash. We catch up with what she has been doing since Episode 42, which includes PureScript and Elm, GRiSP, applying functional ideas to game programming, and more.
In this episode I talk with Lisa Passing. We talk her introduction to Clojure and functional programming, her intro to Rust, how Rust fits in the functional programming world, and more.
In this episode I talk with Jared Forsyth. We talk his exploration of programming languages, his exposure to programming languages, work in the Reason community, Reason Town, and more.
In this episode I talk with Scott Nimrod. We catch up with what he has been up to since he was last on, using F# for profit, Nikeza, Elm, and more.
In this episode I talk with Eric Normand. We catch up with what he has been up to since last episode, talk re-frame in ClojureScript, his newsletter, Clojure SYNC, online community discussions, and more.
In this episode I talk with Radu Popescu. We talk his introduction to software development, high performance C++, where functional ideas fit in with high performance C++, CernVM File System, Erlang, an overview of where Rust fits between functional languages and C++, and more.
In this episode I talk with Sam Williams. We talk his introduction to programming, moving to web-development with Erlang, the HydrOS project, the Archain project, and more.
In this episode I talk with Fred Herbert. We talk his introduction to Erlang, making languages accessible to the community, productionization as a phase of software, property testing, we wrap up with a tease of how "Everything is Terrible", and much more.
In this episode I talk with Oskar Wickström. We talk his introduction to software development, journey to functional programming, tooling, state machines and static typing, and more.
In this episode I talk with Micheal Sperber. We talk his introduction to programming and functional programming languages, important commonalities across languages, power of syntactic abstraction, teaching programming to beginners and experienced programmers, Concurrent ML, and more.
In this episode I talk with Stian Veum Møllersen. We talk his introduction to programming, exploring programming languages, "Perlis Languages", Concatenative Languages, Creative Programming, and more.
In this episode I talk with Kiwamu Okabe. We talk his introduction to writing software for hardware; exposure to functional programming; running Haskell, ATS, and VeriFast verification on bare metal hardware; and more.
In this episode I talk with Zach Kessin. We talk his transition to using Elm for front-end web development, using it with Erlang back-ends, his goal to help grow the community around Elm, and more.
In this episode I talk with David Christiansen. We talk his introduction to functional programming, research in dependent types, Idris, Nuprl and LFC traits, work to add dependent types to macro-expansion in Racket, and much, much more.
In this episode I talk with Julie Moronuki. We catch up about "Haskell Book", cover the upcoming Joy of Haskell, lessons learned teaching Haskell in user groups, other projects, linguistics, and more.
In this episode I talk with Reid Evans. We talk his introduction to functional programming, F#, functional JavaScript, Functional Knox, and much more.
In this episode I talk with David Koontz. We talk his introduction to functional programming, F#, Haskell, community building, the LambdaCast, and more.
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.
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.
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.
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.
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.
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".
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.
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.
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.
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.
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.
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.
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.
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.