มีวิธีในการประกาศสัญลักษณ์ใหม่อย่างปลอดภัยหรือไม่?

ฉันมักจะพบว่าตัวเองกำลังทดลองใน REPL และฉันจะพูดว่า:

subset Bar of Int where * %% 57;

จากนั้นฉันก็เล่นกับการตรวจสอบความถูกBarต้องของสิ่งต่าง ๆ สักเล็กน้อย

Barทุกอย่างมีความสุขจนฉันรู้ว่าฉันต้องการที่จะเปลี่ยนนิยามของ

หากฉันเพิ่งกำหนดใหม่Barฉันจะได้รับการRedeclaration of symbolยกเว้น

ฉันพยายามใช้MONKEY-TYPINGและaugmentชอบสิ่งนี้:

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

แต่นั่นทำให้ฉันเกิดข้อผิดพลาดเดียวกัน

ทำไมฉันต้องการสิ่งนี้ ดังนั้นฉันจึงสามารถทำซ้ำในคำจำกัดความชุดย่อย (หรือคลาสหรือสัญลักษณ์อื่น ๆ ) ของฉันในขณะที่นำการทดสอบที่ฉันได้พิมพ์ไปแล้วที่อยู่ในประวัติของฉันกลับมาใช้ใหม่

ฉันคิดว่า REPL ทำหน้าที่เป็นส่วนหนึ่งของเวทมนต์ของมันโดยการEVALป้อนข้อมูลใหม่แต่ละรายการในขอบเขตศัพท์ใหม่ที่ซ้อนกัน ดังนั้นหากคุณประกาศสิ่งต่าง ๆ ด้วยmyคุณสามารถเงาสิ่งเหล่านั้นด้วยการประกาศที่ป้อนในภายหลัง:

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;

หากคุณไม่ใช้จะใช้myสำหรับsubsetและclassการประกาศourและเนื่องจากourเป็นการmyเพิ่มสัญลักษณ์ลงในแพ็คเกจที่แนบ ... ปรากฎว่าคุณลบสัญลักษณ์ออกจากแพ็คเกจคุณสามารถเงาได้อีกครั้งในภายหลัง:

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

หมายเหตุ: ผลลัพธ์เหล่านี้มาจากการทดลองของฉันใน REPL ฉันไม่แน่ใจว่ามีผลข้างเคียงอื่น ๆ ที่ไม่รู้จักหรือไม่

REPLมีข้อบกพร่องของตน มันเป็นการสร้างEVALประโยคอย่างละเอียดที่พยายามทำงานร่วมกัน บางครั้งมันก็ไม่ได้ผล

ฉันเดาว่าสิ่งที่ดีที่สุดที่เราทำได้คือการแนะนำคำสั่ง REPL ที่จะทำให้มันลืมทุกอย่างที่ทำไปก่อนหน้านี้ ยินดีต้อนรับแพทช์! :-)