Schon jetzt an Perl 6 denken - #117306 (Raku / Perl 6)

murphy

2008-12-17 00:59

User since
2004-07-19
1776 Artikel
HausmeisterIn

@LanX: Ich gebe mal ein relativ sinnfreies Beispiel, das aber verdeutlicht, welches Problem man zu loesen versucht: Angenommen, wir wollen ein Makro haben, das von

Code: (dl )

1
2
3

foo {
  # benutzercode
}

Code: (dl )

do {
  my $tmp = new FooMatic::Object();
  $tmp->enter();
  # benutzercode
  $tmp->leave();
}

expandiert.

Ohne Hygiene ist es nun so, dass bei jedem Aufruf dieses Makros der eingebettete Benutzercode die Variable $tmp sieht, die ihn aber nichts angeht. Insbesondere schreibt eventuell ein ahnungsloser Programmierer, der den Quellcode des Makros nicht kennt, mal so etwas hin:

Code: (dl )

my $tmp = new MyOwnObject();
foo {
  $tmp->doSomething();
}

und wundert sich dann, warum er auf seine eigene lexikalische Variable $tmp nicht mehr zugreifen kann.

Man sieht also, dass das Problem, das durch lokale Variablen geloest wird, in Anwesenheit von Makros komplizierter wird, da Makros ja effektiv Code in andere Geltungsbereiche injizieren. Ein hygienisches Makrosystem wuerde mir nun aber erlauben, mein Makro foo ganz natuerlich hinzuschreiben, in Phantasiesyntax zum Beispiel als

Code: (dl )

macro { foo <block> } = {
  do {
    my $tmp = new FooMatic::Object();
    $tmp->enter();
    <block>;
    $tmp->leave();
  }
},

und die lokale Variable $tmp automatisch so umbenennen oder markieren, dass sie in der Expansion von <block> nicht sichtbar waere.

When C++ is your hammer, every problem looks like your thumb.