זה כן רעיון של פולימורפיזם
ב-C. תראה, הפונקציה עם כל הפרמטרים משמשת כ-CONSTRUCTOR. הם ניסו להראות שאפשר לעשות את זה עם כל פונקציה אחרת, בתנאי שתגדיר אותה בתוך ה-STRUCT. לדוגמה, אם תגדיר STRUCT חדש מסוג STRING_FIELD:
struct StringField { Field f; }; StringField_Update(...) { ... } StringField_construct(.....) { p->f.Field_construct(,StringField_Update...) }
אז קיבלת טיפוס FIELD חדש, שכאשר קוראים לפונקציית ה-UPDATE שלו, מופעל משהו אחר לגמרי.