mox@lemmy.sdf.org to Programming@programming.dev · 8 months agoSafe C++safecpp.orgexternal-linkmessage-square34linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkSafe C++safecpp.orgmox@lemmy.sdf.org to Programming@programming.dev · 8 months agomessage-square34linkfedilink
minus-squareBatmanAoD@programming.devlinkfedilinkarrow-up0·8 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.