4 ms·
>Language research is still in the phase of bad humors and blood letting. Love this. Practically all the claims I've seen are just small code samples accompani
by cholantesh 10y ago
>Language research is still in the phase of bad humors and blood letting.
Love this. Practically all the claims I've seen are just small code samples accompanied by the author's vague endorsement.
- goalieca 10y agoI've seen an number of papers focusing on the mathematical side of things. While I'm not a PL researcher, it does seem to me that math is the universal language and it seems reasonable to focus on that rather than non-sense concepts like objects.
- jackmott 10y agocan you provide empirical evidence to support your theory?
- cholantesh 10y agoHow would we mathematically represent usability?
- goalieca 10y agoBy capturing relations. If we define an algebra it will have certain properties (eg commutative, associative). You don't think twice when writing a physics equation on how to factor, compose, or compute a value. It comes naturally from the rules of algebra. In category theory we might have different categories. Some might instruct the compiler and programmers that the function obeys certain rules when applying. It could be trivial to parallel or perhaps it specifies a strict sequencing for computation. Following Haskell research, you can really see the evolution as people find more useful generalizations (which in the end, has made things simpler!)
- deleted 10y ago[deleted]