Post

With #fsharp 9 finally hitting the streets, it's time to learn what goodness will be in there. And who could tell us better than the compiler team themself? Join us when we share some battle stories, discuss the release and our contributions. amplifyingfsharp.io/sessions/202...

amplifyingfsharp.ioWhat is new in F# 9 | Amplifying F#

12/11/24, 8:27 pm8 reposts18 likes

F# Online

@fsharponline.bsky.social

14 Nov 2024

What's the time for this in UTC? The page says "1400 Europe/London time"

Urs Enzler

@ursenzler.bsky.social

14 Nov 2024

www.worldtimebuddy.com/utc-to-unite...

worldtimebuddy.comWorld Clock & Time ConverterQuickly convert Universal Time (UTC) to time in London, England with this easy-to-use, modern time zone converter.

F# Online

@fsharponline.bsky.social

14 Nov 2024

Thanks but the problem is the page says "1400 Europe/London" but they aren't the same timezone. Is it 1400 Europe or 1400 London?

Florian Verdonck

@nojaf.com

14 Nov 2024

So Europe would be the continent and London the city your time zone is matching. It is 2PM UK time. We use developer.mozilla.org/en-US/docs/W... to display this. I see Europe/Brussels or 3 PM.

developer.mozilla.orgIntl.DateTimeFormat.prototype.resolvedOptions() - JavaScript | MDNThe resolvedOptions() method of Intl.DateTimeFormat instances returns a new object with properties reflecting the options computed during initialization of this DateTimeFormat object.

Urs Enzler

@ursenzler.bsky.social

14 Nov 2024

The page shows 15:00 Europe/Zurich for me. So it probably is 15:00 CET or 14:00 UTC