I've updated repo to get rid of that file. I don't think there are any dependencies other than the 5 I mentioned.
----- Original Message ----- From: 'Pascal Jasmin' via Programming <[email protected]> To: "[email protected]" <[email protected]> Cc: Sent: Monday, January 26, 2015 5:21 PM Subject: Re: [Jprogramming] I've made a type system for J You're looking at a file in which I dump everything I ever found useful enough to think would be useful again. (the zutils file). lassign is indeed useless. in and of were olegjk's original function for working with lists of objects. I have not found a use for them, but thought they would be important. Instead I use inl and loc mostly. The typesys file uses very few of these zutils, but since it is effectively part of my profile, I'd rather just dump it than make sure the code is self contained. a quick look of names (their depencies not included) that can be copied to the file and avoid the rest of zutils pD (smoutput with no side effect) eval (apply replacement. works with dyads and modifiers) hook (more natural ambivalent verb construction than (u v)) lrA (linear representation as adverb) linearize (removes shapes of 1) ----- Original Message ----- From: Raul Miller <[email protected]> To: Programming forum <[email protected]> Cc: Sent: Monday, January 26, 2015 5:04 PM Subject: Re: [Jprogramming] I've made a type system for J I took a quick look at it. I do not think lassign is very meaningful. I can think of uses for it, but they seem obscure. Meanwhile, I am also not clear on the difference between 'in' and 'of'. (They behave the same on my simple tests, and there's a lot of code to wade through, here. I don't suppose you feel like putting together a ref doc (for example: one sentence descriptions on the important words, along with representative sample data)? The test scripts look promising, though, so maybe I'll discover what I need there... Thanks, -- Raul On Mon, Jan 26, 2015 at 3:36 PM, 'Pascal Jasmin' via Programming <[email protected]> wrote: > 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 ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
