Are maps with keys of type any usable?

[Knight_Breaker]

Not an answer to your question but I asked this here and waiting for an official answer:

Is `false` a bottom type in Verse?

Speaking of any. What is the type of any actually? Its instance is an existential, basically a box that can hold anything, but I’m not sure about the actual type. Is it a special interface of some sort or just a special built-in type? Furthermore, are there any plans to permit dynamic downcasts from an instance of type any? Something: any = ... if (Number := int[Something]) {} # this is currently not permitted. Using any to box multiple different types and then dynamically restore their actu…

Dynamic downcasting from any is currently not supported. This isn’t limited to maps or arrays, but generally. I hope we’ll get that feature before we get the new verse virtual machine update in 2024.