At 19, the author's age, I was two years into my Nabokov obsession. I wouldn't have understood why the name was a problem, either. Personally, I'd have thought anyone who criticized it was a philistine. (Nabokov's self-styled "strong opinions" had that effect on me at that age.) Didn't they know the _point_ was that Humbert was a monster, etc. 15 years later, life experience has broadened my horizons a bit, but I still remember the feeling of being under the influence of such an eloquent writer for the first time.<p>This isn't to justify the name itself but to cut the author some slack since the name is attracting more attention here than the design, and understandably so, but the design is an achievement, and a laudable one. I'd hope someone would've done the same for me at that age if I'd gone public with a project like this.
Impressive work. The author looks to be in his very early 20s, and his other blogs talk about compiler development and calculus.<p>The PDF of the language reads like ancient scriptures to me.<p>——<p>Re: name<p>I have emailed the author about the name choice and whether he would reconsider it as I think this is a high-quality project. The author is on HN (same name as his GH handle) so maybe he will reconsider.
I see that the stated reason for the name is that today would have been Nabokov's 125th birthday. But Nabokov had other works (why not call it palefire?) and this could have been released on any particular day. So the connection is tenuous at best.<p>And then there is the docs, taste.md?<p><pre><code> A taste of Lolita
</code></pre>
It's a little disturbing.
Very impressive feature set, which aligns with many of my own interests too (symbolic execution, partial evaluation, etc.). If nothing else, it's the first explanation of "finally tagless" that clicked for me!<p>I agree with others that the name is needlessly off-putting.
What is this tendency of naming so many programming languages with some already relatively common words, why isn't there proper search engine optimization going on? I can kinda excuse pre-internet ones, but new ones? Just why are people making lives hard for others...
> Couple of inches taller. Pink-rimmed glasses. New, heaped-up hairdo, new ears. How simple! The moment, the death that I had kept conjuring up for three years was as simple as a bit of dry wood.<p>This is on the language FAQ. If memory serves this is the scene where Humbert has tracked down Dolores later in life and is contemplating murdering the now pregnant girl who he earlier sexually abused. What the actual hell? If this is supposed to be a joke it’s in decidedly poor taste. And that’s the best case.
Anyone care to do a direct comparison with Ocaml? It seems that the types are featured more prominently here. I always thought that type inference was a strength of Ocaml. Maybe that is unpopular now?
Kind of lives in the same neighborhood as Idris?<p><a href="https://www.idris-lang.org/index.html" rel="nofollow">https://www.idris-lang.org/index.html</a>
> "In celebration of the 125th anniversary of the birth of Vladimir Nabokov, I am pleased to announce Lolita"<p>So maybe... name it Nabokov?