Bir sembolü güvenli bir şekilde yeniden tanımlamanın bir yolu var mı?

Sık sık kendimi REPL denemede buluyorum ve şöyle bir şey söyleyeceğim:

subset Bar of Int where * %% 57;

Sonra Barbir şeyler için -ness üzerinde kontrol ile oynamak .

Tanımını değiştirmek istediğimi anlayana kadar her şey mutlu Bar.

Sadece yeniden tanımlıyorsam Bar, bir Redeclaration of symbolistisna alıyorum .

Kullanmayı denedim MONKEY-TYPINGve augmentböyle:

use MONKEY-TYPING;
augment subset Bar of Int where * %% 37;

Ama bu bana aynı hatayı getirdi.

Bunu neden istiyorum? Bu yüzden benim geçmişimde yazmış olduğum testleri tekrar kullanırken alt kümem (veya sınıf veya başka bir sembol) tanımlarımı tekrarlayabilirim.

Bence REPL EVALher yeni girdiyi yeni bir iç içe sözcüksel kapsamda büyüler . Yani, bir şeyler beyan myederseniz, daha sonra girilen beyanlarla gölgeleyebilirsiniz:

my subset Bar of Int where * %% 57;
sub take-Bar(Bar $n) { say "$n is Bar" }
take-Bar 57;

my subset Bar of Int where * %% 42;
sub take-Bar(Bar $n) { say "$n is Bar" }
take-Bar 42;

Atlarsanız my, o zaman subsetve classbildirimler ourkullanılır, çünkü ouraslında my+ ekteki pakete sembol eklenir ...; sembolü paketten silerseniz, daha sonra tekrar gölgeleyebilirsiniz:

subset Bar of Int where * %% 57;
GLOBAL::<Bar>:delete;
subset Bar of Int where * %% 42;
42 ~~ Bar;

NOT: Bu sonuçlar sadece REPL'deki deneylerimden alınmıştır. Başka bilinmeyen yan etkiler olup olmadığından emin değilim.

REPLEksiklikleri vardır. EVALBirlikte çalışmaya çalışan ayrıntılı bir açıklama yapısıdır . Bazen bu işe yaramaz.

Sanırım yapabileceğimiz en iyi şey, daha önce yaptığı her şeyi unutmasını sağlayacak bir REPL komutu sunmaktır. Yamalar hoş geldiniz! :-)