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:[EMAIL PROTECTED]

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to