CoRecursive with Adam Bell-logo

CoRecursive with Adam Bell

Podcasts >

More Information

Location:

Canada

Genres:

Podcasts

Twitter:

@corecursive

Language:

English

Contact:

705743-9824


Episodes

Big Ball Of Mud

11/14/2018
More
Evolving software under constrained resources is a challenge, and I think we kid ourselves when we don't admit this. Software that is providing value often grows in scope until it is a mess. Today I talk to Wade Waldron about how avoid this situation or recover from it. Big ball of mud is the title of a paper presented at the 1997 Patterns Languages of Programs conference and I think it is super interesting. The researchers went out into the field to see what architectures software in...

Duration:01:00:50

God's Programming Language

10/22/2018
More
Today I talk to Professor Philip Wadler, a very accomplished programming language researcher. Phil walks us through a principle that has guided his career. That principle is that typed lambda calculus is not invented but a discovery of a deep truth. It is something connected to the mathematical underpinning of the universe itself. It follows from this that functional programming languages are therefore more correct or more deeply justified and fundamental than other languages. I am probably...

Duration:01:00:52

020 - Concurrency and FP with Riccardo Terrell

10/3/2018
More
When Riccardo Terrell hit the concurrency limitations in a jvm application, he thought back to the haskell he learned in a university course and decided to rewrite the entire thing in haskell. The immutability of the haskell solution made the concurrency bottleneck non-existent. It is no surprise that years later, his book on concurrency in .net leans heavily on functional programming constructs and the functional features of F# and C#. Today we talk about concurrency and functional...

Duration:01:00:32

019 - Test in Production with Charity Majors

8/31/2018
More
"Metrics and Dashboards can die in a fire and every software engineer should be on-call" - Charity Majors Today's Interview is with Charity Majors. We talk about how to make it easier to debug production issues in today's world of complicated distributed systems. A warning, There is some explicit language in this interview. I originally saw a talk by Charity where she said something like fuck your metrics and dashboards, you should test in production more. It was a pretty hyperbolic...

Duration:00:47:58

018 - Domain Driven Design And Micro Services With Vaughn Vernon

8/17/2018
More
Today I talk to Vaughn Vernon about how Domain Driven Design can help with designing micro services. The guidelines that Vaughn has developed in his work on DDD can provide guidance for where service and consistency boundaries should be drawn. We also talk about the platform he is developing for applying these DDD concepts using the actor model, Vlingo. Also my group at Tenable is hiring for our web app scanning product. We are looking for a talented developer and I think it is really a...

Duration:00:48:59

017 - Http4s With Ross Baker

7/27/2018
More
The promise of functional programming is code that is easier to reason about, test and maintain. Referential transparency means there is no extra context to worry about, we can just focus on inputs and outputs. Examples of functional programming in the small are plentiful. Fibonacci is easy to write as a function but what about fp in the large? Http4s is a web framework written in scala that takes a pure functional approach to building http services. Ross Baker is a contributor to http4s...

Duration:00:50:58

016 - Moves and Borrowing In Rust With Jim Blandy

7/3/2018
More
The surprising thing about rust is how memory management works. Rust has the concepts of moves and borrowing. If you have heard about Rust, you may have heard people talking about the borrow checker and trying to make it happy. In this interview, Jim Blandy walks us through what these concepts mean and how they work. We also talk about how to avoid fighting with the borrow checker at all and why the conceptual model that Rust adopts, though it may seem unusual at first, is actually more...

Duration:01:07:03

015 - Dependent Types in Haskell with Stephanie Weirich

6/13/2018
More
At Strange loop 2017, a wandered into a talk where I saw some code that deeply surprised me. The code could have been python if you squinted, passing dictionaries around, no type annotations anywhere. Yet key look up in the dictionary was validated at compile time. It was a compile time error to access elements that didn't exist. Also the dictionary was heterogeneous, the elements had different types, and it was all inferred and validated at compile time. What I was seeing was Dependent...

Duration:01:00:23

014 - Micro Service Architectures With Jan Machacek

6/6/2018
More
I don't know a lot about micro services. Like how to design them and what the various caveats and anti-patterns are. I'm currently working on a project that involves decomposing a monolithic application into separate parts, integrated together using Kafka and http. Today I talk to coauthor of upcoming book, Reactive Systems Architecture : Designing and Implementing an Entire Distributed System. If you want to learn some of the hows and whys of building a distributed system, I think you'll...

Duration:01:06:31

013 - Rust And Bitter C++ Developers With Jim Blandy

5/16/2018
More
Rust, the programming language, seems to be really trendy these days. Trendy to me means shows up a lot on hacker news. Rust is really interesting language though, and I think the growing popularity is deserved. Today I talk with Jim Blandy, one of the authors of Programming Rust. We talk about what problems rust is trying to solve, the unique language features and type system of rust. It includes both algebraic data types, type classes, and generics. There is even a proposal somewhere for...

Duration:01:02:52

012 - Erlang And Distributed Systems with Steven Proctor

5/2/2018
More
Today's interview is with Steven Proctor, the host of the functional geekery podcast. We talk about distributed programming in general and specifically how erlang supports distributed computing. We also talk about things he's learned about functional programming and applying FP principles to various non FP contexts. Contact Proctor: Functional Geekery Podcast@stevenproctor@fngeekery

Duration:01:01:24

011 - Graphql And Sangria With Oleg Ilyenko

4/18/2018
More
Oleg Illyenko is primary creator of Sangria, a graphql implementation used by twitter, The New Yorks Times and many other companies. We discuss the problems that graphql solves, how sangria works and the problems of api design. Show Notes: Sangria Graphql Contact Oleg: twittermedium Talks on Sangria: youtube slides Sangria videoshttps://www.youtube.com/watch?v=3l--XM6j-1whttps://www.youtube.com/watch?v=JC-UJwBKc2Y...

Duration:00:55:34

010 - Purescript And Avocados with Justin Woo

4/4/2018
More
Purescript is a functional programming language that compiles to javascript. It is a strict haskell dialect that can run anywhere that javascript does. Justin Woo is a self described Purescript evangelist and enthusiast. We talk about purescript vs elm and working with expressive type systems. Justin also had some great metaphors about phantom types and masking tape as well as avacados and testing. Contact Justin: twittergithubwebsite Show notes: Purescriptpurescript training...

Duration:00:51:05

009 - Throw Away the Irrelevant with John A De Goes

3/21/2018
More
Today's interview is with John A De Goes. We talk about performance problems with monad transformer on the jvm, various flavours of IO monads and reasoning about polymorphic type signatures. On the lighter side of things, we discuss how to write technical articles well, flame wars and Zee vs Zed pronunciation. My team at Tenable is hiring. We are a distributed team of scala developers working on static analysis of docker containers (among other things). We are a team of smart people,...

Duration:01:08:23

008 - Generic Programming and Shapeless with Miles Sabin

3/7/2018
More
When Miles Sabin applied to speak at a conference on generic programming, he bluffed a little bit. He would present on porting Simon Peytons Jone’s scrap your boilerplate functionality to Scala. Once his talk was accepted, he only had one thing left to do, implement it. Generic programming is the type of polymorphism your language does not directly support. To me this seems paradoxical, as once you implement a solution, the language, or at least a library within the language can now support...

Duration:01:00:37

007 - Total Programming Using Swift with Andre Videla

2/12/2018
More
In simple terms, a total function is a function that produces a well defined output for all possible inputs. A total program is a program composed of only total functions. A non-total, or partial function, would be a function that can fail given certain inputs. Such as taking the head of a list, which can fail if giving an empty list and is therefore non-total. Total programming can be done in any language, however many languages make this easier. Some, going so far as to require proof of...

Duration:00:53:55

006 - Type Driven Development and Idris With Edwin Brady

1/29/2018
More
Edwin Brady is the creator of the Idris programming language and Author of the book Type-Driven Development with Idris and a computer science lecturer. The book, the language and Edwin himself all seem to be chock full of ideas for improving the way computer programming is done, by applying ideas from programming language theory. In this interview, we discuss dependent types, type holes, interactive and type-driven development, theorem provers, Curry–Howard correspondence, dependant...

Duration:00:59:36

005 - Algebraic Domain Modelling using Functions With Debashish Ghosh

1/22/2018
More
In object oriented languages, modeling a complex problem domain is a well understood process. Books like Domain Driven Design contain techniques for breaking down a problem domain and earlier books like the gang of four book catalogue design patterns for modeling these domains in an object oriented way. In today’s interview Debashish Ghosh explains how to model a complex problem domain in a functional paradigm. His solution focuses on modelling the behaviour of the software system rather...

Duration:00:58:55

004 - Design Principles From Functional Programming with Runar Bjarnason

1/10/2018
More
Runar Bjarnason has been exploring how writing in a functional style increases modularity and compositionality of software for many years. He is co-author of functional programming in scala, a book that teaches these principles in scala. It is a very challenging yet very rewarding book, sometimes referred to as simple ‘the red book’. In this interview Runar explains how writing in a functional style involves limiting side effects, avoiding exceptions and using higher order abstractions....

Duration:00:51:11

003 - Scala at Duolingo with Andre Kenji Horie

1/7/2018
More
Doulingo is a language learning platform with over 200 million users. On a daily basis millions of users receive customized language lessons targeted specifically to them. These lessons are generated by a system called the session generator. Andre Kenji Horie is senior engineer at Doulingo. He wrote about the process of rewriting the session generator, as well as moving from python to scala. and changing architecture all at the same time. In this episode Andre talks about the reasons for...

Duration:00:53:16