Pattern synonymsの使い道 - maoeのブログもうすぐ出る出ると言われ続けて久しいGHC 7.8は、大きめの新機能がいくつも入る。そのうちの一つがpattern synonymsという言語拡張で、これまで第一級市民でなかったパターンを、再利用可能な部品として扱えるようにする仕組み。チケットが登録されてから3年越しに実現された。 参考資料としては 7.3. Syntactic extensions PatternSynonyms – GHC PatternSynonyms - ghc trac : haskell あたりを読むと良い。 先日たまたまpattern synonymsのよい使いどころに遭遇したので紹介する。きっかけは data List m a = Nil | Cons a (m (List m a))みたいなリストってどっかのパッケージにないのかな— Mitsutoshi Aoe/maoe (@ma0e) March 26
