One Alexis Beingessner mentioned it in her blog post titled 'How Swift Achieved Dynamic Linking Where Rust Couldn't' in a 'Brief Aside About Existentials.' Some cursory initial Google research indicates this is a subset of full, general dependent typing, so that's what I'd mention it under that I already have listed.
One Alexis Beingessner mentioned it in her blog post titled 'How Swift Achieved Dynamic Linking Where Rust Couldn't' in a 'Brief Aside About Existentials.' Some cursory initial Google research indicates this is a subset of full, general dependent typing, so that's what I'd mention it under that I already have listed.