type-fest
newtype-ts
Our great sponsors
type-fest | newtype-ts | |
---|---|---|
32 | 12 | |
13,221 | 570 | |
- | - | |
9.0 | 0.0 | |
1 day ago | almost 2 years ago | |
TypeScript | TypeScript | |
Creative Commons Zero v1.0 Universal | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
type-fest
-
Adding type safety to object IDs in TypeScript
Related: https://github.com/sindresorhus/type-fest/blob/main/source/o...
-
Enforcing Localization through Types
Typescript doesn’t natively provide an Opaque type that we can use to define a string that has already been localized. If the data looks like a string, Typescript will consider it a string. We can however use utility types that simulate opaque types, like the Opaque definition in type-fest:
- Is there a better way to do read-only types
-
Boost Your JavaScript with JSDoc Typing
With these powerful features, you can create dynamic and expressive types. One last thing I want to mention before moving on, is that you can install libraries with which you can add more types to your project like type-fest or utility-types. These libraries contain a lot of useful types that you can use in your project.
-
Essential Code Organization Principles
Also, it’s not as restrictive as mutability tools — if you know what you are doing and want to ignore this limitation for a particular case, you can apply the -readonly modifier or the Writeable type from type-fest or ts-essentials.
-
Best practice for typing server data for get vs post in client code
Remember you can derive one type from another type so you can make sure they don't diverge. SetOptional type util
-
All JavaScript and TypeScript features of the last 3 years explained
Some folks have built whole SQL databases and DSL compilers in the TS type system. These tend to be toy projects with disclaimers not to use them. But the type system being Turing complete[0] (for better or worse), pretty much whatever you can imagine. This project[1] is one I actually return to frequently for practical ideas.
0: https://github.com/microsoft/TypeScript/issues/14833
1: https://github.com/sindresorhus/type-fest
-
Question on how to handle an object that can have different states and avoid assertions.
Have a look at SetRequired and SetOptional in type-fest
-
Preventing more parameters being passed than needed by a type definition?
Try the Exact method provided by Type Fest, looks like it does what you're looking for
-
Creating a derived type of only required parameters from a base type?
This is a fairly common scenario and available via libraries like type-fest or implementable with a couple lines of code.
newtype-ts
-
Type-Safe Printf() in TypeScript
Curious what your issue was with duck-typing. Were you effectively looking to create ADTs that are required to go through a specific step-by-step process, not simply 'look like' the thing that was expected?
If so, you might be interested in [newtype-ts].
[newtype-ts]: https://github.com/gcanti/newtype-ts
-
Is there a language with custom type support (value objects)?
this one https://github.com/gcanti/newtype-ts ?
-
I too prefer no classes
You don't need classes for nominal types: https://github.com/gcanti/newtype-ts
-
When do you find Branding to be useful?
Creating newtypes (via newtype-ts) for fractions and percentages is worthwhile if you're very concerned about correctness, though it's unfortunate that absent typeclasses they're not terribly ergonomic.
-
Please put units in names
I haven't used this library in particular or this one, but bless the authors and all the others for trying to make it happen… the project I'm now leading uses strongly typed strings for different component addresses, and it saves me to constantly look up the documentation what the functions need – it's beautiful.
-
Type that's NOT another type?
A "nominal" solution with no runtime overhead can be provided by branded types, other words for this are "opaque types" or "newtypes". Some libraries like newtype-ts exist to help with the construction of these. That library README describes it as:
-
Is there a way to guarantee that a number variable can never be a non-finite value?
You can also look at the fp-ts ecosystem for inspiration. newtype-ts and io-ts's Branded type with io-ts-type's UUID as a good example
-
Branding & Flavoring
Alternatively we can use other more sophisticated techniques to achieve nominal typing or libraries such as: newtype-ts or io-ts.
-
Introduction
One using fp-ts and newtype-ts
-
Using fp-ts and newtype-ts: types
We are going to use newtype-ts to build a branded type:
What are some alternatives?
ts-toolbelt - 👷 TypeScript's largest type utility library
io-ts - Runtime type system for IO decoding/encoding
runtypes - Runtime validation for static types
fantasy-land - Specification for interoperability of common algebraic structures in JavaScript
tss-react - ✨ Dynamic CSS-in-TS solution, based on Emotion
io-ts-types - A collection of codecs and combinators for use with io-ts
zod - TypeScript-first schema validation with static type inference
fp-ts - Functional programming in TypeScript
ts-essentials - All essential TypeScript types in one place 🤙
Squants - The Scala API for Quantities, Units of Measure and Dimensional Analysis
variant - Variant types in TypeScript
da-unit - Typescript unit conversions