CodeDmitry wrote
> Why don't Smalltalk or Smalltalklike languages have checked interfaces?
> The compilation occurs at runtime but it is still technically a
> compilation, why don't languages allow implementing interfaces at runtime?
> The type information is there, and the source can load the list of
> messages expected and check if the compiled class contains all members or
> removes it and throws an exception. Is this just too expensive?