Re: [stack] Re: Some thoughts on Object Cat
"Christopher Diggins" <[email protected]>
| Newsgroups | gmane.comp.lang.concatenative |
|---|---|
| Message-ID | <[email protected]> |
On Sun, Apr 20, 2008 at 5:02 AM, John Nowak <[email protected]> wrote: > On Apr 20, 2008, at 3:00 AM, Christopher Diggins wrote: > > >> I'm simply suggesting the addition of (concatenative) macros. They > >> don't come at the cost of any existing properties. > > > > Yes, you are correct. They don't cost anything, I mispoke. I meant > > that they don't solve the problem of wanting to cut a program at an > > arbitrary point which is a desirable property for me. > > Ah, but they do solve it; you can cut at an arbitrary point provided > that you're willing to make the right side of the cut a macro if > necessary. This isn't a wonderful solution of course, but it does at > least guarantee that you'll be able to do such a thing if it's useful > and the type system would otherwise prevent it. > > Cat, however, does *not* solve this problem. Let me give you an > example of where Cat falls down. Take this function: Thank you very much for identifying these problems John. I believe they all can be tracked down to implementation bugs, and I will attempt to fix them straight away! - Christopher Diggins