Achieving static typing in an object-oriented context requires careful consideration of all the mechanisms needed and their interaction with the rest of the language. This presentation discusses the facilities which, ...
详细信息
ISBN:
(纸本)0897915399
Achieving static typing in an object-oriented context requires careful consideration of all the mechanisms needed and their interaction with the rest of the language. This presentation discusses the facilities which, in the author's opinion and experience, are needed to make static typing possible and realistic for an object-oriented language (and whose combination constitutes the Eiffel type system).
暂无评论