
#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


