U+1F914 🤔@lemmy.world to Rust@programming.devEnglish · 23 days 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 · 23 days agomessage-square1linkfedilinkfile-text
minus-squareSorteKanin@feddit.dklinkfedilinkarrow-up2·21 days 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.