https://github.com/Pascal-J/type-system-j
This is actually the type system I'd like any language to have. Its much cleaner than class-based user defined types in that you don't need to define casting function into and out of classes. This may be a bit hard for beginners in that to fully use with explicit multiline code, the user needs to understand how 3 : 0 can be part of a fuller line. But its both powerful to create types, and easy enough for me to consume them. Some unique powerful features are compound types, parameterized types, and inputwide (record/array vs field) validation (type)s. ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
