Re: [isabelle] undefined & None

Here is a vaguely related thread on the Scala internals mailing list:!topic/scala-internals/VkIVISmaxFQ/discussion[1-25-false]

Odersky ultimately calls his version of "undefined" with the symbolic name "???". Semantically it is of the "crash" / "NPE" kind, since this is programming, not logic.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.