• lad
    link
    fedilink
    arrow-up
    1
    ·
    1 year ago

    When something is enforced on type level it doesn’t require your memory and usually doesn’t require computation.

    As of lately I came to think that being explicit is mostly better than being expressive. So in this case stating all the units might work better than having a concise progtam.