PPlamenu
HomeTrendingLive feedsPeopleGroupsRulesStaff
Sign in
PPlamenu
HomeTrendingLive feedsPeopleGroupsRulesStaff
Sign in

posted in Technology

lemmydividebyzero@lemmydividebyzero@reddthat.com
⁨20⁩d

Name before type: why 'age int' is better than 'int age'

benhoyt.com/writings/name-before-type/
benhoyt.comName before type: why 'age int' is better than 'int age'A variable's name is more important than its type, so the name should be more prominent and come first in declarations.
101035
Open original page
BoostsQuotesFavs
it_depends_man@it_depends_man@lemmy.world
⁨20⁩d

Replying to @⁨lemmydividebyzero@reddthat.com⁩

This suggestion was made by the year-day-month dateformat gang.

⁨Jul⁩ ⁨26⁩, ⁨2026⁩, ⁨08:37⁩en
2000
Open original page
BoostsQuotesFavs
MangoCats@MangoCats@feddit.it
⁨19⁩d

Replying to @⁨it_depends_man@lemmy.world⁩

That’s year-month-day hour:minute:second.millisecond +/-TZ, you heathen!

0000
Open original page
BoostsQuotesFavs
phutatorius@phutatorius@lemmy.zip
⁨19⁩d

Replying to @⁨it_depends_man@lemmy.world⁩

Say what you like about that gang, it definitely makes lexical sorting of dates easy.

2000
Open original page
BoostsQuotesFavs
it_depends_man@it_depends_man@lemmy.world
⁨19⁩d

Replying to @⁨phutatorius@lemmy.zip⁩

Read my comment again. 😜

0000
Open original page
BoostsQuotesFavs
ranzispa@ranzispa@mander.xyz
⁨18⁩d

Replying to @⁨phutatorius@lemmy.zip⁩

I would say this is one of the worst dates formatting possible.

0000
Open original page
BoostsQuotesFavs