현재까지는 마치 원칙처럼 머리를 지배하고 있는 생각이 있는데요.
함수형 프로그래밍을 차지하는 큰 줄기중 하나로,
조금 다르게 생긴 A
와 B
에 모두 대응하는 코드를 만들기 위해
**"인수 분해"**를 잘 해서,
A{ a, b, c, d }
와 B{ a, b, c', d }
로 보고, 이 중에서 다른 c
, c'
을 골라 내고
또, 이 걸 잘 인수 분해해서
c{ e }
와 c'{ f }
를 찾아 내고, 둘이 결국 닮은 구석이 없으면, 우겨서
c{ e, _ }
와 c'{ _, f }
로 자리를 만들고,
_
에 적절한 id
를 집어 넣어 결국, A
와 B
를 같은 류로 만든다
란 생각에서 맴돌고 있습니다.
누가 누가 그럴싸하게 잘 우기나, 포멀하게 우기나!