我想在我的应用程序中对4种方向建模:右,左,上和下。但是,我希望能够有一个仅对变量使用水平函数而对其他变量使用垂直函数的函数。
为了解决这个问题,我可以使用两种类型:HorizontalDirection和VerticalDirection:
data HorizontalDirection = RightDir | LeftDir
data VerticalDirection = UpDir | DownDir
foo :: HorizontalDirection -> VerticalDirection -> String
foo hDir vDir = "This works"
但是,我也希望能够有一个可以同时使用一种类型和另一种类型的函数,如下所示:
bar :: Direction -> String
bar (HorizontalDirection _) = "Horizontal!"
bar (VerticalDirection _) = "Vertical!"
但这是行不通的,因为HorizontalDirection和VerticalDirection都不是数据构造函数。
我知道我可以使用Either并使其正常工作,如下所示:
bar :: (Either HorizontalDirection VerticalDirection) -> String
bar (Left _) = "Horizontal!"
bar (Right _) = "Vertical!"
但是,我想知道是否可以在没有Either类型的情况下执行此操作。
我也尝试使用类型类:
data HorizontalDirection = RightDir | LeftDir
data VerticalDirection = UpDir | DownDir
class Direction a
instance Direction HorizontalDirection
instance Direction VerticalDirection
baz :: Direction d => d -> String
baz RightDir = "Horizontal"
但这给了我下面的编译器错误:
Direction.hs:21:5: error:
• Couldn't match expected type ‘d’
with actual type ‘HorizontalDirection’
‘d’ is a rigid type variable bound by
the type signature for:
baz :: forall d. Direction d => d -> String
at Direction.hs:20:1-33
• In the pattern: RightDir
In an equation for ‘baz’: baz RightDir = "Horizontal"
• Relevant bindings include
baz :: d -> String (bound at Direction.hs:21:1)
我的思维方式在这里完全错误吗?还是我只是想念一些东西?
最佳答案
您可以使用更有意义的名称声明新的数据类型,而不是使用Either
。
data Direction
= Horizontal HorizontalDirection
| Vertical VerticalDirection
bar :: Direction -> String
bar (Horizontal _) = "Horizontal!"
bar (Vertical _) = "Vertical!"
关于haskell - Haskell的两级类型层次结构,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/59162943/