今ッ!!1111Adaが熱いッ111111 なんと強い静的型付けでありながら実行時に型の検査を行う!!! こんな感じ procedure hoge is type Positive is new Integer range 1 .. Integer'Last; -- 型に対して取りうる値の制約をかけれるから -- Constant_Errorが実行時に投げられる!!! x : Positive := -1; begin null; -- nothing to do end hoge; スレッドをサポートし、Genericsまである!!!!1111なんと先進的!!!!!!1111 で、この間、友人(Perler)とこんな会話した。厳密にセリフは違うと思うけど大体こんな感じ。 私「ISOって言語の墓場だよな」 友人「最後のケツ持ちって感じ?」 私「そうそう。CとかC++とか」 ん?AdaってC