4 ms·
Most (all?) three- and four-letter abbreviations are already used. Context disambiguates.
by mafribe 11y ago
Most (all?) three- and four-letter abbreviations are already used.
Context disambiguates.
- vog 11y agoThanks for trying, but this still seems to utterly miss the point of the parent posting. The parent posting did not merely say that "CFML" is already used in some totally unrelated context. That complaint would be indeed pointless. Rather, they noted that there is another computer language with that abbreviation. So the context of both "CFML" is very close. Or, are you saying that it is never worth worrying about naming/abbreviation clashes, because you can always trust on the disambiguation by context?
- mafribe 11y agoCFML is not a computer language. It's two things: (1) a program that takes as input an ML program (more precisely a Caml program, i.e. Ocaml without objects) and computes the characteristic formula (expressed in the logic of Coq) of the program; (2) a Coq library, more precisely a library of Coq tactics, that enables users interactively to manipulate characteristic formulae of Caml programs in Coq. So Charguéraud's CFML is far away from cold fusion that context can always disambiguate. And if not ... is the sky going to fall down?