GithubHelp home page GithubHelp logo

Capitalization bikeshedding! about rio HOT 10 CLOSED

snoyberg avatar snoyberg commented on July 30, 2024
Capitalization bikeshedding!

from rio.

Comments (10)

snoyberg avatar snoyberg commented on July 30, 2024 2

OK, I'll make a poll.

from rio.

mgsloan avatar mgsloan commented on July 30, 2024 1

Framing seems good! I prefer camelcase for acronyms in general. Example mentioned by Taylor Fausuk elsewhere was XMLHTTPRequest. Gross! So the only consistent rule that works in all cases is camelcase even for acronyms. I suspect IO is the way it is because Io looks weird, whereas io looks fine.

It seems like to some extent we're getting into the space of "style guide". Maybe not how you should indent, but at least how you should name. So it makes sense to consider this as a question wider than the specific name choice for the rio's monad.

from rio.

snoyberg avatar snoyberg commented on July 30, 2024

Argument for RIO to be upper case in the data type: it's simple ReaderT + IO, so the letters R, I, and O are already capitalized. Counterpoint: if io is both lowercase, it works.

Total aside: this bikeshedding around capitalization was one of the reasons pushing me towards using the jump name for this library instead of rio, see #8.

from rio.

akhra avatar akhra commented on July 30, 2024

Tossing in a vote for Rio, though I won't be upset if it stays all-caps.

from rio.

mgsloan avatar mgsloan commented on July 30, 2024

Should we put this up for a twitter vote? What's the process for making a decision? Concerned that if we let it languish, RIO will just become the defacto choice due to the cost of refactoring adopters.

It's ok but I will probably wince a little bit when I see it, at least until I get used to it. Seems rather shouty and harder to type, among the reasons already given.

from rio.

snoyberg avatar snoyberg commented on July 30, 2024

https://twitter.com/snoyberg/status/958807583334248448

from rio.

roman avatar roman commented on July 30, 2024

Should this ticket be closed with final decission, or we want other data points besides the Twitter poll?

from rio.

snoyberg avatar snoyberg commented on July 30, 2024

I'll refer the question to @mgsloan, since I think he's the strongest proponent of renaming. For the record, here are the poll results

screen shot 2018-02-03 at 7 51 30 pm

from rio.

mgsloan avatar mgsloan commented on July 30, 2024

Hmm, I think it's interesting that 51% or so are interested in change away from RIO. I don't like mixing RIO and Rio, it should be one or the other.

I wish that twitter polls would randomize the order so that there isn't bias based on the order.

However, since there doesn't seem to be much majority interest in changing to Rio / Rio, I suppose it seems reasonable to close this and I will just live with holding down shift for a few extra keys.

I do think that if one were to write down consistent readable naming rules, it makes the most sense to camelcase abbreviations. So, therefore Rio would be better if we ever want to write down such a rule.

from rio.

snoyberg avatar snoyberg commented on July 30, 2024

OK, closing.

from rio.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.