There needs to be a way to limit what arbitrary types are given in a type variable and to know for sure that certain aspects of the API will be present. I want something like C++ concepts. They will be the underpinning for the ability to pass around types as first class objects.
There needs to be a way to limit what arbitrary types are given in a type variable and to know for sure that certain aspects of the API will be present. I want something like C++ concepts. They will be the underpinning for the ability to pass around types as first class objects.