durationcheck
newtype-ts
durationcheck | newtype-ts | |
---|---|---|
2 | 12 | |
45 | 570 | |
- | - | |
0.7 | 0.0 | |
about 1 year ago | almost 2 years ago | |
Go | TypeScript | |
Apache License 2.0 | 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.
durationcheck
-
Please put units in names
And there's also a fancy pancy linter that checks for this bug for you that's conveniently already integrated with golangci-lint for you, you just need to turn it on.
-
Please Put Units in Names
Now I insist on using the durationcheck lint to guard against this (https://github.com/charithe/durationcheck). It found a flaw in some exponential-backoff code I had refactored but couldn’t easily fully test that looked right but was wrong, and now I don’t think Go’s approach is reasonable anymore.
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?
SI - A header only C++ library that provides type safety and user defined literals for physical units
io-ts - Runtime type system for IO decoding/encoding
kal - A powerful, easy-to-use, and easy-to-read programming language for the future.
type-fest - A collection of essential TypeScript types
go - The Go programming language
fantasy-land - Specification for interoperability of common algebraic structures in JavaScript
Squants - The Scala API for Quantities, Units of Measure and Dimensional Analysis
io-ts-types - A collection of codecs and combinators for use with io-ts
dimensioned - Compile-time dimensional analysis for various unit systems using Rust's type system.
fp-ts - Functional programming in TypeScript
zen