ヤルキデナイズド

Unclassified Articles on Software and IT

2012-01-01から1ヶ月間の記事一覧

Rust 言語の組み込みテスト機構

Rust 言語はコードにテストを埋め込める。test 属性つきの関数がテストケースとなり、 関数が fail するかどうかチェックされる。 fail を期待するときは should_fail 属性を追加する。 // test.rs use std; #[test] fn test_equality() { assert 42 == 42; …

Rust 言語のインターフェース

追記:以下の記述は古くなっている。インターフェースはすでに言語から取り除かれた。Rust 言語のインターフェースは、ある型の値に適用できる関数のセットを定義するもの。 iface prettifier { fn to_pretty_str() -> str; }ある型についてインターフェース…

Rust 言語の事前条件制約

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