2012-01-26から1日間の記事一覧
追記:以下の記述は古くなっている。事前条件制約はすでに言語から取り除かれた。Rust 言語では関数に事前条件を指定することができる。 use std; // predicate pure fn is_even(x: int) -> bool { ret x % 2 == 0; } fn print_even_number(x: int) : is_eve…
追記:以下の記述は古くなっている。事前条件制約はすでに言語から取り除かれた。Rust 言語では関数に事前条件を指定することができる。 use std; // predicate pure fn is_even(x: int) -> bool { ret x % 2 == 0; } fn print_even_number(x: int) : is_eve…