On Tue, 14 Nov 2006, Don Syme wrote:
> > I just did a quick scan of some F# docs and
> > I saw nothing. What did you have in mind?
>
> .NET type parameters are extensional, i.e. "you can always find out what
> 'a is at runtime".  In particular in C# you can just write "typeof(T)",
> and in F# "(type 'a)", in each case getting a System.Type value.
> Supporting exact runtime types was a design decision we made in the
> early design stages for .NET generics.

As a mostly Java programmer now, I have to say I'm a bit envious. C# generics
look a lot better to me than the Java 5 ones.

What I didn't notice while looking at the F# docs was a way to declare
a generic function/value, where by "generic" here I mean in the GCaml/CLOS
sense, not the Java/Ada sense. Is something like that in F#, or planned?

-- Brian