3 ms·
Microsoft Research does some interesting stuff, though I have to take issue with their choice of naming. One wonders if they're trying to poke at search engine
by reduxredacted 15y ago
Microsoft Research does some interesting stuff, though I have to take issue with their choice of naming. One wonders if they're trying to poke at search engines.
The "#" in C# made it painful, in the beginning, to craft a good query. Now they're using a symbol commonly interpreted as a wildcard.
I'm not insinuating any evil intentions with the name (that's a little ridiculous since it's an experimental language to begin with), but it's a little odd that they'd choose something that will likely be search engine unfriendly... again.
- johnzabroski 15y agoStick to criticizing the paper. Then you can write a blog rant about how painful it is to refer to "the second-order (polymorphic) lambda-calculus with bounded quantification" as F-sub or F<sub><=</sub>