1. Кажется, такой обработчик есть в Data.Typeable. 2. В твоих примерах неясно, зачем нужен апкаст/даункаст. Почему нельзя перенумеровать все возможные варианты и сунуть в один тип. 3. Как раз позавчера читал про Typeable, и стало очень интересно: Как оно устроено "внутре"?
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
zaluzianskya and ![[community profile]](https://www.dreamwidth.org/img/silk/identity/community.png)
skylark_photos
no subject
Date: 2009-02-05 12:25 pm (UTC)2. В твоих примерах неясно, зачем нужен апкаст/даункаст. Почему нельзя перенумеровать все возможные варианты и сунуть в один тип.
3. Как раз позавчера читал про Typeable, и стало очень интересно: Как оно устроено "внутре"?