codeinabox@programming.dev to Programming@programming.devEnglish · 2 months agoShip types, not docsshiptypes.comexternal-linkmessage-square10linkfedilinkarrow-up14arrow-down17file-textcross-posted to: hackernews
arrow-up1-3arrow-down1external-linkShip types, not docsshiptypes.comcodeinabox@programming.dev to Programming@programming.devEnglish · 2 months agomessage-square10linkfedilinkfile-textcross-posted to: hackernews
minus-squareFizzyOrange@programming.devlinkfedilinkarrow-up6·2 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.