1. 3

    I’m having some difficulty understanding the problem this solves. Can someone give me a use case for this?

    1. 2

      There are a bunch of constructions that are common in dynamic languages which can’t be tidily expressed in most type systems.

      This library implements tools to let many of those be type annotated without being too verbose.

      If you have a background in strongly types languages, those constructions would seem nonsensical; nevertheless, they are common.

      1. 1

        It allows one to manipulate/compute/change types so that you can have higher type safety. Thus making TS more flexible.