Does any language without dependent types let you use _ as a placeholder for an inferred value when the context allows for only a single (canonical, in some sense) inhabitant?
for example if the expected type is Result<(),E> in rust, could the compiler infer that Ok(_) means Ok(())? Has anyone experimented with usability of something like that?
=> More informations about this toot | View the thread | More toots from lambdageek@mastodon.social
text/geminiThis content has been proxied by September (ba2dc).