研發對動態型別程式語言裡自定義型別物件的不可變性質檢查之程式設計支援