Какой опыт у вас есть в области реализации типов в программировании?