Re: [isabelle] undefined & None



Here is a vaguely related thread on the Scala internals mailing list:

https://groups.google.com/forum/#!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.


	Makarius




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