CoRecursive: Coding Stories

Tech Talks are in-depth technical discussions.

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 representative of how computers work and therefore an easier programming model.

Tech Talks are in-depth technical discussions.

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 types in Haskell. In today's interview Stephanie Weirich explains her efforts to add dependent types to haskell and how that example worked.

Shows Notes:

• Dependent Types in Haskell Talk
• https://www.cis.upenn.edu/~sweirich/
• https://github.com/sweirich
• @fancytypes
• Dependent Types Regex

In todays interview Stephanie Weirich explains her efforts to make haskell have dependant types and how that example worked.

Tech Talks are in-depth technical discussions.

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 really enjoy this interview. The insights from this conversation are already helping me.

• Contact
  • Jan Machacek is the CTO at Cake Solutions.
• Videos
  • long lived micro services
  • Book - Reactive System Architecture

Tech Talks are in-depth technical discussions.

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 adding HKT. We also touch on why it is so hard to secure code. Jim works on Firefox and his insights into the difficulty of writing secure code are super interesting.

Show notes

• Rust
• Programming Rust Book
• MESI protocol
• Constraint-based Verification of Parameterized Cache Coherence Protocols Formal Methods in System Design
• Rust Validation -
• 3d game demo - (not sure where this is, post in comments if you find it)
• integer overflow

Tech Talks are in-depth technical discussions.

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

Tech Talks are in-depth technical discussions.

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:

• twitter
• medium 

Talks on Sangria:

• youtube
• slides

• Sangria videos
  • https://www.youtube.com/watch?v=3l--XM6j-1w
  • https://www.youtube.com/watch?v=JC-UJwBKc2Y
  • https://skillsmatter.com/skillscasts/9134-beyond-rest-graphql-and-sangria

Graphql

• https://graphql.org/swapi-graphql/

 

Tech Talks are in-depth technical discussions.

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:

• twitter
• github
• website

Show notes:

• Purescript
• purescript training videos

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, working fairly autonomously on interesting problems. We are one of many teams working on interesting problems at Tenable. I think its a great place to work.

I am in Peterborough, in Canada, and our team has people working in the US, Ireland and the UK as well.

Here is the job posting:

https://www.linkedin.com/jobs/view/586241797/

Tell them Adam sent you, or you can email me directly at work abell at tenable.com or use this link to apply.

Tech Talks are in-depth technical discussions.

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.

Show Notes:

• John's Website and Twitter
• Descriptive Variable Names: A Code Smell
• Data Structures Are Antithetical to Functional Programming
• A Modern Architecture for FP

Tech Talks are in-depth technical discussions.

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 it.  This recursive definition and a speaking deadline led Miles to create shapeless. Years later he is still pushing the bounds on what you can do in Scala, including recently getting support for literal types added to scalac 2.13.