在haskell中实现统一算法

-- 定义统一类型
data Uni a b = Uni {
    toUni :: a -> b,
    fromUni :: b -> a
}

-- 定义统一算法
uniAlg :: Uni a b -> a -> b
uniAlg (Uni f _) = f

-- 示例：将整数转换为字符串
intToString :: Uni Int String
intToString = Uni show read

-- 示例：将字符串转换为整数
stringToInt :: Uni String Int
stringToInt = Uni read show

-- 示例：将浮点数转换为字符串
floatToString :: Uni Float String
floatToString = Uni show read

-- 示例：将字符串转换为浮点数
stringToFloat :: Uni String Float
stringToFloat = Uni read show

-- 示例：将整数转换为浮点数
intToFloat :: Uni Int Float
intToFloat = Uni fromIntegral fromInteger

-- 示例：将浮点数转换为整数
floatToInt :: Uni Float Int
floatToInt = Uni round fromIntegral

-- 示例：将字符串转换为整数，再将整数转换为浮点数
stringToFloat' :: Uni String Float
stringToFloat' = uniAlg stringToInt `uniCompose` uniAlg intToFloat

-- 示例：将浮点数转换为整数，再将整数转换为字符串
floatToString' :: Uni Float String
floatToString' = uniAlg floatToInt `uniCompose` uniAlg intToString

-- 定义统一算法组合
uniCompose :: Uni b c -> Uni a b -> Uni a c
uniCompose (Uni f g) (Uni h i) = Uni (f . h) (i . g)