archives

How is structural typing checked?

If a language is decided to have structural type, how are the types checked?

With a nominal type system I can just have a table with the names, and lookup it. However with structural types is necessary to encode more info so I can know how do it.

How are this info encoded? How are the check performed?

By mamcx at 2016-10-15 00:15 | LtU Forum | 8 comments | other blogs | 5426 reads