ssm@lemmy.sdf.org to Programmer Humor@lemmy.mlEnglish · 5 months agoLangwarslemmy.sdf.orgimagemessage-square21fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1imageLangwarslemmy.sdf.orgssm@lemmy.sdf.org to Programmer Humor@lemmy.mlEnglish · 5 months agomessage-square21fedilink
minus-squaretoastal@lemmy.mllinkfedilinkarrow-up0·edit-25 months agoATS blasting in here to give you linear types, dependent types, & refinement types with the literal performance of C—& safety beyond all 3.
ATS blasting in here to give you linear types, dependent types, & refinement types with the literal performance of C—& safety beyond all 3.