ヤルキデナイズド

Unclassified Articles on Software and IT

2012-01-26から1日間の記事一覧

Rust 言語の事前条件制約

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