Stellvertretend für Code algebraisch

So etwas wie diese Webseite beschreibt?

Vielleicht haben Sie einen Blick auf Haskell nehmen. Haskell - Formate auch in Latex, hat eine schöne algebraische Syntax, und Sie können sogar eine Latex - Datei mit Haskell darin, vorausgesetzt , kompilieren Sie den Code in gewickelt ist \begin{code}und \end{code}. Siehe hier: http://www.haskell.org/haskellwiki/Literate_programming . Es gibt wahrscheinlich lesen und Programmiertools für andere Sprachen.

Ich würde kopieren Knuth. Nur wenige wissen, wie als er in einer Informatik-Einstellung besser zu kommunizieren.

APL ? Das einzige Problem ist , dass nur wenige Menschen sie lesen können.

Tun Sie dies nicht. Sie sind abweichend von dem, was die Menschen erwarten zu sehen, wenn sie ein Papier über Algorithmen lesen. Sie sollten erwartete Praktiken folgen; Ihre Ideen sind eher die Aufmerksamkeit, die sie verdienen bekommen. Wenn du in Rom bist, mach wie es die Römer tun.

Formatieren von Code (oder Pseudo - Code , wie es sein kann) in einem latexiertem Papier ist sehr einfach. Siehe zum Beispiel, Formatierung Code in LaTeX .

Lisp begann als eine mathematische Schreibweise eines Rechenmodells, so dass der Vortragende ein besseres Werkzeug als Turing-Maschinen haben würde. Durch Zufall, es stellt sich heraus, dass es bei der Montage realisiert werden kann - also Lispeln wurde die Programmiersprache geboren.

Aber ich glaube nicht, das ist wirklich das, was Sie suchen, da das Rechenmodell, das beschreibt lispelt keine Schleifen hat: Rekursion wird verwendet, statt. Die Syntax ergibt sich aus der Algebra, wo Klammern bezeichnen evaluate-diese-und-Ersatz-the-Ergebnis. Tatsächlich Lisp Modell des Computing ist im Grunde Substitution - was Algebra im Wesentlichen ist.

Tatsächlich sind die meisten funktionalen Sprachen wie Lisp, Haskell und Erlang sind aus der Mathematik abgeleitet. Haskell ist eigentlich ein Ergebnis, dass die Lambda-Kalkül beweisen kann verwendet werden, Typsysteme zu implementieren. So Haskell, wie Lisp wurde aus der reinen Mathematik geboren. Aber auch hier ist die Syntax nicht, was würden Sie wahrscheinlich zu nutzen.

Sie können natürlich auch Lisp und Haskell Syntax Mathematiker erklären und sie würden es als ein „Spiel“ behandeln. Sprachkonstrukte wie Schleifen, Rekursion und conditionals können eher der Spielregeln nachgewiesen werden aus als blind wie in anderen Sprachen implementiert. Dies würde Sie in das Reich der combinatronics, einem anderen Zweig der Mathematik führen. Tatsächlich in combinatronics, auch das Konzept der Zahlen kann aus den Regeln des Spiels, anstatt ein gebürtiger Teil der Sprache (google Kirche Ziffern) ist konstruiert werden.

So haben Sie einen Blick auf Lisp / Scheme, Erlang und Haskell, wenn Sie wollen. Erlang hat vor allem Syntax nahe, was Sie wollen:

add(a,b) -> a + b

Aber meine Empfehlung ist , in C-ähnlichen Pseudocode zu schreiben. Es ist eine Art der kleinsten gemeinsamen Nenner in Programmiersprachen. Hat eine Syntax , die recht einfach zu verstehen und sauber ist. Und die Funktion Syntax ergibt sich auch aus Funktionen in der Mathematik. Denken Sie daran f(x)?

Als weiteres Plus sind die Mathematiker zu schreiben C verwendet werden Statistiker Schreiben C verwendet (obwohl sie in der Regel R bevorzugen), sind die Physiker zu schreiben C verwendet werden, sind Programmierer zumindest verwendet bei C suchen (ich weiß, ein paar, die noch nie haben berührt C).

Eigentlich kratzen , dass. Sie erwähnen , dass Ihre Zielgruppe Statistiker sind. Schreiben Sie in R

Ein Symbol für die allgemeinen Schleifen nicht vorhanden ist ; in der Regel werden Sie die Verwendung Summen Operator . „if“ verwendet vertreten Implikationen , und auf „ein Tupel zu einer Liste hinzufügen“ werden Sie von Union .

Allerdings , in der Regel ist ein bisschen Ausführlichkeit nicht unbedingt eine schlechte Sache - manchmal, vor allem für komplexe Algorithmen, ist es am besten , es zu buchstabieren in einfachem Englisch, Beispiele und Abbildungen verwendet wird . Dies ist doppelt wahr für Nicht-Programmierer.

Denken Sie daran: wenn Sie ein mathematisches Text-Buch über Euklids Algorithmus für GCD, oder das Sieb des Eratosthenes zu lesen, wie es geschrieben? Üblicherweise wird der Algorithmus selbst ist in Prosa, während der Beweis des Algorithmus ist, wo die mathematischen Symbole liegen.