センタイギアはおよそ128年間展開し続けられることを証明した。

Main.hs

#!/usr/bin/env stack
-- stack script --resolver lts-18.26

-- | 詳細は　https://twitter.com/takoeight0821/status/1501899867249000448
module Main where

import Data.Foldable
import Data.IORef
import Data.List
import Data.List.HT

alls = [[a, b, c, d, e, f, g, h] | a <- "0123", b <- "0123", c <- "0123", d <- "0123", e <- "0123", f <- "0123", g <- "0123", h <- "0123"]

valids = nubBy (\word1 word2 -> word2 `elem` [rotate n word1 | n <- [0 .. 7]]) alls

main = do
  count <- newIORef (0 :: Int)
  traverse_ (\valid -> modifyIORef count (+ 1) >> putStrLn valid) valids
  print =<< readIORef count