numeric literal types disrespect arithmetics #15645

Activity

1. mhegazy commented on May 8, 2017

   

   Mohamed Hegazy (mhegazy)

   on May 8, 2017

   Contributor

   More actions

   It was one of the design decisions not do do any type arithmetic. see #8112.
2. Mohamed Hegazy (mhegazy)

   added

   Awaiting More FeedbackThis means we'd like to hear from more people who would be helped by this featureThis means we'd like to hear from more people who would be helped by this feature

   on May 8, 2017
3. KiaraGrouwstra commented on May 18, 2017

   

   kiara (KiaraGrouwstra)

   on May 18, 2017

   Contributor

   More actions

   Hm. Is that what #8112 meant by this?

   Currently has some strange behavior for flow of arithmetic on types.

   I hadn't managed to find mention of this in #7480 either. Were there any specific issues there we could think along on?
4. Mohamed Hegazy (mhegazy)

   added

   SuggestionAn idea for TypeScriptAn idea for TypeScript

   on Feb 12, 2018
5. mstn commented on Apr 23, 2018

   

   Marco (mstn)

   on Apr 23, 2018

   More actions

   Mohamed Hegazy (@mhegazy), out of curiosity, which problems did you find for flow of arithmetic on types? As @tycho01 pointed out, there is no reference to this in the issue you mentioned.
6. jcalz commented on Aug 12, 2018

   

   Joe Calzaretta (jcalz)

   on Aug 12, 2018

   Contributor

   More actions

   #26382 has been determined to be a duplicate of this, although that one is about allowing arithmetic at the type level at all, while this one seems to be more concerned with inference and flow.

   Anyway, I think that now that tuple types are becoming more powerful it might be reasonable to revisit this idea so that we can get closer to the sort of dependent types needed for strongly typing such methods as Function['bind']. (Related to #26223)

   👍React with 👍4Reacted by Abraham White, Homa Wong, Felipe S. S. Schneider and Eric Bieszczad-Stie
7. unional commented on Oct 9, 2020

   

   Homa Wong (unional)

   on Oct 9, 2020

   Contributor

   More actions

   There are Inc<> and Dec<> (typical) and Minus<> (ts-toolbelt).

   It is critical in doing type manipulation.
   The custom implementation has limitation and not efficient at all.

   With intrinsic in TypeScript 4.1, it would be great if TypeScript can provide those base types.