woo-besluit-broncode-digid-app VS type_safe

private static string GetPercentageRounds(double percentage) { if (percentage == 0) return "⚪⚪⚪⚪⚪⚪⚪⚪⚪⚪"; if (percentage > 0.0 && percentage <= 0.1) return "🔵⚪⚪⚪⚪⚪⚪⚪⚪⚪"; if (percentage > 0.1 && percentage <= 0.2) return "🔵🔵⚪⚪⚪⚪⚪⚪⚪⚪"; if (percentage > 0.2 && percentage <= 0.3) return "🔵🔵🔵⚪⚪⚪⚪⚪⚪⚪"; if (percentage > 0.3 && percentage <= 0.4) return "🔵🔵🔵🔵⚪⚪⚪⚪⚪⚪"; if (percentage > 0.4 && percentage <= 0.5) return "🔵🔵🔵🔵🔵⚪⚪⚪⚪⚪"; if (percentage > 0.5 && percentage <= 0.6) return "🔵🔵🔵🔵🔵🔵⚪⚪⚪⚪"; if (percentage > 0.6 && percentage <= 0.7) return "🔵🔵🔵🔵🔵🔵🔵⚪⚪⚪"; if (percentage > 0.7 && percentage <= 0.8) return "🔵🔵🔵🔵🔵🔵🔵🔵⚪⚪"; if (percentage > 0.8 && percentage <= 0.9) return "🔵🔵🔵🔵🔵🔵🔵🔵🔵⚪"; return "🔵🔵🔵🔵🔵🔵🔵🔵🔵🔵"; } } } // Full source // https://github.com/MinBZK/woo-besluit-broncode-digid-app/blob/master/Source/DigiD.iOS/Services/NFCService.cs

The Dutch government was forced to release the source code of their DigiD digital authentication iOS app. It is written in C#. https://github.com/MinBZK/woo-besluit-broncode-digid-ap

I actually have a really big love hate relationship with digiD. It can be great or your biggest nightmare. I actually found a public archive of the code though: https://github.com/MinBZK/woo-besluit-broncode-digid-app

It would seem so: https://github.com/MinBZK/woo-besluit-broncode-digid-app/blo...

The interesting aspect of this is that it can be studied to write clients for platforms that are not officially supported -- currently, only Android and iOS are supported, but it'd be great to see a Linux client too.

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/