インターフェイスとコンセプトの違いについて

Question

インターフェイス/interfaceとコンセプト/conceptの違いについて教えてください。
Go言語ではこのサイトに従ってインターフェイスの使用例を実装してみると、

package main

import "fmt"

type Animal interface {
	Cry()
}

type Dog struct {}

type Cat struct {}

func (dog *Dog) Cry() {
	fmt.Println("わんわん")
}

func (cat *Cat) Cry() {
	fmt.Println("にゃーにゃー")
}

func letCry(animal Animal) {
	fmt.Println("鳴け！")
	animal.Cry()
}

func main() {
	dog := new(Dog)
	cat := new(Cat)
	letCry(dog)
	letCry(cat)
}

こんな感じになり、Nimではコンセプトという機能を使った例として、

type Animal = concept x
  cry(x)

type Dog = object

type Cat = object

proc cry(dog: Dog) =
  echo "わんわん"

proc cry(cat: Cat) =
  echo "にゃーにゃー"

proc letCry(animal: Animal) =
  echo "鳴け！"
  cry(animal)

let dog = Dog()
let cat = Cat()

letCry(dog)
letCry(cat)

このようになると思います。どちらも似たようなことをしていると思うのですが、ハッキリと別の言葉が使用されているあたり、何か違う概念に基づいているのだと思います。C++にもコンセプトという言葉があったり、Javaにもインターフェイスという言葉があると思いますが、具体的にどういう概念の違いなのでしょうか？

Answer 1

一般的には、インタフェース(interface)よりもコンセプト(concept)の方が広い概念を指すと考えられます。

Go言語のinterface型は、「ある型が提供するメソッドの集合」を規定します。

An interface type specifies a method set called its interface. A variable of interface type can store a value of any type with a method set that is any superset of the interface. Such a type is said to implement the interface.

Nim言語のconceptは、「ある型が満たすべき要求の集合」を規定します。この要件は、“その型があるシグネチャを持つメソッドを有する”というインタフェース相当のものや、“その型の変数を用いたある式が有効”という表現能力を持ちます。

Concepts, also known as "user-defined type classes", are used to specify an arbitrary set of requirements that the matched type must satisfy.

Java言語のinterface型は、その表現能力という点ではGo言語のそれと同等（メソッドの集合）です。良し悪しはさておき、「定数」を宣言することもできます。

C++言語ではインタフェース型は提供されませんが、クラス(class)と仮想メンバ関数(virtual member function)によって同等概念を実現できます。C++20で導入予定のC++言語conceptは、Nim言語のそれと同等で「ある型が満たすべき要求の集合」を表現します。

Comments

[yohhoy]

Nim言語の Concept はexperimental featuresのようですね（2019年11月現在）
https://nim-lang.org/docs/manual_experimental.html#concepts