Pocket7878_dev https://blog.hatena.ne.jp/Pocket7878_dev/ Let's write β https://tech-blog.pocket7878.com/ Haskell 複数の置換を合成したりしたい場面がありました。 symm.hs module Symm(Symmetric(Symm),clean) where import Data.List import Data.Monoid data Symmetric a = Symm [(a,a)] deriving (Show,Eq) conc :: Eq a => [(a, a)] -> [(a, a)] -> [(a, a)] conc as [] = as conc [] bs = bs conc (a@(f,t):as) bs = a':conc as restBs where a' = conc' a… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftech-blog.pocket7878.com%2Fentry%2F2013%2F05%2F14%2F004047" title="置換の合成 - Let&#39;s write β" 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 2013-05-14 00:40:47 rich https://tech-blog.pocket7878.com/entry/2013/05/14/004047 1.0 100%