News for hackers. Stuff that matters.
Re:Kind: A Modern Proof Language by LangMakers on Wednesday August 11, 2021 @01:11PM (#28144763)
Is that really the case, though? Python, C, Rust, Ruby, Go, R, Swift, Perl. One is type of snake, the other is a type stone, and then there is a freaking letter. It seems like the less googlable the name is, the popular programming language becomes. Or, at least, that it doesn't matter that much. I swear I considered that when naming the language Kind. That could have been a terrible move though.
Re:Kind: A Modern Proof Language by raesene9 on Wednesday August 11, 2021 @01:17PM (#28144824)
Finding go things is a pain (for me) because go is a very general word, I generally use golang to avoid that.

Python is easy 'cause the other meaning is a real noun, so disambiguation is easy.

Kind is a general word, another tech project, and also a programming term.

just an opinion ofc :)

Re:Kind: A Modern Proof Language by haskellandchill on Wednesday August 11, 2021 @02:11PM (#28145555)
Kindlang, problem solved
Re:Kind: A Modern Proof Language by LangMakers on Wednesday August 11, 2021 @04:28PM (#28147314)
Speaking of names, I love yours
Re:Kind: A Modern Proof Language by cole-k on Wednesday August 11, 2021 @02:21PM (#28145700)
Disclaimer: I am not an SEO expert

I think you should be fine if you call it "kindlang" or "kind lang" everywhere.

You have to understand that the languages Python, C, and even Ruby have been around for a long time, and I would wager SEO mattered much less when they were being created. This is obviously true for C, and arguably true for the others. To boot, many of them are often searched for with "(programming) lang(uage)" as an associated query.

Similar arguments follow for the rest (Go/Swfit/Rust are supported by big companies, Perl is a unique string, etc.).

What is unfortunate for your language is that Kinds are something associated with PLs theory AND it also seems to be that many people are interested in searching for "what kinds of programming languages are there?" ("kind" in the sense of "type of language").

If I were you, I wouldn't let it get to me – I think this project is cool regardless of name. But if popularity matters to you, maybe try and emphasize "kindlang".

Re:Kind: A Modern Proof Language by zem on Thursday August 12, 2021 @12:56PM (#28158696)
it's not that the name means other things, it's that it's a very generic word that is used in lots of other contexts, several of which are programming and even language related. I had the same issues searching for "Nice" and "Clean" back in the day.
Re:Kind: A Modern Proof Language by mburns on Wednesday August 11, 2021 @04:05PM (#28147029)
I generally agree, but Perl != Pearl