我正在编写代码，我正在为原始类型创建多个别名，例如， 地址和Id是int s。 我想避免将地址和ID一起使用，例如在算术运算中。 因此，我想对这些别名类型检查，这样可以得到以下结果： typedef int A;
typedef int B;
A f(A a) { return a+a; };
int main()
{
A a = 5;
B b = 5;
让我们假设我有两个具有相同的接口 class FirstChild : class Father
{
//some fields and methods useful for class A
}
class SecondChild : class Father
{
//some fields and methods useful for class B
}
后来
我有一些困难，找出为什么下面的代码不起作用。我期望，因为Command数据类型是ServerCommand或ClientCommand任何类型的构造函数，预计Command将能够接受一个或另一个。我似乎对这些数据类型应该如何排队有一个基本的误解。 data ClientCommand = SEND |
DISCONNECT |
CONNECT
data
学习Haskell的第一原则。 Haskell的绝对初学者。 如果： data A
data B
func :: A -> B
func = undefined
实际功能是什么？虽然锻炼负荷很大（也感谢你），但我再次卡住了。 A - > B是否表示两种不同的类型，如'字符串' - >'字符'？试图把我的头包裹起来。