codeinabox@programming.dev to Programming@programming.devEnglish · 20 hours agoShip types, not docsshiptypes.comexternal-linkmessage-square11linkfedilinkarrow-up14arrow-down16file-textcross-posted to: hackernews
arrow-up1-2arrow-down1external-linkShip types, not docsshiptypes.comcodeinabox@programming.dev to Programming@programming.devEnglish · 20 hours agomessage-square11linkfedilinkfile-textcross-posted to: hackernews
minus-squareFizzyOrange@programming.devlinkfedilinkarrow-up4·14 hours 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.