「プログラミング」と「論理」の世界には直接的な対応関係があり、 私たちが普段書いているSwiftにおいても例外ではありません。 例えば、論理の世界における命題「AかつB」はタプル型 `(A, B)` 、 「AならばB」は関数型 `A -> B` を使って書くことができます。 これらの型（命題）を組み合わせ、適用していくことで…