NamedType
newtype-ts
NamedType | newtype-ts | |
---|---|---|
6 | 12 | |
742 | 570 | |
- | - | |
0.0 | 0.0 | |
over 1 year ago | almost 2 years ago | |
C++ | TypeScript | |
MIT License | 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.
NamedType
- Named Types in C++
-
Named Booleans prevent C++ bugs and save you time
This article seems to be targeted towards beginners. From the title, I was expecting it to cover something like https://github.com/joboccara/NamedType, which is a technique I would recommend.
-
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.
-
Why do you like C++ ?
I think you are thinking of something like https://github.com/joboccara/namedtype
-
ISR Context Guards in C and C++ — Creating better interfaces for Embedded Systems by selecting the correct functions at compile time
The basic jist is that if you use strong types, you can dispatch more easily inside the function. Because of how the template function is generically written, I don't need to do any manual calls to the template parameters, it all gets figured out through automatic template deduction. In this example I'm using really simple types, but in a more production system I would use something more along the lines of Jonathan Boccara's NamedType. Here is a great article that explains it pretty well [link].
- Alternative to long boolean parameter lists
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?
Squants - The Scala API for Quantities, Units of Measure and Dimensional Analysis
io-ts - Runtime type system for IO decoding/encoding
durationcheck - Go linter to detect erroneous multiplication of duration values
type-fest - A collection of essential TypeScript types
fantasy-land - Specification for interoperability of common algebraic structures in JavaScript
io-ts-types - A collection of codecs and combinators for use with io-ts
fp-ts - Functional programming in TypeScript
da-unit - Typescript unit conversions
F# - Please file issues or pull requests here: https://github.com/dotnet/fsharp
ramda - :ram: Practical functional Javascript