Tech Talk: Total Swift Programming
CoRecursive: Coding Stories
00:00
Swift Type System
In indres, for example, you could say, the function take ant takes a list, but it also takes a proof that the list is of size at list. And then if you try to make a coll where you don't have the proof of the size of length, the cod will not compile. So swift is has all this machinery to work with optionals, and it's very useful to achieve otolity. It means that you can write generi operators, er, simplemat felld her flat map, on things like a new new datotypes that you ou create yourself. Butin day to day programmin a, it's really a very nice step toward towards
Transcript
Play full episode
