Yeah abstract types seem to be the best place to implement something like this since, at least to my knowledge it wouldn't fundamentally break anything. You would still be able to define abstract types as is but you would also have the added power to further refine the behaviour of that type.
On Thursday, March 27, 2014 4:53:26 AM UTC-4, Tobias Knopp wrote: > > In my opinion it would be worth adding some syntax for defining an > interface for abstract types. > It should give us nice error messages and clean way to document an > interface. > > This is quite similar to the C++ concepts but as it is already possible to > restrict the "template parameter" in Julia, the only missing thing is to > define the interface for an abstract type. > >
