search

chenhsi / Ambroscum

An interpreter/compiler for a programming language we're probably going to create
MIT License
0 stars 0 forks source link

Typing #9

Open chenhsi opened 11 years ago

chenhsi commented 11 years ago

Ideally, this language should be typed. That said, how typing works has not been fully decided yet, In addition, implementation of this has been postponed due to complexity and that objects themselves have not yet been implemented either.

chenhsi commented 10 years ago

How does typing work without inheritance?

edgao commented 10 years ago

How does typing work without types?

Seriously. How does a prototype-based language do typing? (Beyond primitives). Do we want to somehow implement interfaces, and use those as types? (maybe somehow, in variable declaration, something like object(interface) variable_name where interface is, itself, an object that has the attributes that variable_name has to have)

chenhsi commented 10 years ago

See, that sounds like something that should be done by type inference (must be an object that can have a certain method), but I still don't get how that was supposed to work for the 164 project.

However, prototype-based languages in general seem to be dynamically typed (Wikipedia only says that statically typed languages are technically feasible).

But are we certain that we do want to use a prototype-based language? Perhaps we should decide on how objects will work first.