• Ephera@lemmy.ml
    link
    fedilink
    English
    arrow-up
    1
    ·
    5 hours ago

    Ah, yeah, very familiar with that article. 🙃

    It’s definitely part of the reason why I like these really narrow types. But the other big reason is that your internal APIs start to look like this:

    Shape sorter game for babies

    It just makes it almost impossible to pass the wrong value into a parameter. You don’t need to wonder, whether you should pass your port variable into a parameter called bind_port, if you introduced separate types BindPort and RemotePort for them.

    Of course, this is a somewhat extreme example. It’s up to you to decide, whether you’re likely to encounter multiple values of the same type and whether it’s therefore helpful to make it impossible to confuse them.