AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Is There a Trade-Off Between Mathematical Simplicity and Programmability?
There's a community in approach to language design, which really cares about mathematical simplicity. And there's a whole wing of people who design programming languages who don't think about that at all. If your language features are in some mathematical sense, fairly simple and composable, then there will tend to be many fewer corners that you can cut yourself on in the language. A language that is not got this, something like C++, which I've never really used it professionally,. But it is a language made up of sharp corners.