[Aldor-l] Aldor type system

[Pippijn van Steenhoven]

Hi,

I have a few questions about the aldor type system but I can only
remember two of them at the moment:

1. Are there any implicit conversions and if so, how do they affect type
   inferencing? Implicit conversions make type inferencing undecidable
   and overloading ambiguous, so I hope not.
2. How does subtyping or type classification work? In ML, you can have a
   type called Bool and have two constructors TRUE and FALSE. You can
   then later use pattern matching to find out which of those two
   constructors was used to construct that Bool. In C++, one would do
   that with inheritance and dynamic_cast (or visitor). Same goes for
   Java. In C, it's all ugly with unions and markers and completely
   throwing away type safety. The best in my opinion is the ML way, but I
   understand that aldor doesn't have that, so what does it have?

-- 
Pippijn van Steenhoven
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 197 bytes
Desc: Digital signature
URL: <http://aldor.org/pipermail/aldor-l_aldor.org/attachments/20090910/2533dc9b/attachment.bin>