Help!

[Eldar Insafutdinov]

On Monday, 26 November 2012 at 19:17:30 UTC, Eldar Insafutdinov 
wrote:
>
> The problem lies within how the compiler is engineered. Basic 
> built-in types should be a part of symbol table and inserted 
> into it at the compiler startup. That means that any mentioning 
> of built-in types in the parser should be removed and any 
> differences between user defined symbols and basic types should 
> be as small as possible. That will remove many special cases 
> from the compiler as well as automatically resolve the alias 
> problem. As far as I understand this is how basic types are 
> implemented in the Haskell compiler.
>
> Cheers
>
> Eldar

Although I realize now that this will not make alias accept 
derived types like arrays, pointers etc. But regardless, 
distinction between built-in and user defined types should be 
very little, even in the compiler internals. In the end this is 
the whole point of OOP which allows for the user to make the 
types which are just as good as internal ones.