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