• charje
    link
    fedilink
    arrow-up
    1
    ·
    edit-2
    1 year ago

    JS doesn’t do any type inference. Ocaml type checker knows all the types and is completely type safe without type annotations.