Wie funktional ist C++11?

[WilliWillsWissen]

http://de.wikipedia.org/wiki/Kalkül

Das Wort Kalkül im logischen und mathematischen Sinn ist ein Maskulinum (der Kalkül). Kalkül im umgangssprachlichen Sinn wird auch als Neutrum verwendet (das Kalkül, deshalb auch „ins Kalkül ziehen“) und wird in der Bedeutung von „Berechnung“ oder „Überlegung“ verwandt.[1]

[Zeus]

ipsec schrieb:

Die Antwort "gar nicht" auf die Frage "Wie funktional ist C++" ist also so pauschal falsch.

Also ist ein Still eine Spracheigenschaft?

[Shade Of Mine]

Zeus schrieb:

ipsec schrieb:

Die Antwort "gar nicht" auf die Frage "Wie funktional ist C++" ist also so pauschal falsch.

Also ist ein Still eine Spracheigenschaft?

Nein, Eigenschaft des Programmierers.

Und die Sprachen helfen dem Programmierer beim Umsetzen seines Stils/Paradigmas mal mehr und mal weniger gut.

Man bedenke den Beruehmten Satz:
Ein echter Programmierer kann in jeder Sprache FORTRAN schreiben.

[Zeus]

Shade Of Mine schrieb:

Zeus schrieb:

ipsec schrieb:

Die Antwort "gar nicht" auf die Frage "Wie funktional ist C++" ist also so pauschal falsch.

Also ist ein Still eine Spracheigenschaft?

Nein, Eigenschaft des Programmierers.

Um so erstaunlicher ist es, dass er sich selbst wiederspricht.

[ipsec]

Zeus schrieb:

Shade Of Mine schrieb:

Zeus schrieb:

ipsec schrieb:

Die Antwort "gar nicht" auf die Frage "Wie funktional ist C++" ist also so pauschal falsch.

Also ist ein Still eine Spracheigenschaft?

Nein, Eigenschaft des Programmierers.

Um so erstaunlicher ist es, dass er sich selbst wiederspricht.

Ein Stil ist nichts von beidem, sondern eine Art und Weise der Programmierung. Und eine Sprache kann bei der Umsetzung eines Stils mehr oder weniger unterstützend sein. Wo widerspreche ich mich?

[Zeus]

Ich seh ein Konflikt zwischen

Wäre die Frage "ist C++ eine funktionale Programmiersprache", wäre die Antwort ganz klar nein.

Die Antwort "gar nicht" auf die Frage "Wie funktional ist C++" ist also so pauschal falsch.

den beiden Aussagen.

[ipsec]

Zeus schrieb:

Ich seh ein Konflikt zwischen

Wäre die Frage "ist C++ eine funktionale Programmiersprache", wäre die Antwort ganz klar nein.

Die Antwort "gar nicht" auf die Frage "Wie funktional ist C++" ist also so pauschal falsch.

den beiden Aussagen.

Ich dachte das wäre deutlich
C++ ist definitiv keine funktionale Programmiersprache, trotzdem kann man mehr oder weniger gut funktional in C++ programmieren. Also kann man nicht sagen, C++ hätte keinerlei funktionalen Eigenschaften.

[Zeus]

ipsec schrieb:

C++ ist definitiv keine funktionale Programmiersprache, trotzdem kann man mehr oder weniger gut funktional in C++ programmieren. Also kann man nicht sagen, C++ hätte keinerlei funktionalen Eigenschaften.

Und wo ist die Grenze um funktional zu sein?

[hustbaer]

@Zeus & ipsec:
Ich glaube hier liegt ein Misverständnis vor.

Man kann bei der Einteilung von Programmiersprachen entweder Schubladen machen, und dann jede Sprache in genau eine Schublade tun. Wenn man es so macht, dann landet C++ nicht in der "funktional" Schublade, sondern z.B. in der "multi paradigm" Schublade.

Man kann aber auch Checkboxen machen, und für jede Sprache sämtliche Checkboxen markieren, die für die jeweilige Sprache passen. In dem Fall könnte man C++ ein "funktional" Hakerl verpassen (neben "imperativ" und noch vielen anderen).

"Wie funktional ist C++" ist klar eine Checkboxen-Frage (mit "analogen Checkboxen", hihi), die Antwort "gar nicht" wäre daher falsch.

"Ist C++ eine funktionale Programmiersprache" kann man aber sowohl als Schubladen-Frage als auch als Checkboxen-Frage verstehen.
Du, ipsec, hast sie wohl als Schubladen-Frage verstanden, und du, Zeus, vermutlich als Checkboxen-Frage.

[Zeus]

hustbaer schrieb:

@Zeus & ipsec:
Ich glaube hier liegt ein Misverständnis vor.

Ja, aber am Maßstab, wieviel funktionale Aspekte ein Programmiersprache spielt keine Rolle, sondern ihre Integration zum Paradigma. C#, D, F# und Scala sind funktional (als CheckBox-Frage). Bei C# und D versteh ich es nicht ^^.

[Tyr]

ipsec schrieb:

Wäre die Frage "ist C++ eine funktionale Programmiersprache", wäre die Antwort ganz klar nein.

Wie ihr alle Unrecht habt!
Die Antwort ist ganz klar ja:

<a href= schrieb:

C++-Artikel in Wikipedia">Paradigmen: Multiparadigmen (imperativ, strukturiert, objektorientiert, generisch, funktional)

</ironie>

hustbaer schrieb:

"Wie funktional ist C++" ist klar eine Checkboxen-Frage (mit "analogen Checkboxen", hihi), die Antwort "gar nicht" wäre daher falsch.

Gut. Und was ist die Antwort auf "Wie funktional ist Assembler"? C++-Code macht das gleiche wie Assemblercode, also ist Assembler funktional. Und Brainfuck? Analog dazu ebenfalls funktional. Du kannst das für jede Sprache machen, die nur turing-vollständig ist. Wenn du mir folgen konntest, dann sag mir: Gibt es eine turing-vollständige Sprache, die irgendein Programmierparadigma (das von einer anderen turing-vollständigen Sprache unterstützt wird) nicht erlaubt? Nein.

Das Problem ist, dass je nach dem, wie man den Begriff Paradigma versteht, eine andere Antwort herauskommt.

Wenn man das Wort so versteht, wie es in der englischen Wikipedia steht, ein fundamentaler Programmierstil, dann muss man sagen: C++ kann funktional sein, aber der Stil ist nicht fundamental in der Sprache verankert. Daher gehört in der Checkbox ein "gar nicht" hin und der Eintrag in der – wohlgemerkt deutschen – Wikipedia gehört raus.

[hustbaer]

@Zeus:
Tut mir leid, aber den Satz verstehe ich nicht

[knivil]

Tyr schrieb:

Die Antwort ist ganz klar ja:

<a href= schrieb:

C++-Artikel in Wikipedia">Paradigmen: Multiparadigmen (imperativ, strukturiert, objektorientiert, generisch, funktional)

Im englischen Artikel dazu ist das nicht vermerkt. Und er ueberrascht micht auf der deutschen Seite. Die Diskussion zu diesem Punkt laesst vermuten, dass funktional besser weggelassen werden sollte.

Leider macht sich kaum jemand ausser mir die Muehe darzustellen, was er unter funktional versteht. Ich beziehe mich der Einfachheit halber auf:

programming paradigm that treats computation as the evaluation of mathematical functions and avoids state and mutable data

Durch die Anlehnung an mathematische Funktionen kann ich den Wert eines Ausdrucks durch sukzessive Substitution ermitteln. In imperativen Sprachen wie C++ ist das nicht moeglich, da ich nur Befehle oder Instruktionen substituieren kann, aber der Wert eines Ausdrucks nur durch die Abarbeitung der Instruktionen ermittelt werden kann.

Gehen wir weiter zu map, filter und fold und schauen uns diese in C++ an: http://www.cplusplus.com/reference/std/numeric/accumulate/ . Zeile 5: Zuweisung, also Zustandsaenderung! Dabei haben wir die Sprachebene von C++ nicht verlassen. Zwar wird fuer map, filter und fold in funktionalen Sprachen wie SML sicher auch das Assembleraequivalent einer Schleife generiert, doch wird dabei die Sprachebene von SML verlassen. Grund dafuer ist die vorherrschende Rechnerachitektur.

Fazit: Auch wenn Closures oder funktionen hoeherer Ordnung Elemente der Sprache sind, heisst das noch lange nicht, dass die Sprache das funktionale Programmierparadigma unterstuetzt.

der/das Schild

An sowas habe ich auch schon gedacht und lasse mich gern belehren. Also der Kalkuel.

Es basiert nur oberflächlich darauf. Er hat sich inspirieren lassen, es aber nicht richtig umgesetzt.

Ich gebe dir recht. Lisp ist sowieso so eine Sache und wird von Lispern nicht als funktionale Sprache angesehen.

[Bashar]

knivil schrieb:

Im englischen Artikel dazu ist das nicht vermerkt.

Dann wirds aber Zeit.

[hustbaer]

Fazit: Auch wenn Closures oder funktionen hoeherer Ordnung Elemente der Sprache sind, heisst das noch lange nicht, dass die Sprache das funktionale Programmierparadigma unterstuetzt.

Natürlich unterstützt sie es.
Es ist nur in C++ wesentlich einfacher auszubrechen als in anderen funktionalen Sprachen.
Wenn man sich strikt nach "avoids state and mutable data" richtet, bleiben kaum mehr Sprachen übrig. Alle praktikablen funktionalen Sprachen erlauben das auf die eine oder andere Weise.

[ipsec]

Tyr schrieb:

C++-Code macht das gleiche wie Assemblercode, also ist Assembler funktional.

Das ist ja mal Quatsch. Beim Paradigma geht es doch nicht um die Mächtigkeit, sondern, ich wiederhole mich, um den Stil. Mit Assembler bekommt man keinen funktionalen Stil hin, mit C++ schon. Also unterstützt C++ das funktionale Programmierparadigma, aber da wie du sagtest dieses nicht fundamental in der Sprache verankert ist, ist C++ keine funktionale Programmiersprache.

knivil schrieb:

Gehen wir weiter zu map, filter und fold und schauen uns diese in C++ an: http://www.cplusplus.com/reference/std/numeric/accumulate/ . Zeile 5: Zuweisung, also Zustandsaenderung!

Na und? C++ erzwingt funktionale Programmierung nicht. Hier wäre eine funktionale Version von accumulate:

template <class InputIterator, class T>
   T accumulate ( InputIterator first, InputIterator last, T init )
{
    return first == last ? init : *first + accumulate(next(first), last, init);
}

next bekommst du wahrscheinlich allgemein nicht ohne Seiteneffekte hin, das liegt aber nicht an C++, sondern am Konzept der Iteratoren.

Die Rekursion natürlich auch das Problem des evntl. Stackoverflows, für den funktionalen Stil spielt das aber keine Rolle (das ist auch ein Kompromiss, den man in C++ eingehen muss, weshalb man nahezu immer die imperative Variante mit der Schleife wählen wird - aber wenn man will, kann man).

[Zeus]

ipsec schrieb:

Na und? C++ erzwingt funktionale Programmierung nicht. Hier wäre eine funktionale Version von accumulate:

template <class InputIterator, class T>
   T accumulate ( InputIterator first, InputIterator last, T init )
{
    return first == last ? init : *first + accumulate(next(first), last, init);
}

Also ist C++ funktional, weil in C++ StatementExpr unterstützt ? Ein anderen Sinn seh ich in diesen Beispiel nicht.

btw ich finds intressent dass die Leute sagen, C++ ist funktional dies anhand sehr konkreten Stellen machen während die es nicht, nur eine Leitsatz zu hand haben um dies zu entscheiden.

[ipsec]

Zeus schrieb:

ipsec schrieb:

Na und? C++ erzwingt funktionale Programmierung nicht. Hier wäre eine funktionale Version von accumulate:

template <class InputIterator, class T>
   T accumulate ( InputIterator first, InputIterator last, T init )
{
    return first == last ? init : *first + accumulate(next(first), last, init);
}

Also ist C++ funktional, weil in C++ StatementExpr unterstützt ? Ein anderen Sinn seh ich in diesen Beispiel nicht.

btw ich finds intressent dass die Leute sagen, C++ ist funktional dies anhand sehr konkreten Stellen machen während die es nicht, nur eine Leitsatz zu hand haben um dies zu entscheiden.

Der Sinn des Beispiels: nur weil auf c-plusplus.com/reference eine imperative Implementierung von accumulate steht, heißt das keineswegs, dass man es nicht auch funktional implementeiren kann.
Hast du irgendeinen Algorithmus, der in C++ nicht funktional zu implementieren geht?

[Zeus]

ipsec schrieb:

Hast du irgendeinen Algorithmus, der in C++ nicht funktional zu implementieren geht?

Du weiß ganz genau, dass wegen den nicht obligatorischen Tail-Recursion Optimierung die einfachsten mathematische Funktionen nicht portable genug sind um sie funktional implementiert bereitzustellen.

[ipsec]

Zeus schrieb:

ipsec schrieb:

Hast du irgendeinen Algorithmus, der in C++ nicht funktional zu implementieren geht?

Du weiß ganz genau, dass wegen den nicht obligatorischen Tail-Recursion Optimierung die einfachsten mathematische Funktionen nicht portable genug sind um sie funktional implementiert bereitzustellen.

Damit ist nur gesagt, dass es nicht sinnvoll ist, in C++ funktional zu programmieren (dem stimme ich auch zu), aber nicht, dass es nicht ginge.