holgerbrandl
01/22/2021, 8:29 PMmap.getOrDefault(key){ ... build default value lazily here .. }
similar to how the message is evaluated in require
?Shawn
01/22/2021, 8:34 PMgetOrPut()
or getOrElse()
depending on the specific semantics you’re looking forholgerbrandl
01/22/2021, 8:41 PM