[pkl] mg-book-sml-sources nun auf Github

Felix Eschey felix.eschey at hotmail.de
Do Okt 28 10:09:10 CEST 2021


Hallo,

cool das hört sich sehr gut an, sobald das funktioniert, würde ich da auch gerne mal bisschen rumspielen. Konkrekt kann ich da momentan leider noch nicht so viel helfen, damit kenne ich mich noch nicht richtig aus.

Liebe Grüße,

Felix

________________________________
Von: pkl <pkl-bounces at mlists.in-berlin.de> im Auftrag von Oliver Bandel <oliver at first.in-berlin.de>
Gesendet: Mittwoch, 27. Oktober 2021 21:55
An: PKL-Mailinglist <pkl at mlists.in-berlin.de>
Betreff: Re: [pkl] mg-book-sml-sources nun auf Github

Quoting  Oliver Bandel <oliver at first.in-berlin.de> (snt: 2021-10-25 20:27 +0200 CEST) (rcv: 2021-10-25 20:27 +0200 CEST):
> Hallo Felix,
>
>
> Quoting  Felix Eschey <felix.eschey at hotmail.de> (snt: 2021-10-25 18:53 +0200 CEST) (rcv: 2021-10-25 18:53 +0200 CEST):
> > Hallo,
> >
> > Kannst du in der readme eine how to install und how to use hinzufügen?
> [...]
>
> Nein, kann ich leider nicht.
> Jedenfalls nicht, solange der Code noch nicht mal kompilierbar ist.
[...]

Ich hatte Thomas Mahler direkt kontaktiert.
Er hat heute schon den ersten Pull-Request erstellt.
Die Datei all.sml lässt sich nun kompilieren.

Damit sind alle Keno-/Morphogrammatik-Sachen schon mal benutzbar.
Es gibt da wohl noch viele weitere Programme - u.a. für die Proemialrelation.
Das hatte ich mir noch nicht mal angeschaut damals. Vielleicht lässt
sich das ja auch noch gangbar machen, wäre schön.

Auf jeden Fall lassen sich jetzt schon mal die Keno-/Morpho-Tabellen
erzeugen.
Vielleicht müsste man noch eine DSL drum herum bauen (oder das ganze im
Web beriet stellen?), ansonsten kann man es auch interaktiv im compiler
benutzen.

Ich hatte mir smlnj installiert. Damit läuft das.

Am terminal eingetipptes
$ sml all.sml

liefert mir den Compiler interaktiv und ich kann dann die Funktionen
direkt aufrufen.
Kann ich hoffentlich am Wochenende mal explorieren.

Sicherlich wäre es schon hilfreich, einfach mal nur viele der
Keno-/Morpho-Tabellen zu erzeugen.
Heute sind die Rechner ja schon um einiges schneller als Anfang der 90er,
da kann man dann auch mal so Tabellen etwas größer machen als damals.
Wobei einige im Umfang AFAIK überexponentiell wachsen, da ist dann irgendwann
auch Ende... aber ein bischen weiter zu kommen als damals ist ja auch
schon nicht schlecht. Gerade zum Einarbeiten in ein Thema ist ein
bischen am Computer mit herum spielen 'ne schöne Sache.


Gruß,
  Oliver
--
pkl mailing list
Beitraege an diese Adresse senden: pkl at mlists.in-berlin.de
An- und Abmeldung: https://mlists.in-berlin.de/mailman/listinfo/pkl-mlists.in-berlin.de
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://mlists.in-berlin.de/pipermail/pkl-mlists.in-berlin.de/attachments/20211028/ea3594aa/attachment.htm>


Mehr Informationen über die Mailingliste pkl