Temporal: A nine-year journey to fix time in JavaScript

(bloomberg.github.io)

198 points | by robpalmer 3 hours ago ago

81 comments

  • patchnull 2 hours ago

    The most underappreciated design decision in Temporal is making everything immutable. Half the Date bugs I have debugged over the years come from someone calling setMonth() or setHours() on a Date object that was shared across call sites. The other half come from the implicit local timezone conversion in the Date constructor. Temporal fixes both by forcing you to be explicit about timezones through ZonedDateTime vs PlainDate, and by returning new objects instead of mutating. Nine years is a long time, but given how many TC39 proposals ship half-baked and then need follow-up proposals to fix the gaps, I would rather they got this one right.

    • VorpalWay 4 minutes ago

      It is not just in time keeping that mutable shared state is an issue, I have seen problems arising from it elsewhere as well in Python especially, but also in C and C++. Probably because Python is pass by reference implicitly, while C and C++ makes pointers/references more explicit, thus reducing the risk of such errors in the code.

      There a few schools of thought about what should be done about it. One is to make (almost) everything immutable and hope it gets optimised away/is fast enough anyway. This is the approach taken by functional languages (and functional style programming in general).

      Another approach is what Rust does: make state mutable xor shared. So you can either have mutable state that you own exclusively, or you can have read only state that is shared.

      Both approaches are valid and helpful in my experience. As someone working with low level performance critical code, I personally prefer the Rust approach here.

    • Waterluvian 2 hours ago

      The worst are methods that both mutate and return values.

      I know this gets into a complex land of computer science that I don’t understand well, but I wish I could define in TypeScript “any object passed into this function is now typed _never_. You’ve destroyed it and can’t use it after this.” Because I sometimes want to mutate something in a function and return it for convenience and performance reasons, but I want you to have to reason about the returned type and never again touch the original type, even if they are the same object.

      • Aurornis an hour ago

        > but I wish I could define in TypeScript “any object passed into this function is now typed _never_.

        Having explicit language to differentiate between pass by reference and pass by value avoids this confusion. It requires a little more thought from the programmer but it’s really minimal once you internalize it.

        Rust takes this a step further with an explicit ownership and borrowing model. The compiler will refuse your code if you try to write something that that violates the borrow checker. This is endlessly frustrating to beginners but after adapting your mind to ownership safety you find yourself thinking in the same way in other languages.

        I always found real-world JavaScript codebases frustrating because there was so much sharing that wasn’t entirely intentionally. It only got fixed when someone recognized a bug as a result.

        • Waterluvian an hour ago

          Yeah exactly. That's what I've loved about Rust and hated about real-world JS. I end up having to reason about an entire case that might not be real at all: does this function mutate what I'm passing it? Should I eagerly deep copy my object? UGH.

          • stephbook 29 minutes ago

            Just call "Object.freeze()" before "return" in your function.

      • vimwizard an hour ago

        Rust ownership model ("stacked borrows" I believe it's called) is basically this

      • Xenoamorphous 10 minutes ago

        > The worst are methods that both mutate and return values

        Been bitten a few times by Array.sort().

        Luckily there’s Array.toSorted() now.

      • ecshafer 2 hours ago

        ruby has the convention of ! for dangerous destructive or mutating methods. This is something that I wish would spread around a bit.

        For example:

        # Original array

        array = [1, 2, 3]

        # Using map (non-destructive)

        new_array = array.map { |x| x * 2 }

        # new_array is [2, 4, 6]

        # array is still [1, 2, 3] (unchanged)

        # Using map! (destructive)

        array.map! { |x| x * 2 }

        # array is now [2, 4, 6] (modified in-place)

        • wiseowise an hour ago

          > convention

          Is the keyword. Anything that should never be broken isn’t a convention. There’s no better convention than compiler error.

          • goatlover an hour ago

            Because Ruby is a dynamic language which mutates state. That isn't considered wrong or bad in those kinds of languages, just a way to make sure the programmer knows they're doing that. Not every PL tries to live up to the ideals of Haskell.

            If you don't want an object mutated in Ruby, you can freeze it.

            • idle_zealot 30 minutes ago

              I don't think they're saying it shouldn't be possible to mutate arguments, just that the ! convention should be enforced. The Ruby runtime could, for instance, automatically freeze all arguments to a function that doesn't end with a !. That way all code that correctly follows the mutation naming convention will continue to work, and any development who doesn't know about it will quickly learn when they try to mutate an argument and get an error. Ideally a helpful error telling them to add the !.

      • magnio an hour ago

        What you are describing is linear (or affine) types in academic parlance, where a value must be used exactly (or at most) once, e.g., being passed to a function or having a method invoked, after which the old value is destroyed and not accessible. Most common examples are prolly move semantics in C++ and Rust.

      • darick an hour ago

        This is possible with the asserts x is y pattern no?

        https://www.typescriptlang.org/play/?#code/C4TwDgpgBAYg9nKBe...

        • Waterluvian an hour ago

          I think the sticking points are:

          1. You cannot return anything (say an immutable result that has consumed the input)

          Okay, so don't return anything, just mutate the original. Except:

          2. You cannot mutate the original, return nothing, but the mutated original isn't a subset of the original. For example: https://www.typescriptlang.org/play/?#code/GYVwdgxgLglg9mABB...

          • darick 33 minutes ago

            Hmm, I see, yes it's quite limited.

    • ndr 2 hours ago

      Immutability is underrated in general. It's a sore point every time I have to handle non-clojure code.

      • recursive 2 hours ago

        Given the ubiquity of react, I think immutability is generally rated pretty appropriately. If anything, I think mutability is under-rated. I mean, it wouldn't be applicable to the domain of Temporal, but sometimes a mutable hash map is a simpler/more performant solution than any of the immutable alternatives.

        • LunaSea 2 hours ago

          Props data passed to React itself isn't immutable which is probably one of the missing bricks.

          React only checks references but since the objects aren't immutable they could have changed even without the reference changing.

          Immutability also has a performance price which is not always great.

          • recursive an hour ago

            Yes, you can mutate props. But no, it's probably not going to do what you want if you did it intentionally. If react added Object.freeze() (or deepFreeze) to the component render invoker, everything would be the same, except props would be formally immutable, instead of being only expected to be immutable. But this seems like a distinction without much of a difference, because if you just try to use a pattern like that without having a pretty deep understanding of react internals, it's not going to do what you wanted anyway.

        • kccqzy an hour ago

          React doesn’t really force you to make your props immutable data. Using mutable data with React is allowed and just as error prone as elsewhere. But certainly you are encouraged to use something like https://immutable-js.com together with React. At least that’s what I used before I discovered ClojureScript.

    • pjmlp 25 minutes ago

      One of the first things I learnt to appreciate in C++ already during its C++ARM days was the ability to model mutability.

      Naturally there are other languages that do it much better.

      The problem is that it still isn't widespread enough.

    • OptionOfT an hour ago

      > The other half come from the implicit local timezone conversion in the Date constructor.

      Outlook at that issue even in their old C++ (I think) version.

      You're in London, you save your friend's birthday as March 11th.

      You're now in SF. When is your friend's birthday? It's still all-day March 11th, not March 10th, starting at 5PM, and ending March 11th at 5PM.

      • WorldMaker 32 minutes ago

        If your friend lives in London it may be useful to have that associated timezone so that you can be sure to message them that day in their timezone. They might better appreciate a message from SF sent on March 10th at 9PM "early that morning in London" than March 11th at 9PM "a day late".

        A lot of that gets back to why Temporal adds so many different types, because there are different uses for time zone information and being clear how you shift that information can make a big difference. (A birthday is a PlainDate at rest, but when it is time to send them an ecard you want the ZonedDateTime of the recipient's time zone to find the best time to send it.)

        • bluGill 18 minutes ago

          His birthday is always all day. The question is where he is. If he travels to Japan his birthday won't change - even if he was born late at night and thus it would be a different day if he was born in Japan.

    • ravenstine an hour ago

      When I write JavaScript, I make as many things immutable as I can. Sometimes it adds verbosity and leads to less efficient computational patterns, but overall I believe I run into far fewer bugs that are hard to make sense of. There are things about the design of Temporal I don't really like, but immutability was a solid move.

      What I don't understand is why they had to make string formatting so rigid. Maybe it has to do with internationalization? I'd have liked if it included a sort of templating system to make the construction of rendered date-time strings much easier.

      • WorldMaker 22 minutes ago

        > What I don't understand is why they had to make string formatting so rigid. Maybe it has to do with internationalization? I'd have liked if it included a sort of templating system to make the construction of rendered date-time strings much easier.

        I think Temporal takes the right approach: toString() is the (mostly) round-trippable ISO format (or close to it) and every other format is accessible by toLocaleString(). In Python terms, it is a bit like formally separating __repl__ and __str__ implementations, respectively. Date's toString() being locale-dependent made it a lot harder to round-trip Date in places like JSON documents if you forgot or missed toISOString().

        Temporal's various toLocaleString() functions all take the same Intl.DateTimeFormat constructor parameters, especially its powerful options [1] argument, as Date's own toLocaleString() has had for a long while and has been the preferred approach to locale-aware string formatting.

        [1] https://developer.mozilla.org/en-US/docs/Web/JavaScript/Refe...

      • kandros an hour ago

        I remember the first time I got in touch with Elixir and immutability as a core principle. It changed the way I wrote JavaScript since

    • deepsun an hour ago

      They seem to have taken it from Joda time that revolutionized time in java 10+ years ago. Sadly no mention of Joda.

    • virgil_disgr4ce 2 hours ago

      I think that actually may be the MOST appreciated design decision in Temporal ;) either way, I'm also a big fan

  • nekevss 2 hours ago

    Super happy to see Temporal accepted!

    Congrats to all the champions who worked super hard on this for so long! It's been fun working on temporal_rs for the last couple years :)

  • plucas 2 hours ago

    Would have been interesting to connect back to Java's own journey to improve its time APIs, with Joda-Time leading into JSR 310, released with Java 8 in 2014. Immutable representations, instants, proper timezone support etc.

    Given that the article refers to the "radical proposal" to bring these features to JavaScript came in 2018, surely Java's own solutions had some influence?

    • apaprocki 2 hours ago

      I would characterize it more as Joda likely informed Moment.js, which better informed TC39 because it was within the JavaScript ecosystem. As we discussed in plenary today when achieving consensus, every programming language that implements or revamps its date time primitives has the benefit of all the prior art that exists at that instant. TC39 always casts a wide net to canvas what other ecosystems do, but isn't beholden to follow in their footsteps and achieves consensus on what is best for JavaScript. So my view is this more represents what the committee believes is the most complete implementation of such an API that an assembled group of JavaScript experts could design over 9 years and finalize in 2026.

    • mrkeen an hour ago

      Yep, JavaScript got the bad version from Java too!

      https://news.ycombinator.com/item?id=42816135

  • VanCoding an hour ago

    A big step in the right direction, but I still don't like the API, here's why: Especially in JavaScript where I often share a lot of code between the client and the server and therefore also transfer data between them, I like to strictly separate data from logic. What i mean by this is that all my data is plain JSON and no class instances or objects that have function properties, so that I can serialize/deserialize it easily.

    This is not the case for Temporal objects. Also, the temporal objects have functions on them, which, granted, makes it convenient to use, but a pain to pass it over the wire.

    I'd clearly prefer a set of pure functions, into which I can pass data-only temporal objects, quite a bit like date-fns did it.

    • causal 16 minutes ago

      I'm with you on this. I worked on a big Temporal project briefly and I was really turned off by how much of the codebase was just rote mapping properties from one layer to the next.

    • perfmode an hour ago

      This is a real pain point and I run into the same tension in systems where data crosses serialization boundaries constantly. The prototype-stripping problem you're describing with JSON.parse/stringify is a specific case of a more general issue: rich domain objects don't survive wire transfer without a reconstitution step.

      That said, I think the Temporal team made the right call here. Date-time logic is one of those domains where the "bag of data plus free functions" approach leads to subtle bugs because callers forget to pass the right context (calendar system, timezone) to the right function. Binding the operations to the object means the type system can enforce that a PlainDate never accidentally gets treated as a ZonedDateTime. date-fns is great but it can't give you that.

      The serialization issue is solvable at the boundary. If you're using tRPC or similar, a thin transform layer that calls Temporal.Whatever.from() on the way in and .toString() on the way out is pretty minimal overhead. Same pattern people use with Decimal types or any value object that doesn't roundtrip through JSON natively. Annoying, sure, but the alternative is giving up the type safety that makes the API worth having in the first place.

      • VanCoding an hour ago

        It's not that much about type safety. Since TypeScript uses duck typing, a DateTime could not be used as a ZonedDateTime because it'd lack the "timezone" property. The other way around, though, it would work. But I wouldn't even mind that, honestly.

        The real drawback of the functional approach is UX, because it's harder to code and you don't get nice auto-complete.

        But I'd easily pay that price.

    • qcoret an hour ago

      All Temporal objects are easily (de)serializable, though. `.toString` and `Temporal.from` work great.

      • VanCoding an hour ago

        That's not what I mean. Even though it is serializable, it's still not the same when you serialize/deserialize it.

        For example `JSON.parse(JSON.stringify(Temporal.PlainYearMonth.from({year:2026,month:1}))).subtract({ years: 1})` won't work, because it misses the prototype and is no longer an instance of Temporal.PlainYearMonth.

        This is problematic if you use tRPC for example.

        • flyingmeteor an hour ago

          You would need to use the `reviver` parameter of `JSON.parse()` to revive your date strings to Temporal objects. As others have said, it's a simple `Temporal.from()`

          https://developer.mozilla.org/en-US/docs/Web/JavaScript/Refe...

          • cyral 39 minutes ago

            I've been doing this for so long and never knew there was a reviver param, thanks - that is super useful.

        • gowld an hour ago

          Would a plain data object be an instance of PlainYearMonth?

          If not, that regardless of being plain data or a serialized object with functions, you'd still need to convert it to the type you want.

    • chrisweekly 42 minutes ago

      It should still be possible to continue using date-fns (or a similar lib) to suit your preference, right?

      • VanCoding 36 minutes ago

        yes, sure. probably there will even pop up a functional wrapper around the temporal API occasionally. But would've been nice if it was like this from the start.

  • SoftTalker 22 minutes ago

    It's been a while since I worked in JS but dealing with dates/times, and the lack of real integer types were always two things that frustrated me.

  • bnb 2 hours ago

    Can't wait for it to land in the server-side runtimes, really the last thing preventing me from adopting it wholesale.

    • WorldMaker 11 minutes ago

      Deno has had it behind the `--untable-temporal` flag for quite a few Minor versions now and the latest Minor update (because of TC-39's Stage 4 acceptance and V8 itself also marking the API as Stable) removed the requirement for the flag and it is out of the box.

    • CharlesW an hour ago

      FWIW, I've been using it server-side via the js-temporal polyfill for some time, no issues.

      • bnb 27 minutes ago

        ooh I'd not seen that yet, will have to take a look.

    • apaprocki 2 hours ago

      Node 26! Only a matter of time... :)

  • zvqcMMV6Zcr 2 hours ago

    > Safari (Partial Support in Technology Preview)

    Safari confirmed as IE Spiritual successor in 2020+.

    • cubefox 2 hours ago

      2026 A.D., still no support for native date pickers in mobile Safari.

      • CharlesW an hour ago

        Safari for iOS got native date pickers in 2012, and desktop Safari got them in 2021.

  • wpollock 41 minutes ago

    > "It was a straight port by Ken Smith (the only code in "Mocha" I didn't write) of Java's Date code from Java to C."

    This is funny to me; Java's util.Date was almost certainly a port of C's time.h API!

  • kemayo 43 minutes ago

    > Developers would often write helper functions that accidently mutated the original Date object in place when they intended to return a new one

    It's weird that they picked example code that is extremely non-accidentally doing this.

  • philipallstar an hour ago

    > have to agree on what "now" means, even when governments change DST rules with very little notice.

    I didn't spot how Temporal fixes this. What happens when "now" changes? Does the library get updated and pushed out rapidly via browsers?

    • nekevss an hour ago

      Typically time zone data is updated in IANA's time zone database. That data would need to be updated in the implementation. In this case, the browser would need to update their time zone data.

  • darepublic an hour ago

    My playbook for JavaScript dates is.. store in UTC.. exchange only in UTC.. convert to locale date time only in the presentation logic. This has worked well for me enough that Im skeptical of needing anything else

    • andrewl-hn 32 minutes ago

      The only time you need local dates is for scheduling. Stuff like “Report KPIs for each shift. Shifts start at 8:00 local time.”, or “send this report every day at 10:00 local time”, or “this recurring meeting was created by user X while they were in TimeZone Z, make sure meetings follow DST”.

      Outside of scheduling UTC is the way.

    • lpa22 42 minutes ago

      Same here, this is the way

    • NooneAtAll3 35 minutes ago

      why UTC and not epoch then?

      • SoftTalker 15 minutes ago

        Epoch (a/k/a "unix timestamps") are OK when you just need an incrementing relative time. When you start converting them back and forth to real calendar dates, times, with time zones, DST, leap seconds, etc. the dragons start to emerge.

        A lesson I learned pretty early on is always use the date-time datatypes and libraries your language or platform gives you. Think very carefully before you roll your own with integer timestamps.

  • redbell 2 hours ago

    Oh, for a second, TeMPOraL (https://news.ycombinator.com/user?id=TeMPOraL) came to my mind!

  • sharktheone 2 hours ago

    Very happy for it finally being there!

  • NooneAtAll3 40 minutes ago

    so Temporal is copying cpp's std::chrono?

    • andrewl-hn 38 minutes ago

      More like a copy of Java’s JSR310, which in turn took many years to get right.

  • hungryhobbit an hour ago

    From the article:

        const now = new Date();
    
    The Temporal equivalent is:

        const now = Temporal.Now.zonedDateTimeISO();
    
    Dear god, that's so much uglier!

    I mean, I guess it's two steps forward and one step back ... but couldn't they have come up with something that was just two steps forward, and none back ... instead of making us write this nightmare all over the place?

    Why not?

        const now = DateTime();
    • sourcegrift 15 minutes ago

      If you give me your background I'll explain in longer terms but in short it's about making the intent clear and anyone who understands s modicum of PL theory understands why what's a constant is so and what's a function is so.

  • normie3000 2 hours ago

    No mention of JodaTime?

  • samwho 2 hours ago

    Thanks for linking to my silly little quiz in the article! :)

  • ChrisArchitect 2 hours ago

    A good article and discussion from January:

    Date is out, Temporal is in

    https://news.ycombinator.com/item?id=46589658

  • jon_kuperman 3 hours ago

    What a journey!

  • virgil_disgr4ce 2 hours ago

    Pretty big fan of Temporal. Been using the polyfill for a while. Very nice to use a modern, extremely well thought-through API!

  • ChrisArchitect 2 hours ago

    Aside: Bloomberg JS blog? ok.

    • robpalmer 5 minutes ago

      Yep. You can learn more about why we created this new blog here:

        https://bloomberg.github.io/js-blog/post/intro/
      
      I hope you like it ;-)

      And if it seems like a surprise, you can blame me for not publicising this kind of content earlier given how long we've been working in this area. Thankfully Jon Kuperman and Thomas Chetwin (plus others) found the time and energy to put this platform together.

    • deepsun an hour ago

      Bloomberg has a pretty large software engineering department, including a lot of offshore contractors. Similar to Walmart Labs that does cool stuff as well, despite being part of a retail chain (retail industry typically sees SWEs a cost, not asset).

      • ChrisArchitect an hour ago

        oh, just meant it was a new tech blog from them.

    • wiseowise an hour ago

      What surprises you? Terminal UI is written in JS using Chromium. It’s not just plain Chromium, but it’s still funny that it’s pretty much same approach as universally (according to HN and Reddit) hated Electron.

      https://youtu.be/uqehwCWKVVw?is=wBijGwdD2k2jIOu7