オレンジが言うような、Adaが目指してる『型安全』って、何て言うのか未だわからない＞＜(認知工学的型安全？＞＜；)
(世の中の主流でありより学術的に数学視点での型安全はHaskellerが言う型安全？＞＜(？))