OrcO added Orc-declared sites. These are different from defs (aka functions) but share many features. The type checker should compute types for sites the same way it does for defs, but should use a different type constructor: site (A, ..., C) -> T instead of def (A, ..., C) -> T.
The site and def type constructors behave much the same in almost every case so a super type would be useful. Arthur's previous writing on this has use "callable". However, this is an awkward name. We should consider other options.
OrcO added Orc-declared sites. These are different from defs (aka functions) but share many features. The type checker should compute types for sites the same way it does for defs, but should use a different type constructor:
site (A, ..., C) -> Tinstead ofdef (A, ..., C) -> T.The site and def type constructors behave much the same in almost every case so a super type would be useful. Arthur's previous writing on this has use "callable". However, this is an awkward name. We should consider other options.