Functional Geekery

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/cpc/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/cpc/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 register visit: http://www.oreilly.com/pub/cpc/50016, and use code USRG for 20% off most passes. 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, France. Visit http://elmeurope.org/ for more information and to register. ZuriHac 2017 will be taking place in Zurch on the 9th-11th of June. For more information, and to register 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 register. 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/cpc/61309 to find out more and to register, and use code USRG for 20% off. EuroClojure will be taking place in Berlin, Germany 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, Germany. 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, contact me, and I will be happy to announce it. Announcements Some of you have asked how you can support 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 support, 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 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 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/cpc/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/cpc/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 register visit: http://www.oreilly.com/pub/cpc/50016, and use code USRG for 20% off most passes. 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, France. Visit http://elmeurope.org/ for more information and to register. ZuriHac 2017 will be taking place in Zurch on the 9th-11th of June. For more information, and to register 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/cpc/61309 to find out more and to register, and use code USRG for 20% off. EuroClojure will be taking place in Berlin, Germany 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, Germany. Registration is open, and more information can be found at http://www.bus-conf.org/. If you have a conference related to functional programming, contact me, and I will be happy to announce it. Announcements Some of you have asked how you can support 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 support, 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 cprof 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 Upcoming 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/cpc/50017 to register and find out more, and use code USRG for 20% off most passes. 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/cpc/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/cpc/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 register visit: http://www.oreilly.com/pub/cpc/50016, and use code USRG for 20% off most passes. 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, France. Visit http://elmeurope.org/ for more information and to register. ZuriHac 2017 will be taking place in Zurch on the 9th-11th of June. For more information, and to register 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/cpc/61309 to find out more and to register, and use code USRG for 20% off. EuroClojure will be taking place in Berlin, Germany 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, Germany. Registration is open, and more information can be found at http://www.bus-conf.org/. If you have a conference related to functional programming, contact me, and I will be happy to announce it. Announcements Some of you have asked how you can support 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 support, 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 SICP 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 terms of systems than programs BG’s keynote “The Post Modern Programmer” at PyCon India Upcoming 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/cpc/50017 to register and find out more, and use code USRG for 20% off most passes. 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/cpc/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/cpc/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 register visit: http://www.oreilly.com/pub/cpc/50016, and use code USRG for 20% off most passes. 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, France. Visit http://elmeurope.org/ for more information and to register. O’Reilly Fluent Conference will be taking place June 19–22, 2017 in San Jose, California. Visit http://www.oreilly.com/pub/cpc/61309 to find out more and to register, and use code USRG for 20% off. EuroClojure will be taking place in Berlin, Germany 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, Germany. Registration is open, and more information can be found at http://www.bus-conf.org/. If you have a conference related to functional programming, contact 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/cpc/50017 to register and find out more, and use code USRG for 20% off most passes. 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 register visit: http://www.oreilly.com/pub/cpc/50016, and use code USRG for 20% off most passes. 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, France. Visit http://elmeurope.org/ for more information and to register. EuroClojure will be taking place in Berlin, Germany 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, Germany. Registration is open, and more information can be found at http://www.bus-conf.org/. If you have a conference related to functional programming, contact 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 roadmap for Elixirscript Longer term roadmap 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/cpc/50017 to register and find out more, and use code USRG for 20% off most passes. 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 register visit: http://www.oreilly.com/pub/cpc/50016, and use code USRG for 20% off most passes. Elm Europe will be taking place June 8th and 9th in Paris, France. Visit http://elmeurope.org/ for more information and to register. EuroClojure will be taking place in Berlin, Germany 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, Germany. Registration is open, and more information can be found at http://www.bus-conf.org/. If you have a conference related to functional programming, contact 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, Germany. Visit www.clojured.de to get tickets and keep updated as more information becomes available. BOB Konf is taking place the 24th of February 2017 in Berlin, Germany. Visit www.bobkonf.de for more information about the conference. 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 register. 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/cpc/50017 to register and find out more, and use code USRG for 20% off most passes. 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 register visit: http://www.oreilly.com/pub/cpc/50016, and use code USRG for 20% off most passes. Elm Europe will be taking place June 8th and 9th in Paris, France. Visit http://elmeurope.org/ for more information and to register. EuroClojure will be taking place in Berlin, Germany 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, contact 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 support 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 supports 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 Users Awesome by Kathy Sierra “Lead with ‘This is why'” Trisha’s Upcoming Conferences appearances Voxxed CERN QCon London Devoxx US Progscon London Devoxx UK J On The Beach GOTO Amsterdam JBCNConf Trisha’s posts on IntelliJ IDEA blog Trisha’s posts on JetBrains Upsource blog As always, a giant Thank You goes to David Belcher for the logo design.

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 http://www.katsconf.com/ to register and for more information. ClojureD will be taking place on the 25th of February, 2017, in Berlin, Germany. Visit www.clojured.de to get tickets and keep updated as more information becomes available. BOB Konf is taking place the 24th of February 2017 in Berlin, Germany. Visit www.bobkonf.de for more information about the conference. 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 register. 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/cpc/50017 to register and find out more, and use code USRG for 20% off most passes. 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 register visit: http://www.oreilly.com/pub/cpc/50016, and use code USRG for 20% off most passes. Elm Europe will be taking place June 8th and 9th in Paris, France. Visit http://elmeurope.org/ for more information and to register. EuroClojure will be taking place in Berlin, Germany 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, contact me, and I will be happy to announce it. Topics [@5:49] About Niki Liquid Haskell Simon Peyton Jones on Episode 11 mentioning Liquid Haskell Niki’s Thesis Niki’s introduction to Haskell Liquid Types paper Liquid Types for OCaml What made Haskell click for Niki Coming in and understanding Types in Haskell Hoogle Monads and `do` notation How Niki was introduced to working on Liquid Types in Haskell Overview of how graduate school projects generally work Overview of Liquid Haskell Refinement types Heartbleed SMT Solver “Liquid Haskell is basically Haskell […] extended with special comments in which the user can give their Refinement Type specifications” Difference between Dependent Types, Refinement Types, and Liquid Types Decidable Theory Specifying specifications to help make sure the SMT solver has enough information to determine code is `safe` Gabriel Gonzalez – Compile-time memory safety using Liquid Haskell Gradual Typing Running Liquid Haskell at the module level Liquid Haskell `assume` keyword Interacting with code that has yet to be annotated with Liquid Haskell Working on specifications for recursive functions “You can treat Liquid Haskell as a theorem prover” Ability to start using Liquid Haskell from the beginning The feedback cycle between the research and industry in the Haskell community Where to find out more about Liquid Haskell Liquid Haskell website Liquid Haskell blog Liquid Haskell About page Try Liquid Haskell online Liquid Haskell tutorial Liquid Haskell Github repo Liquid Haskell mailing list Niki at Lambda Days Niki keynoting at Typelevel Summit Niki at Programming Language Design and Implementation 2017 As always, a giant Thank You goes to David Belcher for the logo design.

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 10th of February 2017. Visit www.lambdadays.org to submit your talk and keep updated as more information becomes available. Kats Conf 2 will be taking place in Dublin, Ireland on the 18th of February. Visit http://www.katsconf.com/ to register and for more information. ClojureD will be taking place on the 25th of February, 2017, in Berlin, Germany. Visit www.clojured.de to get tickets and keep updated as more information becomes available. BOB Konf is taking place the 24th of February 2017 in Berlin, Germany. Visit www.bobkonf.de for more information about the conference. 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 register. 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. 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. Elm Europe will be taking place June 8th and 9th in Paris, France. Visit http://elmeurope.org/ for more information and to register. If you have a conference related to functional programming, contact me, and I will be happy to announce it. Topics [@4:41] About Rahul Eta How Rahul got into software Java Project Euler Python Haskell Picking up Haskell in “high school” Overview of Eta The path to desiring to write a Haskell on the JVM Clojure “That simple fact of being able to fall back to an existing technology helped me to understand the importance of the JVM” Frege STG Charles Nutter Miranda Using Haskell Libraries in Eta Translating STG intermediate language to the JVM intermediate language Foreign Function Interface (FFI) in Haskell on the JVM Overview of Java interop What the interest in Eta looking like Typelead Eta site Eta as a fully lazy language on the JVM Thunks Getting started with Eta Spark Integrating Eta and Spark .hs file extension Eta Package Manager epm init What areas could the community help support Eta Hadoop JDBC Web Application Interface (WAI) in Haskell Thanks to those who support Eta Eta Eta Gitter Eta Mailing List Eta on Slack Typelead Eta playground Eta on Github As always, a giant Thank You goes to David Belcher for the logo design.

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 again on the 9th and 10th of February 2017. Visit www.lambdadays.org to submit your talk and keep updated as more information becomes available. Kats Conf 2 will be taking place in Dublin, Ireland on the 18th of February. Visit http://www.katsconf.com/ to register and for more information. ClojureD will be taking place on the 25th of February, 2017, in Berlin, Germany. Visit www.clojured.de to get tickets and keep updated as more information becomes available. BOB Konf is taking place the 24th of February 2017 in Berlin, Germany. Visit www.bobkonf.de for more information about the conference. 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 register. 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. 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. Elm Europe will be taking place June 8th and 9th in Paris, France. Visit http://elmeurope.org/ for more information and to register. If you have a conference related to functional programming, contact me, and I will be happy to announce it. Topics [@4:41] About Mohit Clojure IN/Clojure Structure and Interpretation of Computer Programs Bangalore Clojure User Group Pune Clojure User Group How Mohit got into software development Java What clicked with Mohit about SICP Test Driven Development Ruby Pair programming `Lambda`s and `Proc`s in Ruby Why the Lucky Stiff Why’s (Poignant) Guide to Ruby Mohit’s transition to picking up Clojure Baishampayan Ghose (BG) Helpshift 4Clojure Project Euler Proctor’s sidebar to thank BG for Planet Clojure clojurians Slack What Mohit loves about Clojure Rich Hickey’s keynotes year after year Chris Ford’s Leipzig Sam Aaron’s Overtone Klangmeister Making Machines that Make Music – Srihari Sriraman What Mohit tends to avoid in Clojure Macros Joy of Cloure‘s quote of “First rule of macros, is don’t use macros” Mohit’s EuroClojure 2015 talk What Lies Beneath Deciding to put on a conference RubyConf India Difference between starting a user group vs conference Talking to corporations about sponsoring as a feel for if the time is right for a conference Overview of IN/Clojure “It should feel like a local meetup group” “Being at the conference is more about the interactions you have during the down times” What the vision of IN/Clojure 2017 might look like at this point clojurians Slack What about Clojure is getting Mohit excited today clojure.spec Generative Testing test.check Generative Testing for resiliency Jepsen yada Liberator re-frame Reagent Elm Reid Draper on Episode 6 talking test.check clojure.spec high level overview Functional Conf in India Opportunity Grants available for IN/Clojure As always, a giant Thank You goes to David Belcher for the logo design.