Tech Talk: Total Swift Programming
CoRecursive: Coding Stories
00:00
The Type of Number That Doesn't Contain Zero
In swift, there is no way of writing this in a very simple way. In idris, you woll just say, a my list. It happens that it's a vector. But ah, the number of element here is n is successor of n, where n is a number. That means that if n is zero, then your list is of size successor of zero. So it's one. And if your list, if n is more than zero, for example, four, it means that your list are of size five. You have tohave all the lists, all the possible lists except zero, by writing down this type. This is not something swift can tell you.
Transcript
Play full episode
