I laughed when I saw that used the name of a C++ for the theory.
The word 'constructor' may have been used in niche places before it was adopted by the language but I've never seen it used outside of it.
The word 'constructor' may have been used in niche places before it was adopted by the language but I've never seen it used outside of it.
It's used quite a bit in the construction industry.
> For instance, a kettle with a power supply can serve as a constructor that can perform the task of heating water.
kettle power_supply water : (water * heat)
> You simply say that the task of creating energy from nothing is impossible.
first_law : (Null -> energy) = _|_
> In principle, everything possible in our universe could be written down in a big book consisting of nothing but tasks
This sounds like an enumeration (eg. a Goedel numbering) of programs, or alternatively of a (program, runtime) quarter-plane.
> The collaborators then go on to define the concept of a “superinformation” medium that encodes messages that specify particular physical states—in this case, one in which copying is impossible
Sounds like substructural type systems and linear (or affine) types.