[Haskell-cafe] run-time type testing in haskell?

Eric eeoam at ukfsn.org
Sat Apr 28 09:06:21 EDT 2007


In imperative languages one can test the type of a variable and downcast 
if necessary. Here's an example in Pseudojava:

T v := ... ;
if (v instanceof T') T' v' := (T')v

Is it possible to do something like this in Haskell?

Eric.



More information about the Haskell-Cafe mailing list