Quote: for syntactic typing just need 1 type per identifier; two types per id may balance lookup vs. number of procedures

Quotation

syntactic typing is completely defined with a single type per identifier, multiple types are simply for convenience. My guess is that two syntactic types per id balances increased access time (up to 2**num-args lookups) with reduced number of procedures (n*m)   Google-1   Google-2

personal notes

Related Topics

Topic: data types in Thesa (92 items)
Topic: data type by name or tags (29 items)