Functional Geekery

Functional Geekery

By ProctorTechnology
Download on the App Store

Functional Geekery episodes

  • Functional Geekery Episode 61 - Susan Potter

    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 conference focused on developing the community and bringing typed functional programming to a wider audience. Visit www.composeconference.org/ to find out more.

    ElixirConf is taking place August 31st through September 2nd in Orlando, Florida. Visit http://www.elixirconf.com to register and find out more.

    Full Stack Fest will be hold in Barcelona on September 5-9th. You can check out 2016.fullstackfest.com to find out more.

    PWLConf 2016 is the first full-day Papers We Love conference, co-located with the preconference events at Strange Loop in Saint Louis, Missouri on September 15th. Keep an eye out for updates on pwlconf.org.

    The Erlang User Conference is coming up in Stockholm, Sweden, the 6th through the 16th of September. Early Bird tickets are now available and get a 10% discount on the conference when you use the code: FunctionalGeekery10 when registering.

    Lambda World will be taking place September 30th & October 1st, 2016. Lambda.World is the longest functional programming conference in Spain and Portugal and one of the biggest in Europe. Visit www.lambda.world to find out more and to register.

    The 2016 edition of ScalaIO will take place in Lyon, France, on 27th and 28th of October. Visit http://scala.io/ for more information and to register.

    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 fast. Visit codemesh.io to register and submit your talk.

    Destination Code, a new unconference starting in Utah, is having its inaugural event this December. Visit http://www.destination.codes/ to find out more.

    If you have a conference related to functional programming, contact me, and I will be happy to announce it.

    Topics

    About Susan

    Reasonability of software and deployment environments
    Susan’s introduction to Functional Programming
    Java head and Python meta-programming
    Inheriting a Haskell code base
    Picking up Haskell 10 years ago and learning resources at the time
    Cabal
    What about Haskell clicked, or didn’t click, back then
    Algebraic Data Types
    Sum and Product types
    Recursive data structures
    Higher order types and generic types
    Erlang
    Period of enlightenment about isolation
    Allowing things to fail
    How to signify “failures”/errors in Haskell vs Erlang
    Thinking about operational semantics
    Scala
    scalaz
    Understanding the separation of concerns
    Garrett Smith on Episode 56
    Alignment of Erlang and thinking about operational side of applications
    Typed based reasoning
    Type specs in Erlang
    The Dialyzer
    Cloud Haskell
    Reasoning using types or supervision trees in regards to error handling
    NixOS
    Package manager, GNU/Linux distribution, and build expression language
    Per user based configuration
    Multiple versions of JVM SDKs
    Using Nix with Continuous Integration environments
    Personal mission of reasonability of systems
    Arrows
    Kleisli Arrows
    Railway oriented programming
    Talk by John De Goes on Free structures
    Aaron Levin’s blog post on the van Laarhoven encoding of free monads
    Extra credit for extensible effects with the Eff monad as an alternative to monad transformers
    Short typed functional programming in infrastructure engineering
    Getting started in Nix and NixOS
    Lethalman’s Nix pills blog series
    Nix Cookbook
    Upcoming talks
    London Scala User Group (LSUG), London (England) – 2nd August 2016
    Strangeloop, St. Louis, MO – Sept 2016
    Reactive Summit, Austin, TX – Oct 2016
    Reasoning about your code

    As always, a giant Thank You goes to David Belcher for the logo design.

    1 hr 5 min
  • Functional Geekery Episode 60 - Paul Bone

    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 programming conference focused on developing the community and bringing typed functional programming to a wider audience. Visit www.composeconference.org/ to find out more.

    ElixirConf is taking place August 31st through September 2nd in Orlando, Florida. Visit http://www.elixirconf.com to register and find out more.

    Full Stack Fest will be hold in Barcelona on September 5-9th. You can check out 2016.fullstackfest.com to find out more.

    PWLConf 2016 is the first full-day Papers We Love conference, co-located with the preconference events at Strange Loop in Saint Louis, Missouri on September 15th. Keep an eye out for updates on pwlconf.org.

    The Erlang User Conference is coming up in Stockholm, Sweden, the 6th through the 16th of September. Early Bird tickets are now available and get a 10% discount on the conference when you use the code: FunctionalGeekery10 when registering.

    Lambda World will be taking place September 30th & October 1st, 2016. Lambda.World is the longest functional programming conference in Spain and Portugal and one of the biggest in Europe. Visit www.lambda.world to find out more and to register.

    The 2016 edition of ScalaIO will take place in Lyon, France, on 27th and 28th of October. Visit http://scala.io/ for more information and to register.

    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 fast. Visit codemesh.io to register and submit your talk.

    Destination Code, a new unconference starting in Utah, is having its inaugural event this December. Visit http://www.destination.codes/ to find out more.

    If you have a conference related to functional programming, contact me, and I will be happy to announce it.

    Topics

    About Paul

    Mercury Language
    Nils Blum-Oeste asking on Twitter for Mercury
    @MercuryLang on Twitter
    SQL as an intro to declarative programming
    Structure and Interpretation of Computer Programs
    Haskell
    Elevator pitch for Mercury
    Structure and Interpretation of Computer Programming course online
    Clues of “something more to learn about programming”
    Ease of expression of Python and functional ideas of removing loops
    What led Paul to look into Haskell
    Paul’s introduction to Mercury
    N-Queens problem and overview in Mercury
    William Byrd talking miniKanren in Episode 9
    Comparison between Mercury and Prolog
    Predicates
    miniKanren
    Datalog
    Strong static typing in Mercury
    Paul’s work on parallelism in Mercury
    Parallelism profiler
    All-parallelism
    Cuts as side-effects/extra-logical
    Declarative Debugging in Mercury
    Multiple back-ends for Mercury
    Desire for a LLVM back-end for Mercury
    Strongly Typed, Pure, and Eager trifecta
    Mercury on Rosetta Code
    Mercury users’ mailing list
    #mercury on irc.freenode.net

    As always, a giant Thank You goes to David Belcher for the logo design.

    59 min
  • Functional Geekery Episode 59 - Eric Bailey

    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 is a new functional programming conference focused on developing the community and bringing typed functional programming to a wider audience. Visit www.composeconference.org/ to find out more.

    ElixirConf is taking place August 31st through September 2nd in Orlando, Florida. Visit http://www.elixirconf.com to register and find out more.

    Full Stack Fest will be hold in Barcelona on September 5-9th. You can check out 2016.fullstackfest.com to find out more.

    PWLConf 2016 is the first full-day Papers We Love conference, co-located with the preconference events at Strange Loop in Saint Louis, Missouri on September 15th. Keep an eye out for updates on pwlconf.org.

    Lambda World will be taking place September 30th & October 1st, 2016. Lambda.World is the longest functional programming conference in Spain and Portugal and one of the biggest in Europe. Visit www.lambda.world to find out more and to register.

    The Erlang User Conference is coming up in Stockholm, Sweden, the 6th through the 16th of September. Early Bird tickets are now available and get a 10% discount on the conference when you use the code: FunctionalGeekery10 when registering.

    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 fast. Visit codemesh.io to register and submit your talk.

    Destination Code, a new unconference starting in Utah, is having its inaugural event this December. Visit http://www.destination.codes/ to find out more.

    If you have a conference related to functional programming, contact me, and I will be happy to announce it.

    Topics

    About Eric

    Lisp Flavoured Erlang
    Perl
    Scheme
    Guile
    LilyPond
    “The power of language level hacking”
    Haskell
    Clojure
    Erlang
    “I really wished I reached out [to the LFE community] sooner”
    Object-oriented vs functional mindset
    Paradigm shift from learning Haskell
    Point free style
    “It made me realize how much bad stuff I was doing”
    Taking the second pass at learning LFE
    Feedback from the LFE community
    Robert Virding’s desire to keep the core language simple and small
    Docstring support in LFE
    Lodox
    Using LFE at work
    Rebar3
    “It’s great to do fun stuff at work”
    LFE, Erlang, and Elixir interop
    Need to include Elixir standard library at runtime
    “90% of the time you don’t need to include LFE at runtime”
    Decision of using existing library vs writing own in LFE
    Exercism.io for LFE
    LFE style guide
    Goal to improve the documentation on LFE
    Getting started guides targeting different backgrounds
    Importance of new perspectives in the LFE community
    Folding lessons back into other languages
    Swiftz
    Scalaz
    The benefit of thinking functionally even in object oriented software
    Functions that have single responsibility and no side-effects
    “The more the merrier”
    Appearance at Erlang User Conference 2016
    Eric will not be making the Erlang User Conference this year **Updated at 2016-07-19 12:46 UTC**
    LFE Slack
    #erlang-lisp on Freenode.net

    As always, a giant Thank You goes to David Belcher for the logo design.

    1 hr
  • Functional Geekery Episode 58 - Elise Huard

    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 management tools for software teams. Visit clubhouse.io/geekery to sign up for a free trial and a $50 credit. Clubhouse: dream, develop, deploy.

    Announcements

    Curry On is taking place July 18th and 19th in Rome. Visit curry-on.org to find out more and to register.

    Compose Melbourne is a new functional programming conference focused on developing the community and bringing typed functional programming to a wider audience. Visit www.composeconference.org/ to find out more.

    ElixirConf is taking place August 31st through September 2nd in Orlando, Florida. Visit http://www.elixirconf.com to register and find out more.

    Full Stack Fest will be hold in Barcelona on September 5-9th. You can check out 2016.fullstackfest.com to find out more.

    PWLConf 2016 is the first full-day Papers We Love conference, co-located with the preconference events at Strange Loop in Saint Louis, Missouri on September 15th. Keep an eye out for updates on pwlconf.org.

    Lambda World will be taking place September 30th & October 1st, 2016. Lambda.World is the longest functional programming conference in Spain and Portugal and one of the biggest in Europe. Visit www.lambda.world to find out more and to register.

    The Erlang User Conference is coming up in Stockholm, Sweden, the 6th through the 16th of September. Early Bird tickets are now available and get a 10% discount on the conference when you use the code: FunctionalGeekery10 when registering.

    Destination Code, a new unconference starting in Utah, is having its inaugural event this December. Visit http://www.destination.codes/ to find out more.

    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 fast. Visit codemesh.io to register and submit your talk.

    If you have a conference related to functional programming, contact me, and I will be happy to announce it.

    Topics

    About Elise

    How Elise got into software development
    Clojure
    Haskell
    “I decided to try and write a game in Haskell”
    Game programming in Haskell
    Elise’s self based research into concurrency across languages
    Erlang
    Akka in Scala
    Go and Continuation Passing Style
    How Elise got interested into functional languages
    Interest in learning Haskell
    First impression of Clojure and Functional programming
    Structure and Interpretation of Computer Programs
    “I found it [functional programming] much, much simpler”
    Motivation of learning Haskell and writing a book about it
    Overview of Elise’s book
    QuickCheck and property based testing
    Functional Reactive Programming
    John Carmack on presentation Functional Programming
    Thinking in networks of networks
    Taking game experience back to business domains
    Apache Kafka
    How Elise’s Clojure has evolved
    Benefit of moving back and forth between using Haskell and Clojure
    clojure.spec
    core.typed
    test.check
    What is on Elise’s radar
    Apache Mesos
    Game AI
    “I encourage everyone to try to write a game in their favorite language”
    Stephen Diehl’s What I Wish I Knew When Learning Haskell
    Stephen Diehl’s Write You A Haskell
    Haskell Programming from first principles by Christopher Allen and Julie Moronuki

    As always, a giant Thank You goes to David Belcher for the logo design.

    50 min
  • Functional Geekery Episode 57 - Mark Seemann

    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.ploeh.dk

    Sponsors

    This episode is sponsored by Clubhouse.io project management tools for software teams. Visit clubhouse.io/geekery to sign up for a free trial and a $50 credit. Clubhouse: dream, develop, deploy.

    Announcements

    Curry On is taking place July 18th and 19th in Rome. Visit curry-on.org to find out more and to register.

    ElixirConf is taking place August 31st through September 2nd in Orlando, Florida. Visit http://www.elixirconf.com to register and find out more.

    Full Stack Fest will be hold in Barcelona on September 5-9th. You can check out 2016.fullstackfest.com to find out more.

    PWLConf 2016 is the first full-day Papers We Love conference, co-located with the preconference events at Strange Loop in Saint Louis, Missouri on September 15th. Keep an eye out for updates on pwlconf.org.

    The Erlang User Conference is coming up in Stockholm, Sweden, the 6th through the 16th of September. Early Bird tickets are now available and get a 10% discount on the conference when you use the code: FunctionalGeekery10 when registering.

    Destination Code, a new unconference starting in Utah, is having its inaugural event this December. Visit http://www.destination.codes/ to find out more.

    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 fast. Visit codemesh.io to register and submit your talk.

    If you have a conference related to functional programming, contact me, and I will be happy to announce it.

    Topics

    About Mark

    How Mark got into software development
    Real-World Functional Programming: With Examples in F# and C#
    LINQ
    F#
    “My C# programming has changed fundamentally from being exposed to F#”
    “[F#] felt like coming home”
    Eric Evans’ Domain Driven Design
    Robert C. Martin’s Clean Code
    Command Query Separation from Bertrand Meyer in Object Oriented Software Construction
    Having side effects separated from the rest of your code
    “Functional programming is imminently testable”
    Jessica Kerr on isolation in Functional Programming on Episode 8
    DHH’s article on Test-induced design damage
    Michael Feathers’ Working Effectively with Legacy Code and seams in code
    “Am I writing good F# code?”
    Learning Haskell
    The struggle of introducing good abstractions
    Overview of Functor Type Class and difference between F# and Haskell
    Edwin Brady on designing with types on Episode 54
    Idris
    How F# influences Mark’s C#
    Structural Equality
    Interfaces with only one method as rough equivalent to a function
    Porting F# to Haskell to determine if F# is “really good”
    “How do I call my database inside my function?'”
    Gerard Meszaros’ xUnit Test Patterns
    Direct vs Indirect inputs and outputs
    Mark’s post on the migration from F# to Haskell
    On evangelizing F# and functional programming
    Once people start being interested it becomes easy to introduce a small library in F#
    Planting the seed of an idea of F# or functional programming
    Curiosity of the lack of discriminated unions in C# or Java
    Overview of Mark’s Pluralsight courses
    FsCheck
    Interest in Clojure to see difference in statically vs dynamically typed languages

    As always, a giant Thank You goes to David Belcher for the logo design.

    1 hr 4 min
  • Functional Geekery Episode 56 - Garrett Smith

    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 routine with DailyDrip.com.

    This episode is sponsored by Clubhouse.io project management tools for software teams. Visit clubhouse.io/geekery to sign up for a free trial and a $50 credit. Clubhouse: dream, develop, deploy.

    Announcements

    PolyConf 2016 will be taking place on June 30th – July 2nd. Visit http://polyconf.com/ to keep updated with news as more details become available.

    Curry On is taking place July 18th and 19th in Rome. Visit curry-on.org to find out more and to register.

    Full Stack Fest will be hold in Barcelona on September 5-9th. You can check out 2016.fullstackfest.com to find out more.

    PWLConf 2016 is the first full-day Papers We Love conference, co-located with the preconference events at Strange Loop in Saint Louis, Missouri on September 15th. Keep an eye out for updates on pwlconf.org.

    The Erlang User Conference is coming up in Stockholm, Sweden, the 6th through the 16th of September. Early Bird tickets are now available and get a 10% discount on the conference when you use the code: FunctionalGeekery10 when registering.

    Destination Code, a new unconference starting in Utah, is having its inaugural event this December. Visit http://www.destination.codes/ to find out more.

    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 fast. Visit codemesh.io to register and submit your talk.

    If you have a conference related to functional programming, contact me, and I will be happy to announce it.

    Topics

    About Garrett

    How Garrett got his start into programming
    Garrett’s exposure to Erlang
    CouchDB
    Joe Armstrong’s Erlang Book
    Using Erlang for getting past a brick wall
    Narrowly defined projects to introduce Erlang
    Learning curve with the Erlang/OTP model
    Chicago Erlang User Group and Martin Logan and Eric Merritt
    ErlangCamp
    “You tend to focus on very small problems, and then move onto the next one”
    “[OTP is] The set of best practices codified into a library”
    “There is absolutely no substitute for mentorship and guidance”
    Introducing Erlang into an organization
    “A lot of what makes Erlang successful is with folks who have experience running things in production”
    Impact of thinking about programs after being woken up at three in the morning multiple times
    “Erlang faces a real uphill struggle to get adopted at any level”
    Tips for building a community
    Meetup
    “Just do it”
    “All the merit resides in the content”
    Bryan Hunter and NashFP
    Workshops to introduce functional programming to new programmers
    Cross pollination amongst groups is underrated
    Chicago Erlang
    Erlang Solutions
    Erlang Factory
    Erlang Factory Lites
    An eye toward conference experiences
    Conferences as a respite and retreat
    Importance of creating a space for serendipity
    Micro-conferences and workshops
    Focus on the content
    More concerted effort for functional programming in introduction to programming
    Matthias Felleisen talking about teaching Racket to middle schoolers
    Simon Peyton Jones talking about Computing at School
    Scratch
    Visibility of teaching functional programming to beginners
    Erlang User Conference
    CityCode

    As always, a giant Thank You goes to David Belcher for the logo design.

    1 hr 3 min
  • Functional Geekery Episode 55 - Andreas Stefik

    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 the coupon `geekery` to save $5 on your first month, and make learning part of your daily routine with DailyDrip.com.

    This episode is sponsored by Clubhouse.io project management tools for software teams. Visit clubhouse.io/geekery to sign up for a free trial and a $50 credit. Clubhouse: dream, develop, deploy.

    Announcements

    PolyConf 2016 will be taking place on June 30th – July 2nd. Visit http://polyconf.com/ to keep updated with news as more details become available.

    Curry On is taking place July 18th and 19th in Rome. Visit curry-on.org to find out more and to register.

    Full Stack Fest will be hold in Barcelona on September 5-9th. You can check out 2016.fullstackfest.com —to find out more.

    The Erlang User Conference is coming up in Stockholm, Sweden, the 6th through the 16th of September. Early Bird tickets are now available and get a 10% discount on the conference when you use the code: FunctionalGeekery10 when registering.

    Destination Code, a new unconference starting in Utah, is having its inaugural event this December. Visit http://www.destination.codes/ to find out more.

    If you have a conference related to functional programming, contact me, and I will be happy to announce it.

    Topics

    About Andreas

    University of Nevada at Las Vegas
    Andreas on Ruby Rogues
    About Human Factors of Programming Languages
    Antti-Juhani Kaijanaho’s paper on only 22 studies on programming languages
    How Andreas came into studying Human Factor
    Stefan Hanenberg
    How do blind people do programming?
    How people that are novices understand syntax
    What the landscape of studies look like now
    Alice programming language
    ICFP has Zero studies coming out of that conference
    What the studies show between static and dynamic languages
    What “a reliable study” means
    Randomized Controlled Trial
    “After a certain level of experience, static typing benefits human beings”
    Neil Brown
    BlueJ
    Relation of static types to implicit or explicit types
    Andreas’ 2×2 study on static vs dynamic types **Updated Link on 2016-06-16**: The ACM site needs to be accessed from Andreas’ site to view papers.
    Status of studies on inherently simple vs complex languages
    Token Accuracy Mapping
    Quorum programming language
    Studies on complier errors
    Neil Brown’s 37 Million Compilations: Investigating Novice Programming Mistakes in Large-Scale Student Data
    Jaime Spacco
    Google’s study on compiler errors for professionals
    Paul Denny’s All Syntax Errors Are Not Equal.
    Status of studies on immutability
    Overview of studies on lambdas
    Andreas’ study on lambdas vs iterators
    Expertise Reversal
    How people can help drive the research forward
    Educate yourself on the standard of research in other fields
    Where can people keep updated on progress of the studies
    programminglanguageusability.org
    EPIQ 2016
    Quorum Google Group
    Quorum Language on Facebook

    As always, a giant Thank You goes to David Belcher for the logo design.

    1 hr 21 min
  • Functional Geekery Episode 54 - Edwin Brady

    In this episode I talk with Edwin Brady. We talk Dependent Types and Idris. We cover his background of getting interested in dependent types, getting up and going with Idris, how to participate to drive Idris forward, and much more.

    Our Guest, Edwin Brady

    @edwinbrady on Twitter

    https://edwinb.wordpress.com/

    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 routine with DailyDrip.com.

    Announcements

    PolyConf 2016 will be taking place on June 30th – July 2nd. Visit http://polyconf.com/ to keep updated with news as more details become available.

    Curry On is taking place July 18th and 19th in Rome. Visit curry-on.org to find out more and to register.

    Full Stack Fest will be hold in Barcelona on September 5-9th. You can check out 2016.fullstackfest.com —to find out more.

    The Erlang User Conference is coming up in Stockholm, Sweden, the 6th through the 16th of September. Early Bird tickets are now available and get a 10% discount on the conference when you use the code: FunctionalGeekery10 when registering.

    Destination Code, a new unconference starting in Utah, is having its inaugural event this December. Visit http://www.destination.codes/ to find out more.

    If you have a conference related to functional programming, contact me, and I will be happy to announce it.

    Topics

    About Edwin Brady

    Idris
    How Edwin got into software development
    Alan Bundy
    Epigram
    Edwin’s experience in industry before going for Ph.D.
    Migrating code from Haskell to C++
    How Edwin migrated from C++ to Dependent Types
    Trying to write out data types in Python
    Edwin’s preference between dynamic and static types
    Type Driven Development
    “Allowing more precision in types”
    Being more explicit about assumptions up front
    How does one get going with Idris
    `printf` in C
    Dynamic checks and what checks are required
    “If you give the type up front you have a some hope of the machine figuring out the program for you”
    Types as constraints similar and comparison to Prolog
    Type Driven Development with Idris
    “About taking types as the first thing you do”
    Holes in Idris
    Evolving code with help from evolving types
    Edwin’s view of the Idris community’s adoption
    Coq
    Agda
    shapeless library in Scala
    Total Programs
    What opportunities could people help participate in to move Idris forward
    Idris’ backend plugin system
    How to get up and running
    David Christiansen’s M.Sc thesis
    Jan de Muijnck-Hughes
    Big Tech Day presentation in Munich
    Idris on freenode
    Idris mailing list
    Idris on Github

    As always, a giant Thank You goes to David Belcher for the logo design.

    58 min
  • Functional Geekery Episode 53 - Scott Nimrod

    In this episode I talk with Scott Nimrod. We talk about his entry into F#, his realizations, and his stumblings in coming from a strong object-oriented background.

    Our Guest, Scott Nimrod

    @bizmonger on Twitter

    bizmonger on Github
    https://bizmonger.wordpress.com

    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 routine with DailyDrip.com.

    Announcements

    PolyConf 2016 will be taking place on June 30th – July 2nd. Visit http://polyconf.com/ to keep updated with news as more details become available.

    Curry On is taking place July 18th and 19th in Rome. Visit curry-on.org to find out more and to register.

    Full Stack Fest will be hold in Barcelona on September 5-9th. You can check out 2016.fullstackfest.com —to find out more.

    If you have a conference related to functional programming, contact me, and I will be happy to announce it.

    Topics

    About Scott

    How Scott decided to get into functional programming
    F#
    What attracted Scott to look at F#
    Scott’s transition to F#
    F# on Lego Mindstorms blog post and source code
    Property based testing in F#
    NDC London
    Difference between C# and F# workflows
    Computational Expressions
    “I didn’t realized how much of a slave I was to that paradigm [object-oriented]”
    How learning F# has affected the way Scott writes non F# code
    Attempt to bring propery based testing to non-F# workflow
    Making illegal states inrepresentable
    Struggles with taking advantage of F#’s type system
    Object Expressions
    How well did Scott’s familiarity with LINQ transfer to F#?
    “Do not try to relate concepts in Functional Programming to what you do in Object Oriented Programming”
    F#’s Backwards Pipe Operator
    Mark Seemann’s artical on F#’s Backwards Pipe Operator
    Tuples in F#
    Resources for getting into F#
    Expert F# 4.0
    Testing with F#
    Scott Wlaschin YouTube videos
    FSCheck
    F# language questions on StackOverflow
    Mark Seemann’s Pluralsight videos
    Desired resoruce of “How to arcitect complete solutions in F#”
    F*
    “I wish there was more of a F# community here in the States”

    As always, a giant Thank You goes to David Belcher for the logo design.

    1 hr 7 min
  • Functional Geekery Episode 52 - Rúnar Bjarnason

    In this episode I talk with Rúnar Bjarnason. We talk his introduction to functional programming, Haskell, Scala, his book Functional Programming in Scala, and more.

    Our Guest, Rúnar Bjarnason

    @runarorama on Twitter

    runarorama on Github
    http://blog.higher-order.com/

    Announcements

    PolyConf 2016 will be taking place on June 30th – July 2nd. Visit http://polyconf.com/ to keep updated with news as more details become available.

    Curry On is taking place July 18th and 19th in Rome. Visit curry-on.org to find out more and to register.

    Full Stack Fest will be hold in Barcelona on September 5-9th. You can check out 2016.fullstackfest.com —to find out more.

    If you have a conference related to functional programming, contact me, and I will be happy to announce it.

    Topics

    About Rúnar

    Functional Programming in Scala
    How Rúnar was introduced to functional programming
    Haskell
    xmonad
    Lambda the Ultimate
    “Instead of thinking about mutating the world, thinking about ‘What is my input?'”
    Transition to Scala
    Tony Morris
    Functional Java
    Making the transition to Scala in the early days of Scala
    ScalaCheck
    scalaz
    Differences in the differences between the styles of Scala
    “Modern functional programming on the JVM”
    Introducing functional programming to people new to Scala
    Handling Errors via Either, Maybe, or Option
    IOMonad, or Database State Monad
    doobie
    Immutable data structures
    “If you take 3 and 2 and add them to get 5, you haven’t modified the number 3”
    Maintaining state in functional programming
    ‘A companion booklet to “Functional Programming in Scala”‘
    Constraints Liberate, Liberties Constrain
    Adjunctions
    An Adjunction That Introduces The Reader Monad
    FlatMap Oslo
    Northeast Scala
    Scala Up North
    CUFP – Commercial Users of Functional Programming
    ICFP – International Conference on Functional Programming

    As always, a giant Thank You goes to David Belcher for the logo design.

    45 min

About Functional Geekery

From the publisher's feed

Functional Geeks, Geeking Functionally