Was ist der formale Unterschied zwischen einer Sprache auf Funktionsebene und einer funktionalen Sprache?

Question

Ich bin ziemlich gut in Haskell und habe mich selbst unterrichtet J . Ich habe gelesen, dass John Backus ' Unterscheidung zwischen Wertebene y Funktionsebene Programmierung.

J ist eine Sprache auf Funktionsebene, die es erlaubt, in einem Stil auf Werteebene zu schreiben, falls gewünscht. (Ich hoffe, ich habe das richtig verstanden.) Wie passt Haskell hier hinein? Ich weiß, dass Haskell einen stillschweigenden Programmierstil erlaubt, und ich weiß, dass es eine rein funktionale Sprache ist, aber glauben Sie, dass Backus sie als eine Sprache auf Werteebene oder auf Funktionsebene bezeichnen würde?

Zusammenfassend lässt sich sagen, dass Sprachen auf Funktionsebene und funktionale Sprachen zwar miteinander verwandt sind, aber nicht genau dasselbe. Könnte das jemand klären?

Answer 1

So ziemlich jede praktische funktionale Programmiersprache ist immer noch eine Programmierung auf Werteebene; die Programmierung auf Funktionsebene ist eher eine akademische/algebraische Form der Programmierung, die versucht, Eigenschaften daraus abzuleiten, wie Funktionen aus anderen Funktionen gebildet werden.

Da jede echte praktische Anwendung eine Form von Daten erfordert (abstrakte Berechnungen auf abstrakten Eingaben sind im täglichen Leben im Allgemeinen nicht sehr nützlich), führt dies zu einem Bereich der Wertebene.

http://en.wikipedia.org/wiki/Function-level_programming#Contrast_to_functional_programming