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

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