mox@lemmy.sdf.org to Programming@programming.dev · 2 months agoSafe C++safecpp.orgexternal-linkmessage-square34fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkSafe C++safecpp.orgmox@lemmy.sdf.org to Programming@programming.dev · 2 months agomessage-square34fedilink
minus-squareBatmanAoD@programming.devlinkfedilinkarrow-up0·2 months agoFor what it’s worth, Ada and Spark are listed separately in the Wiki article on dependent typing. Again, though, I’m not a language expert.
For what it’s worth, Ada and Spark are listed separately in the Wiki article on dependent typing. Again, though, I’m not a language expert.