Happy Path Programming cover image

#54 Flix: Designing a principled programming language with Magnus Madsen

Happy Path Programming

00:00

Java Type System

I think my problem with them in the past has been that you do a lot of work and you don't get that much of a benefit. Where when i see our participate in debates around type systems, the people that are against them are usually against java type systems like t te. They haven't ansuranced a type system with type inference. And and i think that's a huge thing that will open up the doors for a lot of people back into the world of type system as good type in prints.

Play episode from 35:55
Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app