6260 notes: nominal typing, field update, requires, ensures,值与表达式 16 minute read Published: 2026-08-02