codeinabox ( codeinabox@programming.dev ) to Programming@programming.devEnglish · 9 months agoShip types, not docsshiptypes.comexternal-linkmessage-square9linkfedilinkarrow-up13file-textcross-posted to: hackernews@lemmy.bestiver.se
arrow-up13external-linkShip types, not docsshiptypes.comcodeinabox ( codeinabox@programming.dev ) to Programming@programming.devEnglish · 9 months agomessage-square9linkfedilinkfile-textcross-posted to: hackernews@lemmy.bestiver.se
minus-squareFizzyOrange ( FizzyOrange@programming.dev ) linkfedilinkarrow-up4·9 months agoUhm, ship both. Most type systems are not expressive enough to 100% explain the correct use of an API.
Uhm, ship both. Most type systems are not expressive enough to 100% explain the correct use of an API.