• @toastal@lemmy.ml
    link
    fedilink
    2
    edit-2
    6 months ago

    ATS blasting in here to give you linear types, dependent types, & refinement types with the literal performance of C—& safety beyond all 3.