Profile cover photo
Profile photo
Steven Proctor
143 followers
143 followers
About
Steven's posts

Post has attachment
Functional Geekery Episode 85 w/ @trisha_gee. We talk folding functional programming into enterprise Java applications

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…

Post has attachment
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…

Post has attachment
Functional Geekery Episode 83 w/ @rahulmutt. We talk @eta_lang, a #Haskell on the #JVM.

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…

Post has attachment
Functional Geekery Episode 82 w/ @mohitthatte. We talk his entry into #clojure, @in_clojure, what excites him today, and more

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…

Post has attachment
Functional Geekery Episode 81 w/ @Odytrice. We talk @fsharporg, @AkkaDotNET, Immutable Databases and more!

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…

Post has attachment
Functional Geekery Episode 80 w/ @EdgarArout. We talk OCaml, including language, inter-op, backends, and more

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…

Post has attachment
Functional Geekery Episode 79 w/ @DevLCSC. We talk @elixirlang, his journeyman tour, @mobprogramming, and more

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…

Post has attachment
Functional Geekery Episode 78 w/ @polymetis We talk @elixirlang, @elmlang and using Elm with @elixirphoenix

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…

Post has attachment
Functional Geekery Episode 77 w/ @roeschinc. We talk functional Ruby and @rustlang, dependent types, Lean and more

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…

Post has attachment
Functional Geekery Episode 76 w/ Anthony Cipriano. We talk @_AntLang, its inspiration, and more.

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…
Wait while more posts are being loaded