semigroup-second.md

문제

다음 세미그룹 예시는 법칙을 만족하나요?

import { Semigroup } from 'fp-ts/Semigroup'

/** 항상 두 번째 인자를 반환 */
const last = <A>(): Semigroup<A> => ({
  concat: (_first, second) => second
})

정답

만족합니다.

• first, second와 concat의 결과(second)는 모두 동일한 A 타입입니다.
• concat은 결합법칙을 만족합니다.
  • concat(concat(first, second), third)는 concat(second, third)로 평가된 다음 third로 평가됩니다.
  • concat(first, concat(second, third))는 concat(first, third)로 평가된 다음 third로 평가됩니다.