Distinguishing nested optionals

[meithecatte]

Consider this example program:

🏁 🍇
  🆕🍯🐚🍬🔢🍆🐸❗ ➡️ 🖍️🆕dict

  1  ➡️ 🐽dict 🔤one🔤❗
  🤷 ➡️ 🐽dict 🔤nope🔤❗

  ↪️ 🐽dict 🔤seventeen🔤❗ ➡️ unwrapped 🍇
    💭 Won't print
    😀 🔤seventeen is in the dictionary🔤❗
  🍉

  ↪️ 🐽dict 🔤nope🔤❗ ➡️ unwrapped 🍇
    💭 Won't print, but perhaps it should?
    😀 🔤nope is in the dictionary🔤❗
  🍉
🍉

I create a dictionary of optional integers. The code above can't distinguish between "Not present in the dictionary" and "The value is 🤷". What is the proper way of achieving this?

[thbwd]

The reason for this is a design flaw in the current compiler, which treats optionals very differently from other types when boxing, which is also the reason why casting to optionals is currently not possible. You're right that this behavior is strange and unexpected.

I will look into improving this.