lethevert https://blog.hatena.ne.jp/lethevert/ lethevert is a programmer https://lethevert.hatenadiary.org/ プログラミング Types and Programming Languages (The MIT Press)のP.47あたりで、こんな関数定義があって、 let rec isval t = match t with TmTrue(_) -> true | TmFalse(_) -> true | t when isnumerical t -> true | _ -> false"when"って便利そうなキーワードだなーとかとぼけっと考えていたら、Cleanではもっと簡潔に書けるのだったということを思い出した。 で、走り書きしたテストコード。 g t = case t of A a | a > 0 = Tru… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Flethevert.hatenadiary.org%2Fentry%2F20060628%2Fp2" title="Concurrent Clean : パターンマッチとガード - lethevert is a programmer" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2006-06-28 00:00:02 rich https://lethevert.hatenadiary.org/entry/20060628/p2 1.0 100%