Glen writes: "o open-ended evolution (and/or evolution of evolution), broached at ECAL -- the answer I kept giving, that nobody really responded to, includes self-hosted languages (simple circularity) and cycles in hosting (L_0 hosts L_1 which then hosts L_0)."
Let's say a device managing a SCSI disk drive. A Unikernel based on a strongly typed language would ensure that illegal or poorly formed SCSI command blocks simply could not be formed. Whether or not a L_1 language hosts a L_0 with a similar virtual device doesn't matter, there's still no way to bypass the typing in the L_0 implementation. In a language like C, it is trivial matter to bypass typing. It's just best-effort by the developer. Marcus ============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com