class - 弗雷格类(class)如何运作？

Question

似乎弗雷格关于类型类的想法与 Haskell 有很大不同。尤其:

语法似乎有所不同，没有明显的原因。

函数类型不能有类实例。 (似乎是一个相当奇怪的规则...)

语言规范说明了在子类实例声明中实现父类(super class)。 (但如果您有菱形继承(钻石问题)，则不会......这不会是错误，但不能保证以某种方式工作？)

Frege 对实例的外观不那么挑剔。 (允许使用类型别名，类型变量不需要不同等)

方法可以声明为 native ，尽管尚不完全清楚这是什么意思。

看来你可以写type.method访问方法。同样，没有说明这意味着什么或为什么有用。

子类声明可以为父类(super class)方法提供默认实现。 (?)

简而言之，如果知道这些东西的人可以写一个关于这些东西如何工作的解释，那将会很有用。它在语言规范中列出，但描述有点简洁。

(关于语法:我觉得 Haskell 的实例语法比较合乎逻辑。“如果 X 是 Y 和 Z 的实例，那么它也是 Q 的实例，方式如下……” Haskell 的类语法一直显得有点奇怪对我来说。如果 X 实现了 Eq ，这并不意味着它实现了 Ord ，这意味着它可以实现 Ord 如果它愿意的话。我不确定一个更好的符号会是什么...... )

根据英戈的回答:

我假设为父类(super class)方法提供默认实现仅在您“一次性”声明您的实例时才有效？

例如，假设 Foo是 Bar 的父类(super class).假设每个类有三个方法( foo1 、 foo2 、 foo3 、 bar1 、 bar2 、 bar3 )和 Bar为 foo1 提供默认实现.这应该意味着

实例吧 FB 在哪里
富二 = ...
foo3 = ...
酒吧1 = ...
酒吧2 = ...
酒吧3 = ...

应该管用。但这会起作用吗:

实例 Foo FB 在哪里
富二 = ...
foo3 = ...

实例吧 FB 在哪里
酒吧1 = ...
酒吧2 = ...
酒吧3 = ...

因此，如果我将方法声明为 native在类声明中，只设置该方法的默认实现？

所以如果我做类似的事情

类 Foobar f 在哪里
foo::f -> Int
本地富

酒吧::f -> 字符串
本地酒吧

那么这只是意味着如果我为某个 Java 原生类编写一个空实例声明，那么 foo映射到 object.foo()在 Java 中？

特别是，如果一个类方法被声明为 native ，如果我选择，我仍然可以为它提供一些其他实现吗？

每个类型 [constructor] 都是一个命名空间。我知道这对臭名昭著的命名字段问题有什么帮助。我不知道你为什么要在这个命名空间的范围内声明其他东西...

Answer 1

您似乎已经非常仔细地阅读了语言规范。伟大的。但是，不，类型类/实例与 Haskell 2010 没有本质区别。只是一点点，那一点是符号。

你的观点:

广告 1. 是的。规则是约束(如果有的话)附加到类型上，类名跟在关键字后面。但是当多参数类型类被添加到语言中时，这将很快改变，有利于 Haskell 语法。

ad 2. 同时全面支持函数类型。这将包含在下一个版本中。不过，当前版本仅支持 (a->b)。

广告 3. 是的。考虑我们的分类类层次结构 Functor -> Applicative -> Monad。您可以只编写以下内容而不是 3 个单独的实例:

instance Monad Foo where
    -- implementation of all methods that are due Monad, Applicative, Functor

广告 4. 是的，目前。但是，多参数类型类将会发生变化。语言规范建议遵守 Haskell 2010 规则。

ad 5. 如果您使用类型类对 Java 类层次结构建模，您将需要它。 native 函数声明对于类型类/实例没有什么特别之处。因为你可以在一个类中拥有一个注解和一个默认实现(就像在 Haskell 2010 中一样)，你可以以原生声明的形式拥有它，它给出 a)类型和 b)实现(通过引用Java 方法)。

广告 6. 这是正交性。正如你可以在 M 是一个模块的情况下编写 M.foo 一样，你可以在 T 是一个类型(构造函数)时编写 T.foo，因为两者都是命名空间。另外，如果你有“记录”，可能需要写 T.f x当弗雷格无法推断 x 的类型时.

foo x = x.a + x.b    -- this doesn't work, type of x is unknown
-- remedy 1: provide a type signature
foo :: Record -> Int  -- Record being some data type
-- remedy 2: access the field getter functions directly
foo x = Record.a x + Record.b x

ad 7. 是的，例如，Ord 在比较方面具有 (==) 的默认实现。因此，您可以在不实现 (==) 的情况下创建某事物的 Ord 实例。

希望这可以帮助。一般来说，必须说，语言规范需要 a) 完成和 b) 更新。如果只有一天有36个小时......

这里也讨论了句法问题: https://groups.google.com/forum/?fromgroups#!topic/frege-programming-language/2mCNWMVg5eY

- - 第二部分 - - - - - -

您的示例将不起作用，因为如果您定义 instance Foo FB那么无论其他实例和子类如何，这都必须成立。仅当不存在 Foo 实例时，才会使用 Bar 中的默认 foo1 方法。

then that just means that if I write an empty instance declaration for some Java native class, then foo maps to object.foo() in Java?

是的，但它取决于 native 声明，它不必是该 java 类的 Java 实例方法，也可以是静态方法或另一个类的方法，或者只是成员访问等。

In particular, if a class method is declared as native, I can still provide some other implementation for it if I choose to?

当然，就像任何其他默认类方法一样。假设默认类方法是使用模式防护实现的，这并不意味着您必须在实现中使用模式防护。

看，

native [pure] foo "javaspec" :: a -> b -> c

只是意味着:请给我一个frege函数 foo类型 a -> b -> c 恰好使用 javaspec 进行实现。 (具体应该如何在语言引用的第 6 章中描述。还没有完成。对不起。)
例如:

native pure int2long "(long)" :: Int -> Long

编译器将看到这在语法上是一个强制转换操作，当它看到时:

 ... int2long val ... 

它将生成java代码，如:

((long)(unbox(val))

除此之外，它还将制作一个包装器，以便您可以，例如:

map int2long [1,2,4]

关键是，如果我告诉你:有一个函数 X.Y.z，如果不查看源代码，你将无法判断这是原生函数还是常规函数。因此， native是将 Java 方法、运算符等提升到 Frege 领域的方法。实际上，在 Haskell 中称为“primOp”的所有内容都只是 Frege 中的 native 函数。例如，

pure native + :: Int -> Int -> Int

(当然，这并不总是那么容易。)

Every type [constructor] is a namespace. I get how that would be helpful for the infamous named fields problem. I'm not sure why you'd want to declare other things in the scope of this namespace...

它使您可以对顶级命名空间进行更多控制。除此之外，您不必在那里定义其他内容。一旦我致力于这种简单的方法来解决记录字段问题，我只是没有看到禁止它的理由。