Stream: ideas

Topic: Typed holes

Rígille Scherrer Borges Menezes (Apr 14 2022 at 14:13):

Sometimes its hard to understand what type of value should go inside an expression, does the Roc compiler or Roc editor have a feature that informs this to the user? Something like typed holes from Agda

Folkert de Vries (Apr 14 2022 at 14:21):

yes the editor will provide this in a nice way

Rígille Scherrer Borges Menezes (Apr 14 2022 at 14:30):

That's nice. It's something I wish Rust had

Last updated: Jun 16 2026 at 16:19 UTC