|
...по проверке вашего кода на компилятор, введя систему типов для вашего конкретного приложения. Концептуальная сторона такого подхода к разработке приложений и языков описана в замечательной работе Pluggable Type Systems , автором которой является Gilad Bracha. Для общего ознакомления можно посмотреть его слайды . Рассматривая достоинства и недостатки языков со строгой типизацией по сравнению с ...

http://elizarov.livejournal.com/10741.html
(Cached)
0 links
Published: 1 year ago (Mon, 07 Jul 2008 06:04:00 PDT); 4875 bytes
|