2008-09-11から1日間の記事一覧
先日の勉強会で irrefutable patternが出てきたのでメモ。 仮引数のような必ず照合が成功するようなパターンのことを不可反駁 ( irrefutable )パターンといいます。反対に可反駁 ( refutable )パターンは照合が成功しない可能性があります。上であげた contr…
先日の勉強会で irrefutable patternが出てきたのでメモ。 仮引数のような必ず照合が成功するようなパターンのことを不可反駁 ( irrefutable )パターンといいます。反対に可反駁 ( refutable )パターンは照合が成功しない可能性があります。上であげた contr…