Fwd: Re: Suggestion of Parser newOn: modification

Paul Dufresne dufrp at hotmail.com
Sat May 31 20:22:16 PDT 2003


I believe Peter have reply to me only while wanting to reply to the list. 
(like I do sometimes)
So I tranfering here on the list.

----Original Message Follows----
From: "Peter van Rooijen" <peter at vanrooijen.com>
To: "Paul Dufresne" <dufrp at hotmail.com>
Subject: Re: Suggestion of Parser newOn: modification
Date: Sun, 1 Jun 2003 02:36:50 +0200
MIME-Version: 1.0
Received: from smtpzilla3.xs4all.nl ([194.109.127.139]) by 
mc5-f33.law1.hotmail.com with Microsoft SMTPSVC(5.0.2195.5600); Sat, 31 May 
2003 17:36:56 -0700
Received: from dell (st81.xs4all.nl [194.109.221.144])by 
smtpzilla3.xs4all.nl (8.12.9/8.12.9) with SMTP id h510atRb027570for 
<dufrp at hotmail.com>; Sun, 1 Jun 2003 02:36:55 +0200 (CEST)
X-Message-Info: JGTYoYF78jEHjJx36Oi8+Q1OJDRSDidP
Message-ID: <018201c327d5$e52943f0$9700000a at dell>
References: <Law12-F88UbpIPV2SWR00029ce9 at hotmail.com>
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 6.00.2800.1106
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106
Return-Path: peter at vanrooijen.com
X-OriginalArrivalTime: 01 Jun 2003 00:36:56.0777 (UTC) 
FILETIME=[E7D8D390:01C327D5]

 > By the way, is it too much noise on the list? I personnally I prefer
keeping
 > people to know
 > what's going on, and this keep a written log of what I have written.

Hi all,

I like seeing the traffic. Just joined the list a short while ago and good
to see the discussions. All the example code is very illuminating and I
believe a great to discuss among programmers.

For the time being, I plan to lurk a bit. I've read up on Slate from the
documentation/papers, and it's very interesting. I was drawn to the list out
of my interest in Smalltalk-like programming, but not with classes.

I have been working on a dynamic programming language, working name "lazy"
which seeks to be the language that can I do all the things with that are
too hard in Smalltalk and/or cause duplication in Smalltalk libraries.

Lazy unifies/conflates many concepts which are separate in most languages
and e.g. has a single syntax for programs and methods. There are no object
variables, only behaviors (unified with namespaces), possibly attached to
explicitly managed objects (the program itself is an implicitly managed
composite thing - objects are another kind of thing).

Lazy also separates concepts which are conflated in Smalltalk, such as
queries, commands and tasks (on objects - on the program itself these
services are called functions, procedures and recipes, respectively). Lazy
also separates object-services from behavior-services (in Smalltalk, the
MOP), and single-object-services from object-group services (and each single
object is at the same time also an object-group with one member), giving
lazy array-language properties.

Lazy also separates design (incorporating a glossary with case-tool-like
functionality) from implementation and interns routine implementations which
have identical structure save permutations and naming of participants. It
also has built-in support for assertions, both on the design-side (service
contracts) and implementation side (routine contracts).

The function of inheritance in Smalltalk is performed by derivation of
objects, where an object 'follows' some knowledge, another object or a
behavior (behaviors are pure, like traits). Lazy has automatic lazy
evaluation and function folding (kinda like automatic in-lining of
functions/queries, possible because function implementations can only call
functions). So Lazy also has functional language properties.

A lazy program conceptually evaluates from a script, where the script source
is lazily (as needed) interpreted from source to syntax-graph, to jitted
native code. A lazy program can be suspended and written as a structure to
disk, and resumed, much like a Smalltalk image.

OK, so much for the introduction, I've left out a number of concepts which
enable the system to work, such as items, which form the top-level of
everything, and how the functions of types are provided. I hope this
explains my background and reasons for coming to this group a bit. See you
around!

Regards,

Peter van Rooijen
Amsterdam

 > _________________________________________________________________
 > MSN Messenger : discutez en direct avec vos amis !
 > http://messenger.fr.msn.ca/

_________________________________________________________________
MSN Search, le moteur de recherche qui pense comme vous !  
http://fr.ca.search.msn.com/




More information about the Slate mailing list