Kurzschreibweise if-Verzweigung

zerm · 7. Juli 2010, 16:08

Amin Negm-Awad schrieb:

Ein Block ist ein Tupel des Codes mit seiner Umgebung. Sogar ganz ohne __block.

Deshalb sichert ein Block seine Umgebung.

Ja.
Ich habe inzwischen gesehen, dass Apple und LLVM selbst die Blocks "Closures" nennt. Ich finde das zwar immer noch nicht korrekt, im streng formalen Sinn, aber ich werde das wohl so hinnehmen müssen. Scheint auch relativ verbreitet zu sein, diese Unterscheidung nicht zu treffen.

Amin Negm-Awad · 7. Juli 2010, 16:18

Ich hatte dich auch schon einige Mal darum gebeten zu sagen, an welcher Voraussetzung du genau die Unterscheidung treffen möchtest. Bisher habe ich keine Antwort erhalten.

Wo hast du denn das Zitat? Ich konnte den Begriff in der Apple-Doku leider nicht finden.

zerm · 7. Juli 2010, 16:44

Amin Negm-Awad schrieb:

Ich hatte dich auch schon einige Mal darum gebeten zu sagen, an welcher Voraussetzung du genau die Unterscheidung treffen möchtest. Bisher habe ich keine Antwort erhalten.

Wo hast du denn das Zitat? Ich konnte den Begriff in der Apple-Doku leider nicht finden.

Unterscheidung? Keine upvalues, keine Closure. Aber irgendwo hast Du wahrscheinlich sogar recht...
[EDIT: Haskell trifft z.B. in der Doku die Unterscheidung: haskell.org/haskellwiki/Closure Dass Perl in der Doku diese Unterscheidung auch trifft, hatte ich schon ausgeführt. Genaus dass der Term "Closure" und das ganze Vorgehen erst aus der Problematik der Upvalues entstanden ist.]

Zitate:
Vorstellung von Blocks in Clang: lists.cs.uiuc.edu/pipermail/cfe-dev/2008-August/002670.html
Apple Proposal auf open-std: open-std.org/jtc1/sc22/wg14/www/docs/n1451.pdf

Amin Negm-Awad · 7. Juli 2010, 17:03

Wie gesagt: Eine leere Funktion ist auch eine Funktion. Sei's drum.

Ah, okay, ich meinte die "originäre" Apple-Doku zu Blocks. Ich wunderte mich schon, dass ich das nicht gesehen hatte, obwohl ich die mindestens fünf Mal gelesen hatte für das Buch.