U+1F914 🤔@lemmy.world to Rust@programming.devEnglish · 2 months agoMaximally minimal view types · baby stepssmallcultfollowing.comexternal-linkmessage-square1linkfedilinkarrow-up111arrow-down10file-text
arrow-up111arrow-down1external-linkMaximally minimal view types · baby stepssmallcultfollowing.comU+1F914 🤔@lemmy.world to Rust@programming.devEnglish · 2 months agomessage-square1linkfedilinkfile-text
minus-squareSorteKanin@feddit.dklinkfedilinkarrow-up2·2 months 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.