cuid VS type_safe

Not sure if this is the same, but a cuid related project had this requested a feature https://github.com/paralleldrive/cuid/issues/63

I like this ones https://github.com/paralleldrive/cuid

What about something like cuid? https://github.com/ericelliott/cuid

CUID aims to solve the exact problem we discussed above with UUIDs. Quoted from CUID's GitHub:

How does it compare to cuid [1]? If you know the differences, can you please explain them for those like me who do not know both?

[1] https://github.com/ericelliott/cuid

Yep. And there are some libraries to provide strong-type int, depending on what you need: type_safe or even units.

Which programming language has, by default, a float type between 0.0 and 1.0? I think it is solvable with libraries in some languages, sure, but it is there in the type system or the standard library of some mainstream language?

Consider taking a look at the type_safe library https://github.com/foonathan/type_safe which has an output_parameter type

foonathan/type_safe provides wrappers around standard types that prevent most of the unwanted implicit conventions. Also it provides backport of safe comparasions on C++11 and C++14

I agree, the 'microtype' pattern can be a good way of getting the type-checker to catch silly mistakes.

In Ada it's standard practice. In C++ you really need a library to do it easily, but there's a good one out there ready to go:

https://github.com/foonathan/type_safe/