ssm@lemmy.sdf.org to Programmer Humor@lemmy.mlEnglish · 1 year agoLangwarslemmy.sdf.orgimagemessage-square21fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1imageLangwarslemmy.sdf.orgssm@lemmy.sdf.org to Programmer Humor@lemmy.mlEnglish · 1 year agomessage-square21fedilink
minus-squaretoastal@lemmy.mllinkfedilinkarrow-up0·edit-21 year 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.