All entities can be represented with the explicit definition,
for example define
plus =: ( 3 : ((43{a.),'y')) : ( 4 : ('x',(43{a.),'y')))
and the primitives you need are : , { a. ( )
This is obviously not the solution you are thinking of, but may help to
clarify the rules needed to make this approach useful.
Regards, Markus
Raul Miller schrieb:
Has anyone gone through and tried to identify a "minimal J core
language"?
Dan Bron's PrimitivePrimitives wiki page seems like a step in
this direction, but it's not really focussed on identifying a core
J lexicon.
For example, the | dyad can be defined as #:"0 or, if you're not
concerned with issues of rank you can simply use #: to replace |
In other words, by "minimal J lexicon" I am concerned not with
identifying the "simplest words" but identifying the "smallest
set of words which encompass J's computational model".
Also, perhaps obviously, monads need different treatment
from dyads -- I'm thinking of this more from a didactic perspective
than as a practical exercise.
Even so, I'm wondering if someone else might have already
approached this issue.
Thanks,
--
_____________________________________________
Gesellschaft fuer Logistische Systeme LS GmbH
Siemensstrasse 14
D-28857 Syke
Geschaeftsfuehrer: Lutz Pachali
Amtsgericht Walsrode, HRB 110420
phone: +49 4242 6122 0
fax: +49 4242 6122 15
email: [EMAIL PROTECTED]
homepage: www.lsgmbh.de
______________________________________________
Haftungssausschluss/Disclaimer:
Diese Nachricht enthaelt vertrauliche Informationen und ist
ausschliesslich fuer den Adressaten bestimmt. Jeder Gebrauch durch Dritte
ist verboten. Falls Sie die Daten irrtuemlich erhalten haben, nehmen Sie
bitte Kontakt mit dem Absender auf und loeschen Sie die Daten auf jedem
Computer und Datentraeger. Die LS GmbH ist nicht verantwortlich fuer die
ordnungsgemaesse, vollstaendige oder verzoegerungsfreie Uebertragung dieser
Nachricht.
This message contains confidential information and is intended solely
for the use by the addressee. Any use of this message by a third party
is prohibited. If you received this message in error, please contact the
sender and delete the data from any computer and data carrier. LS GmbH
is neither liable for the proper and complete transmission of the
information in the message nor for any delay in its receipt.
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
