評価4: 型システムの実践 - 評価基準

評価の目的

この評価では、学生がZigの型システムの実践的な活用能力、特に安全な型変換、オプショナル型の使用、ユニオン型の理解を確認します。型安全性はZigプログラミングの核心です。

学習目標

• 安全な型変換を実装できる
• オプショナル型を適切に使用できる
• ユニオン型とタグ付きユニオンを理解し活用できる
• 型パラメータを使ったジェネリック関数を作成できる
• エラーハンドリングと型システムを統合できる

評価項目

1. 型変換ユーティリティ（20点）

実装チェックポイント:

fn safeCast(comptime T: type, value: i64) ?T {
    const min = std.math.minInt(T);
    const max = std.math.maxInt(T);
    if (value < min or value > max) return null;
    return @intCast(value);
}

fn parseInteger(comptime T: type, str: []const u8) !T {
    return try std.fmt.parseInt(T, str, 10);
}

fn integerToString(allocator: std.mem.Allocator, value: i64) ![]u8 {
    return try std.fmt.allocPrint(allocator, "{}", .{value});
}

2. オプショナル型の活用（20点）

評価ポイント:

fn findIndex(comptime T: type, array: []const T, target: T) ?usize {
    for (array, 0..) |item, i| {
        if (item == target) return i;
    }
    return null;
}

fn maxValue(comptime T: type, array: []const T) ?T {
    if (array.len == 0) return null;
    var max = array[0];
    for (array[1..]) |item| {
        if (item > max) max = item;
    }
    return max;
}

3. ユニオン型とタグ付きユニオン（20点）

実装例:

const Result = union(enum) {
    success: i32,
    error_msg: []const u8,

    pub fn isSuccess(self: Result) bool {
        return switch (self) {
            .success => true,
            .error_msg => false,
        };
    }
};

4. ジェネリック関数（20点）

ボーナス課題の評価

Bonus 1: 高度なオプショナル操作（15点）

Bonus 2: カスタムアロケータ（20点）

Bonus 3: 型レベルプログラミング（15点）

Bonus 4: パフォーマンス比較（20点）

評価チェックリスト

マンダトリー要件

• [ ] Part 1の4つの関数すべてが動作する
• [ ] safeCastで範囲チェックが実装されている
• [ ] Part 2のオプショナル型関数が正しくnullを返す
• [ ] Part 3のユニオン型が適切に定義されている
• [ ] Part 3でswitch文による網羅的なパターンマッチング
• [ ] Part 4のジェネリック関数が複数の型で動作する
• [ ] メモリリークがない
• [ ] エラー処理が適切
• [ ] コンパイルエラーなく動作

コード品質

• [ ] 型注釈が適切
• [ ] allocatorの使用とdeferによる解放
• [ ] エラーメッセージがわかりやすい
• [ ] 変数名が意味を持つ

ボーナス要件

• [ ] Bonus 1: 複数の高度なオプショナル操作
• [ ] Bonus 2: カスタムアロケータの実装
• [ ] Bonus 3: 型レベルプログラミングの活用
• [ ] Bonus 4: ベンチマークと分析

合格基準

レベル	点数	説明
**優秀**	90-100点	型システムを完全に理解し、高度な機能を活用できる
**良好**	80-89点	基本的な型操作ができ、一部の高度な機能を使用
**合格**	70-79点	型の基礎を理解し、基本的な実装ができる
**要再提出**	0-69点	型システムの理解が不十分、復習が必要

学習の手引き

効果的な学習方法

• オプショナル型の理解

• ユニオン型の活用

• ジェネリックプログラミング

よくある間違いと対策

間違い1: オプショナルのアンラップ忘れ

// ❌ 間違い
const value: ?i32 = findValue();
print("{}", .{value});  // エラー: オプショナル型

// ✅ 正しい
if (findValue()) |value| {
    print("{}", .{value});
}

間違い2: ユニオン型のタグ不一致

// ❌ 間違い
const result = Result{ .success = 42 };
const msg = result.error_msg;  // パニック！

// ✅ 正しい
switch (result) {
    .success => |val| print("{}", .{val}),
    .error_msg => |msg| print("{s}", .{msg}),
}

時間配分の目安

• Part 1: 3-4時間
• Part 2: 3-4時間
• Part 3: 3-4時間
• Part 4: 3-4時間
• ボーナス: 8-12時間

合計: 12-16時間（マンダトリー）、20-28時間（ボーナス込み）

参考資料

• Zig Language Reference - Optional Type: https://ziglang.org/documentation/master/#Optional-Type
• Zig Language Reference - Tagged Union: https://ziglang.org/documentation/master/#Tagged-union
• Zig Standard Library - mem: https://ziglang.org/documentation/master/std/#std.mem
• Zig Learn - Chapter 1: https://ziglearn.org/chapter-1/