使用Haskell实现Python的基本数据类型

在Haskell中，可以使用自定义的数据类型来实现Python的基本数据类型。下面是使用Haskell实现Python的int、float、bool、str和list的示例：

1. int（整数）:

data Int = IntValue Integer

toInt :: Integer -> Int
toInt x = IntValue x

fromInt :: Int -> Integer
fromInt (IntValue x) = x

-- 使用示例：
x :: Int
x = toInt 10

y :: Int
y = toInt 5

result :: Int
result = toInt (fromInt x + fromInt y)

main :: IO ()
main = print (fromInt result)

2. float（浮点数）:

data Float = FloatValue Double

toFloat :: Double -> Float
toFloat x = FloatValue x

fromFloat :: Float -> Double
fromFloat (FloatValue x) = x

-- 使用示例：
x :: Float
x = toFloat 3.14

y :: Float
y = toFloat 2.71

result :: Float
result = toFloat (fromFloat x + fromFloat y)

main :: IO ()
main = print (fromFloat result)

3. bool（布尔值）:

data Bool = TrueValue | FalseValue

toBool :: Bool -> Bool
toBool x = x

fromBool :: Bool -> Bool
fromBool x = x

-- 使用示例：
x :: Bool
x = toBool True

y :: Bool
y = toBool False

andResult :: Bool
andResult = toBool (fromBool x && fromBool y)

orResult :: Bool
orResult = toBool (fromBool x || fromBool y)

main :: IO ()
main = do
    print (fromBool andResult)
    print (fromBool orResult)

4. str（字符串）：

data Str = StrValue String

toStr :: String -> Str
toStr x = StrValue x

fromStr :: Str -> String
fromStr (StrValue x) = x

-- 使用示例：
x :: Str
x = toStr "Hello"

y :: Str
y = toStr " World"

result :: Str
result = toStr (fromStr x ++ fromStr y)

main :: IO ()
main = print (fromStr result)

5. list（列表）：

data List a = EmptyList | Cons a (List a)

toList :: [a] -> List a
toList [] = EmptyList
toList (x:xs) = Cons x (toList xs)

fromList :: List a -> [a]
fromList EmptyList = []
fromList (Cons x xs) = x:fromList xs

-- 使用示例：
x :: List Int
x = toList [1, 2, 3]

y :: List Int
y = toList [4, 5]

result :: List Int
result = toList (fromList x ++ fromList y)

main :: IO ()
main = print (fromList result)

这些示例演示了如何在Haskell中定义并使用与Python的基本数据类型相对应的自定义数据类型。每个示例中都有一个转换函数（例如toBool和fromBool），用于在自定义类型和原始类型之间进行转换。还有一些示例展示了如何创建和操作自定义类型的值。

注意，这些示例只提供了基本的实现，并不考虑Python数据类型的所有细节。在实际使用中，可能需要更多的功能和操作来完全模拟Python的基本数据类型。