Вот еще система типирования от компании "Лаборатории упаковки смыслов"

[ritakotylev]

Оригинал взят у hloflo в Вот еще система типирования от компании "Лаборатории упаковки смыслов"


Отсюда