U+1F914 🤔@lemmy.world to Rust@programming.devEnglish · 1 month agoMaximally minimal view types · baby stepssmallcultfollowing.comexternal-linkmessage-square1fedilinkarrow-up111arrow-down10file-text
arrow-up111arrow-down1external-linkMaximally minimal view types · baby stepssmallcultfollowing.comU+1F914 🤔@lemmy.world to Rust@programming.devEnglish · 1 month agomessage-square1fedilinkfile-text
minus-squareSorteKanin@feddit.dklinkfedilinkarrow-up1·1 month agoInteresting - I think this minimal solution I actually wouldn’t mind, but I’d be concerned about introducing syntax for callers. Keeping it as a private construct in libraries seems fine though.
Interesting - I think this minimal solution I actually wouldn’t mind, but I’d be concerned about introducing syntax for callers. Keeping it as a private construct in libraries seems fine though.