uqbar-project / wollok

Wollok Programming Language
GNU General Public License v3.0
60 stars 16 forks source link

Date toString #964

Closed asanzo closed 8 years ago

asanzo commented 8 years ago

It'd be nice to have something printed like

un/a Date[1/9/2016]

Instead of today's

un/a Date[]

fdodino commented 8 years ago

@asanzo

What about

Date[28/12/2016]

and

Date[28/02/2016]

(withou a/un)

@matifreyre , @flbulgarelli , @npasserini , @tesonep , @javierfernandes ? I agree that Wollok Date should should day, month & year...

flbulgarelli commented 8 years ago

Hi! Ok for me. Just a suggestion: wollok has i18n, so either:

fdodino commented 8 years ago

Mmmm... I don't personally like it. But if everybody else does ...

matifreyre commented 8 years ago

If it's possible to get the date formatted according to the user's OS locale, that would be nice.

I really like even more any format with the month in characters instead of numbers (e.g.: 01/Ene/2017) because you can't confuse the day and the month with each other, but I don't want to add noise to the discussion :-P

On Mon, Sep 5, 2016 at 12:10 PM, Fernando Dodino notifications@github.com wrote:

Mmmm... I don't personally like it. But if everybody else does ...

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/uqbar-project/wollok/issues/964#issuecomment-244768275, or mute the thread https://github.com/notifications/unsubscribe-auth/AJ-EZjLMnkARXTgg_2HCW02HUe2sa1L-ks5qnDDNgaJpZM4JzNgG .

tesonep commented 8 years ago

I don't like the use of locale strings when entering as a constant. It is a bad idea, and is not portable between users.

The constants should be written in ISO mode YYYY-mm-dd

Displaying the date is other story, it can be done using the locale, maybe we can have both representations. I really really prefer using letters for the month, so the date is undoubtedly written.

On Mon, Sep 5, 2016 at 5:28 PM, Matías Freyre notifications@github.com wrote:

If it's possible to get the date formatted according to the user's OS locale, that would be nice.

I really like even more any format with the month in characters instead of numbers (e.g.: 01/Ene/2017) because you can't confuse the day and the month with each other, but I don't want to add noise to the discussion :-P

On Mon, Sep 5, 2016 at 12:10 PM, Fernando Dodino <notifications@github.com

wrote:

Mmmm... I don't personally like it. But if everybody else does ...

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/uqbar-project/wollok/issues/964# issuecomment-244768275, or mute the thread https://github.com/notifications/unsubscribe-auth/AJ-EZjLMnkARXTgg_ 2HCW02HUe2sa1L-ks5qnDDNgaJpZM4JzNgG

.

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/uqbar-project/wollok/issues/964#issuecomment-244771825, or mute the thread https://github.com/notifications/unsubscribe-auth/AAVsf4l2euKnWJrxvaS-uMNBz6ZntnoUks5qnDUfgaJpZM4JzNgG .

Pablo Tesone. tesonep@gmail.com

npasserini commented 8 years ago

On Mon, Sep 5, 2016 at 5:28 PM, Matías Freyre notifications@github.com wrote:

If it's possible to get the date formatted according to the user's OS locale, that would be nice.

Maybe it is possible but then you should take that into account in the tests.