@[email protected] to Programmer [email protected]English • edit-25 months agoThey'd still both rather use C++ than each other thoughlemmy.sdf.orgimagemessage-square22fedilinkarrow-up1316arrow-down113
arrow-up1303arrow-down1imageThey'd still both rather use C++ than each other thoughlemmy.sdf.org@[email protected] to Programmer [email protected]English • edit-25 months agomessage-square22fedilink
minus-square@[email protected]linkfedilink2•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.