I didn't know what Nimrod was (probably like most people), so I'll save you the Google effort:
> Nimrod is a statically typed, imperative programming language that tries to give the programmer ultimate power without compromises on runtime efficiency. This means it focuses on compile-time mechanisms in all their various forms.
> Beneath a nice infix/indentation based syntax with a powerful (AST based, hygienic) macro system lies a semantic model that supports a soft realtime GC on thread local heaps. Asynchronous message passing is used between threads, so no "stop the world" mechanism is necessary. An unsafe shared memory heap is also provided for the increased efficiency that results from that model.
It's kind of sad that the act of searching the web is now reduced to a brand name. I'm not blaming you, I say it too. With the PRISM and friend revelation I feel it's time to go back to what we used to say before Google quasi-monopoly became effective and use generic terms like "search engine", "search the web", etc.
True, I use DuckDuckGo as my default search engine but I still call it googling.
But people who try to change language forcefully are annoying and mostly wasting their time (see the politically-correct crowd). It has to occur naturally.
So I'm ok with it being google for now. Photocopying in favor of Xeroxing has somewhat faded. Although calling tissues Kleenex is still going strong.
Google is one in a long line of brand names that are so ubiquitous they come to identify the category. Kleenex, Photoshop, Bandaid, and so on. There's nothing wrong with it.
There is one thing wrong with it: the originators of those words still claim ownership over the name, even though it has, for all intents and purposes, become a generic word.
> Nimrod is a statically typed, imperative programming language that tries to give the programmer ultimate power without compromises on runtime efficiency. This means it focuses on compile-time mechanisms in all their various forms.
> Beneath a nice infix/indentation based syntax with a powerful (AST based, hygienic) macro system lies a semantic model that supports a soft realtime GC on thread local heaps. Asynchronous message passing is used between threads, so no "stop the world" mechanism is necessary. An unsafe shared memory heap is also provided for the increased efficiency that results from that model.
http://lambda-the-ultimate.org/node/4749
http://nimrod-code.org/