4 ms·

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 languag

• mooism2 12y ago
  Lots of languages have constructors. Some of them aren't even object oriented.
  • chriswarbo 12y ago
    Indeed, the wording of the article even made me think of type theory and functional programming. > 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.
• nl 12y ago
  It's frequently used outside computer programming. For example, "who was the constructor of the Panama canal" was easy to find with Google autocomplete. It's used quite a bit in the construction industry.
• rollthehard6 12y ago
  Not a follower of F1 then? http://en.wikipedia.org/wiki/List_of_Formula_One_World_Constructors'_Champions http://en.wikipedia.org/wiki/List_of_Formula_One_World_Const...