*** Protokolldatei gestartet *** Datum: Mi. Jul 4 19:56:16 2012 [Mittwoch, 4. Juli 2012] [19:56:16] Betreten Sie haben den Kanal #forth-ev betreten (-bernd@p5DCD6260.dip0.t-ipconnect.de). [Mittwoch, 4. Juli 2012] [19:56:21] Modus Kanalmodi: [Mittwoch, 4. Juli 2012] [19:57:07] Hallo! [Mittwoch, 4. Juli 2012] [19:57:23] Hallo Bernd! [Mittwoch, 4. Juli 2012] [19:58:14] Nix los heute. [Mittwoch, 4. Juli 2012] [19:58:42] Scheint so. Schwitzen wohl alle draußen [Mittwoch, 4. Juli 2012] [19:58:50] Bei uns zieht schon wieder was auf. [Mittwoch, 4. Juli 2012] [19:59:27] Wenn ich http://www.blitzortung.org/Webpages/index.php?lang=de&subpage_0=16 richtg deute, dann wirds für euch wohl ungemütlich [Mittwoch, 4. Juli 2012] [20:00:09] Bei mir reicht aus dem Fenster gucken, um die Lage einzuschätzen :-) [Mittwoch, 4. Juli 2012] [20:00:33] ;) [Mittwoch, 4. Juli 2012] [20:11:20] Die Tagesschau sagt, dass das Urheberrecht im digitalen Zeitalter neu geregelt werden muss... das mit dem ACTA war wohl ein Dammbruch. [Mittwoch, 4. Juli 2012] [20:18:40] So, die Kathastrophenshow ist fertig. Beim Higgs-Boson bin ich ja gespannt, ob's das jetzt ist - letztes Jahr haben die sich ja schon mal etwas zu weit aus dem Fenster gelehnt. [Mittwoch, 4. Juli 2012] [20:19:37] Naja, die haben ja auch die Lichtgeschwindigkeit geknackt. [Mittwoch, 4. Juli 2012] [20:19:55] Forschung ist nunmal keine exakte Wissenschaft ;) [Mittwoch, 4. Juli 2012] [20:22:17] Außer die Forth-Forschung natürlich [Mittwoch, 4. Juli 2012] [20:22:42] Du hast dich ja ganz hübsch gefetzt ;) [Mittwoch, 4. Juli 2012] [20:26:02] :-) [Mittwoch, 4. Juli 2012] [20:26:53] Mir kommt da bei Antons "der Standard ist gottgegeben"-Haltung die Galle hoch. [Mittwoch, 4. Juli 2012] [20:27:12] Ist er Mathematiker? [Mittwoch, 4. Juli 2012] [20:27:20] Fragt man bei dem nach, der ein bestimmtes Ding im Standard (COMPILE,) verfasst hat, kommt etwas ganz anderes heraus, als im Standard drinsteht. [Mittwoch, 4. Juli 2012] [20:27:22] Ganz normal halt. [Mittwoch, 4. Juli 2012] [20:28:17] Standards zu schreiben ist mühsam. [Mittwoch, 4. Juli 2012] [20:28:52] Bis da drinsteht, was man eigentlich aussagen will, braucht es viel Zeit und noch mehr Schweiss [Mittwoch, 4. Juli 2012] [20:28:56] Genau. [Mittwoch, 4. Juli 2012] [20:29:20] Etwas präzise zu spezifizieren ist viel schwieriger, als es schnell mal zu implementieren. [Mittwoch, 4. Juli 2012] [20:29:46] Vielleicht deswegen sind viele Sprachen nur als Referenzimplementierung vorhanden ;) [Mittwoch, 4. Juli 2012] [20:30:01] Das ist so das, was ich aus der Vorlesung über das Thema mitgenommen habe, obwohl der Prof genau der gegenteiligen Meinung war. [Mittwoch, 4. Juli 2012] [20:32:09] Ja, mit dem Modell Referenzimplementierung hat man ja vor Forth-94 auch operiert. [Mittwoch, 4. Juli 2012] [20:32:34] Das funktioniert nicht, wenn die Sprache so leicht zu implementieren ist, dass es duzende Implementierungen gibt. [Mittwoch, 4. Juli 2012] [20:32:44] Also Chucks Fehler. [Mittwoch, 4. Juli 2012] [20:33:17] Forth ist so ein bissel wie Englisch. Jeder glaubt, das es leicht sei [Mittwoch, 4. Juli 2012] [20:33:38] Und am Anfang hat man auch schnell Erfolge [Mittwoch, 4. Juli 2012] [20:34:06] Irgendwann kippt die Sache aber und dann geht das Jaulen und Fluchen los. In der Muttersprache ;) [Mittwoch, 4. Juli 2012] [20:34:33] Ich glaube, ein paar Sachen in Forth sind schlicht und einfach nicht richtig durchdacht. [Mittwoch, 4. Juli 2012] [20:34:38] Und genau an den Stellen hakts dann. [Mittwoch, 4. Juli 2012] [20:34:46] immediate und state gehören da definitiv dazu. [Mittwoch, 4. Juli 2012] [20:35:30] Weshalb mir das vectorisierte COMPILE, sehr gefällt - und dann bitte grundsätzlich für die ganze compilation semantics. [Mittwoch, 4. Juli 2012] [20:35:38] soweit ich das verstanden habe, will man damit ja die verschiedenen Ausprägungen der XT regeln. [Mittwoch, 4. Juli 2012] [20:35:57] also compile-semantik, execution etc pp [Mittwoch, 4. Juli 2012] [20:38:19] Ja. [Mittwoch, 4. Juli 2012] [20:38:34] Vielleicht sollte man nochmal einen Schritt zurückgehen und exakt sagen, was der Interpreter macht und was der ausgeführte Code macht. [Mittwoch, 4. Juli 2012] [20:38:38] Bisher konnte man mit dem xt eigentlich nur die interpretations-semantik "anfassen" [Mittwoch, 4. Juli 2012] [20:39:08] Das sind IMHO zwei verschiedene DInge, die nur zusammenarbeiten [Mittwoch, 4. Juli 2012] [20:39:14] Interpreter: interpretation semantics, auszuführender Code: runtime-semantics. [Mittwoch, 4. Juli 2012] [20:39:28] Und wie man das compiliert: compilation semantics. [Mittwoch, 4. Juli 2012] [20:39:36] Das sind die drei Dinger, die's gibt. [Mittwoch, 4. Juli 2012] [20:40:21] Der Recognizer führt noch eine Parse-Time-Semantics ein. [Mittwoch, 4. Juli 2012] [20:42:06] Mein Weltbild ist da einfacher: Ich habe einen Interpreter, der führt entweder die Worte aus oder er hängt sie an das Dictionary an. [Mittwoch, 4. Juli 2012] [20:43:09] Was passiert, wenn die Worte ausgeführt werden, mag sich unterscheiden, auch hat es Auswirkung darauf, was der Interpreter dann weitermacht (parsing words) [Mittwoch, 4. Juli 2012] [20:44:03] Recognizer sind eher ein Art Umgebung, die für genau ein Wort angepasst wird [Mittwoch, 4. Juli 2012] [20:48:09] Aber so als Aussenstehender die Diskussionen zu sehen und festzustellen, das a) immer die gleichen Probleme gewälzt werden und b) dann immer die gleichen Lösungen präsentiert werden ist schon seltsam. [Mittwoch, 4. Juli 2012] [20:48:49] Vor allem da es ja wirklich keine verfügbare Referenzimplementierung mehr zu geben scheint (gforth ist mir zu komplex) [Mittwoch, 4. Juli 2012] [20:49:03] Sozusagen CORE mal in Core impelementiert [Mittwoch, 4. Juli 2012] [20:49:32] Gforth ist mir - zumindest für embedded Systeme - auch zu komplex. [Mittwoch, 4. Juli 2012] [20:49:59] Und gerade die Teile von Gforth, die Anton 'reingebaut hat, um sein State-Smart-Problem zu lösen, die gefallen mir gar nicht. [Mittwoch, 4. Juli 2012] [20:51:01] Die Forth200x Sachen find ich da richtig gut [Mittwoch, 4. Juli 2012] [20:52:09] Mir ist CORE auch noch zu groß. Es gibt einen "harten Kern" an Forth, der deutlich weniger ist als Core. [Mittwoch, 4. Juli 2012] [20:52:15] Man muss keine Zahlen ausgeben können. [Mittwoch, 4. Juli 2012] [20:52:38] Man muss auch keine Zählschleifen machen können. [Mittwoch, 4. Juli 2012] [20:54:33] Beenden MatthiasT hat den Server verlassen (TU-Ilmenau.DE Uni-Erlangen.DE).