Categories
Podcasts

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.

Categories
Podcasts

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.

Categories
Podcasts

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.

Categories
Podcasts

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.

Categories
Podcasts

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.

Categories
Podcasts

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.

Categories
Podcasts

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.

Categories
Podcasts

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.

Categories
Podcasts

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.

Categories
Podcasts

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.