オレンジはC# の(静的型付けの範囲の)型システムの仕様でわりと満足してるし、これよりさらに好みのをってなるとたぶんAdaに＞＜