3 ms·
Is that something he did to people who mis-cited his language?!
by syrak 2y ago
Is that something he did to people who mis-cited his language?!
- Joker_vD 2y agoI don't know. But I've read quite a number of papers on type systems, type inferences and functional languages in general from late 80s and early 90s, and every time they mention Miranda, there is this footnote that says that "Miranda is a trademark of Research Software Limited", e.g. [0][1][2], so there has to be a reason why they did this. Sure, Turner himself did that as well, see "History of Haskell" [3], "3.8. Haskell and Miranda": As required to safeguard his trademark, Turner always footnoted the first occurrence of Miranda in his papers to state it was a trademark of Research Software Limited. In response, some early Haskell presentations included a footnote "Haskell is not a trademark". but that doesn't really explains why others did... so a hypothesis that maybe he did send people who didn't attribute Miranda's trademark a letter of complaint seems somewhat amusing, you know? A small in-joke for those people who brushed against the FP research of the early 90s. [0] https://dl.acm.org/doi/pdf/10.1145/75277.75283 https://dl.acm.org/doi/pdf/10.1145/75277.75283 [1] https://christopherclack.com/images/Documents/kielty-1997.pdf https://christopherclack.com/images/Documents/kielty-1997.pd..., bottom of p. 3 [2] https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=2fecac2065e733147a14bc1fd8ec5c8ce5e1012f https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&d... [3] https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/history.pdf https://www.microsoft.com/en-us/research/wp-content/uploads/...
- syrak 2y agoThanks for sharing this! These tidbits of history are fascinating.