cK, XY, and X provide for variable-free programming in a language with K semantics. each language is implemented as a pure interpreter in K. cK implements...
stevan apter
sa@...
Dec 6, 2004 10:21 pm
2134
Hi everybody, Thanks to Mackenzie Straight (eiz on #concatenative), Factor now runs on 32-bit Windows platforms. A few things are missing, such as asynchronous...
Slava Pestov
slava@...
Dec 11, 2004 8:13 pm
2135
This needs to be run like so: factor factor.image -no-ansi -no-compile. If you don't use the -no-compile switch, it will crash, and if you don't use -no-ansi,...
Hi everybody, The compiler now works on Factor/win32. Try it out: http://factor.sf.net/Factor-win32.zip. Slava...
Slava Pestov
slava@...
Dec 13, 2004 9:55 pm
2137
Hi everybody, I have written up a brief document explaining the inner workings of the Factor runtime written in C. I hope it sheds some light onto the workings...
Slava Pestov
slava@...
Dec 16, 2004 4:25 am
2138
Hmmm, very nice, but as a newbie to concatenative languages and a not-so-hot C programmer I don't get as much satisfaction out of this as out of the Factor...
Well done, Slava. I have always felt that I should write something like this for the Joy implementation, to help anybody who is game enough to work on the...
... [..] My apologies, Martin, I did not include you specifically in the invitation to contribute to the joint paper on concatenative languages. It had been a...
Some months ago we discussed composition of functions other than unay functions. I said that it is a messy subject, because there are always so many different ...
For quite some time I have been trying to give a definition of what it means for a language to be concatenative,but I have not been able to come up with...
http://www.vector.org.uk/index.php?area=kei essays on ken by friends and colleagues over the years, which might prove interesting to members of the...
sa@...
Dec 17, 2004 1:25 pm
2144
Hi everybody, Factor 0.70 is out. Highlights of this release include: - New compiler. - Win32 port, now including the foreign function interface. Check out ...
Slava Pestov
slava@...
Dec 18, 2004 6:13 am
2145
Hi, To shed some light into the workings of the mysterious 'factor.image', and the even more mysterious fact that the Factor parser is written in Factor, I...
Slava Pestov
slava@...
Dec 21, 2004 6:55 am
2146
Yipes! It’s slow. No, I didn’t die or fall off the Earth or get lost in a jungle for six months. For various largely unpleasant reasons I haven't been...
I wrote the previous post by "replying" to another post, and forgot the change the subject. Sorry. In other news, Visual Basic .NET does in fact have a...
"cpcogan" <ccogan@...> wrote on 12/30/2004 10:48:45 AM: (I did notice that Stevan has come up with another language). come up with, and subsequently...
sa@...
Dec 30, 2004 4:04 pm
2149
... Smart. ... Yes, so it does. That has some interesting implications I'd like to see explored. ... This is a classic Forth trick, too. I really, really like...
On Thu, 30 Dec 2004 11:08:35 -0500, sa@... <sa@...> wrote: [stevan's new language] ... Interesting! Tell us more, please. I found your post on X to be ...
I've discovered that performance of JLL is not nearly as bad if the system is run as a standalone, without Visual Studio debugging activated on it. Precise...
I found X's idea of having function results go to the queue or to the stack depending on their data-or-function type interesting. What I liked about it was the...
Can we analyze for correctness? In general, no. But the range of programs that we can analyze for correctness by mechanical means is not just "toy" programs. ...
... Yes -- SPARK ADA does this sort of thing to Ada. Very impressive, and worth a read. ... Here's a different question: Can we design a language that can be...
... This is not possible without using a non turing complete language! ... But coding errors are easy to fix. Mechanical generation does nothing for logic...
Slava Pestov
slava@...
Dec 31, 2004 1:40 am
2156
... What advantage do you see in allowing stack patterns and local variables? ... You could compile to .NET bytecode. The obsolete Java implementation of ...
Slava Pestov
slava@...
Dec 31, 2004 1:44 am
2157
... However, it's worth asking whether there's a suitably useful subset of turing complete available - for many use patterns there is, and certainly being able...
... That's also impossible in general -- but you're right, it's a good thing, so the people at http://www.praxis-his.com/sparkada/ did it. The trick is that...
... Chris: Are you kidding? I wish. No; JLL is nowhere near that level yet. It's just a Visual Studio .NET Windows form with a little Visual Basic code behind...
Hi all, I believe generic words represent an important extension of the concatenative paradigm. They have allowed a lot of code to be considerably simplified...
Slava Pestov
slava@...
Jan 2, 2005 5:16 am
2161
hi, just a short update on an implementation for some ideas i discussed in a couple of emails on this list a while (maybe a year?) back. work continues slowly...
Hi everybody, Factor 0.71 adds a lot of new features: - Asynchronous I/O and socket support for the Windows port, by Mackenzie Straight. - Compiled code is now...
