Override integer and other types

Permanently deleted user

Created March 05, 2015 11:00

Hi, all...
I want to create my language which contains properties and each property has a type.
I defined my Type concept.
My Type can be my primitive type, and my custom type.

I want to use primitive type from base language and to extend it.
Is it correct, what is it the best way to do?
Why to extend, because if I have my TypeBool that I can use it to write logical expression, or if I have TypeInt I can use math operation.

1 comment

Vaclav Pech

Created March 16, 2015 09:22

If I understand correctly, your types do not need to extend the concrete BL types. You, however, should define sub typing rules for your types to declare their super-types correctly.

For example, the BL LongType does not extend FloatType, but defines a type-system sub typing rule to declare that FloatType is a super-type of LongType.

Please sign in to leave a comment.