• 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