2010-05-12から1日間の記事一覧

Isabelle Tutorial その22

8. More about Typesこの章ではより高度な型の扱い方を紹介します。 8.1 Pairs and Tuples ペアやタプルは既に登場しましたが、ここではパターンマッチついて見てみます。 8.1.1 Pattern Matching with Tuples 変数を束縛するためのパターンとしてペアやタプ…