
#54 Flix: Designing a principled programming language with Magnus Madsen
Happy Path Programming
00:00
Type Inference, Is It Possible?
The legal state should be unrepresentable. That someti tat is is somtin to aspire to your right? It's difficult. I see this imust be ing progress. So that's because i think it gives an example that ada has, where instead of just using a 32 bit injius everywhere, you try to be more precise. And so i think we also wanted to have some of that stuff. But also going back to this thing with them, you know, now maybe the pendulum has to swing in the other direction, towards e. The jaboscrip flame framework is like yon that's upvoted on haggarnes.
Play episode from 33:51
Transcript


