2012-09-01 18 views
5

Ich habe ein Papier über die Neuman-Stil Programmierung gelesen. Der Name des Papiers ist Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of ProgramsÜber die funktionale Stil Programmierung

Meine Frage nach der funktionalen Stil Programmierung languange (vom Autor refered John Backus) ist dies:

ist die funktionale Stil in diesem Papier genau oder approxiately die gleichen Dinge Sinn, wenn wir beziehen Sie das der Funktion Programmiersprache wie HASKELL oder ERLANG?

+1

Die Beschreibung am Anfang passt sehr zu meinem Eindruck von Haskell. Ich denke, Erlang ist nicht zu unterschiedlich –

+1

"Diskussionen über Programmiersprachen oft ähneln mittelalterlichen Debatten über die Anzahl der Engel , die auf dem Kopf eines Stiftes statt aufregende Wettbewerbe zwischen grundlegend unterschiedlichen Konzepten tanzen kann." - Liebe diesen Vergleich xD – NotGaeL

+2

Nicht wirklich wie jeder von ihnen. Mehr Haskell als Erlang. John Backus befürwortete einen funktionsorientierten Stil des Programmierens, wobei die Komposition ein wichtiger Teil der Strukturierung war. – augustss

Antwort

3

Hier ist ein hilfreicher Blogpost: Why concatenative programming matters.

Kurz gesagt, das sind zwei verschiedene Techniken. Wikipedia nennt sie Functional Programming bzw. Function-Level Programming. Außerdem gibt es Point-Free of Tacit Programming, Concatenative Languages und Stack-Oriented Languages - so kann die genaue Benennung variieren, je nachdem, wen Sie fragen.

Wie der Blogbeitrag zeigt, sind funktionale (oder anwendbare) Sprachen (Erlang, Haskell, ML, Scheme) für die Programmierung auf Funktionsebene (oder Konkatenativ) schlecht geeignet. Es gibt jedoch eine Bibliothek Pointless Haskell, die beim Schreiben von Programmen auf Funktionsebene in Haskell hilft. Beachten Sie, dass Typensignaturen für übliche Dinge wie eine leere Liste sich von Prelude unterscheiden. Die Bibliothek kann von Hackage von cabal install pointless installiert werden. Siehe examples.

Für die entsprechenden Sprachen siehe Forth, APL, Joy und Cat. Die von Jorg erwähnte J-Sprache ist ein Nachkomme von APL und FP.

+0

Freund, danke Ihre Informationen! – parsifal

4

Wenn Sie in einer Sprache suchen möchten, die von der FP Sprache in diesem Papier beschrieben direkt inspiriert ist, könnte man bei J suchen.

+0

Freund, danke! – parsifal

Verwandte Themen