#120
We dive into the new Aver programming language with its creator, Szymon Teżewski: The AI-native language where code explains itself.Aver is a language where every function carries its intent, side effects are visible in the type system, and tests are executable specs next to the
#114
Carl Meyer works on the ty Python type checker, built in Rust by Astral the creators of Ruff and uv. We chat about type systems, the evolution of static typing in Python, and the focus on performance. Resources: Richard Feldman: Roc compiler moving from Rust to Zig
#60
Kotlin Language designer Roman Elizarov, joins us to talk about finding the right balances when designing Kotlin.
#58
Martin Odersky, creator of Scala, joins us to chat about Scala, Effects, Exceptions, Experiments, and other Exciting stuff.
#54
Magnus Madsen, language designer for the Flix programming language, joins us to talk about the driving principles and innovative features of the language.
#47
The creator of the new Roc programming language, Richard Feldman, joins us to talk about rocking developers worlds' with better tools & paradigms.
#43
We've mentioned the futuristic Unision programming language many times but now we dive deep with one of the co-founders.
#21
James is a Dynamic Programming Language Denier but realizes only a part of his code is actually statically typed. And programming languages so full of quirks that you have to hold the quick reference book in your teeth.
#19
Change happens, but slowwwwly. How can we accelerate the adoption of new & better programming language features? Should we?
#1
In our first episode we discuss features of the Kotlin programming language that we like.