• akamar@feddit.cl
    link
    fedilink
    arrow-up
    0
    ·
    edit-2
    1 day ago

    You can use typed Lisp, there are plenty of them, from Typed Racket to Shen in their complexity. Or to make your own type system in 50-100 lines when you actually need