Mixing data(view)types and abstract(view)types

[Elliott Villars]

Hello,

I am wondering if it possible to provide an implementation for an abstract type in C and be able to pattern match on it with type constructors? For example, say I implement an array-based binary tree, can I also bind Leaf and Tree constructors to it, basically keeping the C performance but making it look like an ATS datatype?

Also, is it possible to execute runtime code based on the result of a pattern match on a dataview?

-Elliott