On Mon, 2007-10-22 at 09:27 -0400, Sandro Magi wrote:
> On 10/22/07, skaller <[EMAIL PROTECTED]> wrote:
> >
> > Note for example how Haskell does typeclasses across translation
> > unit boundaries, by passing dictionaries. Or how Ocaml does
> > classes by run time Hashtbl based method dispatch.
> >
> 
> I had thought that OCaml used a binary search of a method selector
> array, with some additional caching for most recently used methods.

Yes, my bad... it uses hashes for polymorphic variants: got
confused. The point is that there is quite some dynamics there,
but still static typing.

-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net

-------------------------------------------------------------------------
This SF.net email is sponsored by: Splunk Inc.
Still grepping through log files to find problems?  Stop.
Now Search log events and configuration files using AJAX and a browser.
Download your FREE copy of Splunk now >> http://get.splunk.com/
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language

Reply via email to