4 ms·
(I find it tremendously amusing when people think that computer languages invented types instead of participated in a late-set convergent evolution with type th
by tel 12y ago
(I find it tremendously amusing when people think that computer languages invented types instead of participated in a late-set convergent evolution with type theory.)
- seanmcdirmid 12y agoType is such a generic word though. You can use the word just by its basic definition (a category of people or things having common characteristics) and everyone would mostly understand what you are talking about. What Russell invented was a theory with types of a more formal definition.
- tel 12y agoSo is "force" and its basic definition has been well-understood for far longer than its precise definition. But for anyone practicing anywhere near physics you ought to learn and recognize the formalization. People reinvent it all the time, to varying degrees of validity, but it's fairly clear how to draw all of this back to Newton and then connect it to the mainline formal development which has occurred since then.