Functional Geekery

Functional Geekery

By ProctorTechnology
Download on the App Store

Functional Geekery episodes

  • Functional Geekery Episode 91 - Jay McCarthy

    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.

    1 hr 7 min
  • Functional Geekery Episode 90 - Federico Carrone

    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.

    1 hr 1 min
  • Functional Geekery Episode 89 - Baishampayan Ghose

    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.

    1 hr 1 min
  • Functional Geekery Episode 88 - Justin Woo

    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.

    58 min
  • Functional Geekery Episode 87 - Bryan Joseph

    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.

    49 min
  • Functional Geekery Episode 86 - Adelbert Chang

    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.

    57 min
  • Functional Geekery Episode 85 - Trisha Gee

    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.

    1 hr 1 min
  • Functional Geekery Episode 84 - Niki Vazou

    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.

    1 hr 5 min
  • Functional Geekery Episode 83 - Rahul Muttineni

    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.

    58 min
  • Functional Geekery Episode 82 - Mohit Thatte

    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.

    59 min

About Functional Geekery

From the publisher's feed

Functional Geeks, Geeking Functionally