[Haskell-cafe] casting

[Bulat Ziganshin]

Hello Thomas,

Monday, October 9, 2006, 3:47:05 PM, you wrote:

> constraints on its type. Rather than being just any type that is an
> instance of A, I want to do a runtime check and do something different

it's a sort of problem that bites me many times when i start to wrote
Streams library :)  although you said that you discovered the
dictionaries mechanism, i propose you to read
http://haskell.org/haskellwiki/OOP_vs_type_classes page where you can
find something that you don't yet know

-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com