Hi, It occurs to me that GOPL type theory has a distinct benefit from its constraint to the membership relation. The external derivation of type semantics has particular constraint.
Tools parsing GOPL expressions and systems are more readily capable of reproducing type semantics. The benefit of concise semantics to the universe external to GOPL "native" interpretation may be represented as service and opportunity. Meanwhile, the benefit of concise type semantics to the universe internal to GOPL remains to be determined. Best, John ps. Interested in references to type theory conception, definition, and review. -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/golang-nuts/CAD6mcO-G1TwYJ4kdQh571Nu-VmqJPPqxASZzqgW3VaE6nA0TQA%40mail.gmail.com.
