日々の流転

λ. ゆで卵だと思って割ったら

ゆで卵だと思って割ったら、温泉卵だった。しょぼーん。勢い良く回転するのも確認したのに……

λ. 頭の体操: 3引数flip

現実逃避にやってみる。当たり前だけど、({id,flip31,flip32,flip33,flip34,flip35}, (.), id)は群をなし、{a,b,c}上の置換群と同型。

flip31 :: (a -> b -> c -> d) -> (a -> c -> b -> d)
flip31 = map flip
  where
    map :: (x -> y) -> ((z -> x) -> (z -> y))
    map = (.)

flip32 :: (a -> b -> c -> d) -> (b -> a -> c -> d)
flip32 = flip

flip33 :: (a -> b -> c -> d) -> (b -> c -> a -> d)
flip33 = flip31 . flip32

flip34 :: (a -> b -> c -> d) -> (c -> a -> b -> d)
flip34 = flip32 . flip31

flip35 :: (a -> b -> c -> d) -> (c -> b -> a -> d)
flip35 = flip32 . flip33