Semigroup 으로 합성 모델링

semigroup 은 두 개 이상의 값을 조합하는 설계도입니다.

semigroup 은 대수 (algebra) 이며, 다음과 같은 조합으로 정의됩니다.

• 하나 이상의 집합
• 해당 집합에 대한 하나 이상의 연산
• 이전 연산에 대한 0개 이상의 법칙

대수학은 수학자들이 어떤 개념을 불필요한 모든 것을 제거한 가장 순수한 형태로 만드려는 방법입니다.

대수는 자신의 법칙에 따라 대수 그 자체로 정의되는 연산에 의해서만 변경이 허용된다.

(원문) When an algebra is modified the only allowed operations are those defined by the algebra itself according to its own laws

대수학은 인터페이스 의 추상화로 생각할 수 있습니다.

인터페이스는 자신의 법칙에 따라 인터페이스 그 자체로 정의되는 연산에 의해서만 변경이 허용된다.

(원문) When an interface is modified the only allowed operations are those defined by the interface itself according to its own laws

semigroups 에 대해 알아보기 전에, 첫 대수의 예인 magma 를 살펴봅시다.