komar
17.10.2012 14:37 thinkpad
<voker57> там какая-то хуйня была, в которую можно любой тип завернуть
<voker57> вот передавать значит мап такой хуйни и кастовать во что нужно
<voker57> конечно в компил тайме проверки никакой не будет
<komar> А, ты про то, что хештейблы уебищные?
<voker57> да
<komar> ХУИТА
<voker57> ну, это потому, что мы в хаскелле, блядь, пишем
<voker57> Олег, он может и папир написать под такую хуйню.
3 comments
recommend
bookmark
subscribe
Возможно, вы ниасилили экзистенциальные типы.
если брать этот ваш х-ь, то "любой тип" и "кастовать во что нужно" одновременно — это не экзистенция духа, это typeable.
Поэтому и "возможно": очень редко нужно запихивать в контейнер именно всё, что угодно: обычно содержимое таки потом как-то диспетчится по ограниченному заранее известному количеству вариантов. Иначе, конечно, Data.Dynamic какой-нибудь.