• lad
    link
    17 months 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.