1. Euphoria typing discipline

Using the definitions here:

http://en.wikipedia.org/wiki/Type_system

How is Euphoria typed?


Smudger

new topic     » topic index » view message » categorize

2. Re: Euphoria typing discipline

smudger said...

Using the definitions here:

http://en.wikipedia.org/wiki/Type_system

How is Euphoria typed?

Euphoria uses both static and dynamic types.

Some aspects of euphoria are strongly typed (think about trying to get a truth value when comparing a sequence and an atom), and others are weakly typed (an atom converted to an integer and vice versa).

I suppose that a euphoria atom is a union type of euphoria integers and doubles, and of course an object can be anything.

Matt

new topic     » goto parent     » topic index » view message » categorize

3. Re: Euphoria typing discipline

smudger said...

Using the definitions here:

http://en.wikipedia.org/wiki/Type_system

How is Euphoria typed?


Smudger

Euphoria is both static and dynamic.

Static means that the parser enforces and/or uses type declaration information to create the appropriate IL for statements.

Dynamic means that type information is worked out at execution time and the appropriate code is selected then.

new topic     » goto parent     » topic index » view message » categorize

Search



Quick Links

User menu

Not signed in.

Misc Menu