时间戳

首页 > 解决方案 > 自己的数据类型 - 它们与本机数据类型之间的转换

haskell - 自己的数据类型 - 它们与本机数据类型之间的转换

问题描述

我需要为自然数的表示创建自己的数据类型。数据类型（预）定义如下。此外，我需要创建函数来在本机数据类型 Int 和给定的数据类型之间进行转换。我设法从 Int 转换为给定的，并检查我的 ZZ 数据类型是否为零。虽然我真的想不出一种方法来将零以外的任何东西转换回 Int。我希望你们能给我一个关于如何做到这一点的提示。

data IN_1 = One | Follower IN_1 deriving Show
data ZZ   = Zero | Plus IN_1 | Minus IN_1 deriving Show

type Zed = Int


from_Zed_to_ZZ :: Zed-> ZZ
from_Zed_to_ZZ x 
 | x == 0 = Zero
 | x > 0 = Plus (helper(x))
 | x < 0 = Minus (helper(abs(x)))

helper :: Zed -> IN_1
helper x 
 | x==1 = One
 | otherwise = Follower (helper(x-1))


instance Eq ZZ where
    (==) Zero Zero = True


from_ZZ_to_Zed :: ZZ -> Zed
from_ZZ_to_Zed x |x == Zero = 0

这些是我当前的测试用例： testcases

标签： haskellinstancetypeclasscustom-type

解决方案

“解包”包裹在代数数据类型中的值的方法是通过模式匹配。每个函数参数不仅仅是一个标识符，实际上是一个模式。模式可能只是一个标识符，但也可以是其他东西。特别是，可以将模式指定为数据构造函数名称（例如Plus），后跟一个或多个其他模式，一个用于该构造函数的每个参数。

在你的情况下：

from_ZZ_to_Zed :: ZZ -> Zed
from_ZZ_to_Zed Zero = 0
from_ZZ_to_Zed (Plus x) = ...
from_ZZ_to_Zed (Minus x) = ...

然后，要从IN_1to转换Zed，请使用类似于您实现方式的递归helper：

unhelper :: IN_1 -> Zed
unhelper One = 1
unhelper (Follower x) = unhelper x + 1

并将其用于Plus和Minus案例：

from_ZZ_to_Zed (Plus x) = unhelper x
from_ZZ_to_Zed (Minus x) = - (unhelper x)

推荐阅读