'correspond' 类型的结构的 C++ 模式是否可以在 Haskell 中模拟（模板专业化）？

Question

template <typename T>
struct Corresponding;

template <>
struct Corresponding<int> {
    using CorrespondingT = boost::multiprecison::cpp_int;
};
template <typename T> using GetCorresponding = typename Corresponding<T>::CorrespondingT;

这可以用作

static_assert(std::is_same_v<GetCorresponding<int>, boost::multiprecision::cpp_int>); // true

其中 Corresponding<T> 是包含具有相应类型 T 的别名的结构，在编译时解析。另一个例子是 std::remove_ptr_t<T*> 对应于 T

我可以在 Haskell 中做类似的事情吗，例如

iAmAnInteger :: getCorresponding Int -- Integer

?

我不熟悉 Haskell 的编译时类型功能，但这可能吗？

Answer 1

我不精通 C++，所以我不能 100% 确定您的示例代码在做什么，但乍一看类型族和等式似乎很相似。

{-# LANGUAGE TypeFamilies #-}

type family Corresponding a
type instance Corresponding Int = Integer

foo :: Corresponding Int ~ Integer => ()
foo = () -- compiles

bar :: Corresponding Int ~ Bool => ()
bar = () -- type error at any use site

baz :: Corresponding Int
baz = toInteger 3 -- compiles

quux :: Corresponding Int
quux = False -- type error

'correspond' 类型的结构的 C++ 模式是否可以在 Haskell 中模拟（模板专业化）？

Can C++ pattern of making structs to 'correspond' types be emulated in Haskell (template specialization)?

c++

haskell

static-typing

compile-time

template-specialization