Category 는 여러가지 종류가 있고 그것은 모양과 크기로 나타난다. No Objects 개체가 없고 결과적으로 모피즘이 없는 범주 Simple Graphs 노드 상에서 가능한 모든 화살표를 그리는 것 Orders (순서, 정렬) a

참고 : https://bartoszmilewski.com/2014/11/24/types-and-functions/ 동적 type 보다 정적 type 이 좋은 이유 (컴파일 타임에 오류를 발견한다) Type 은 Composition 가능성에 관한 것이다. Category Theory 는 함수를 합성하는 것이다. 그러나 모든 함수를 합성할수 있는것은 아니다. 한 함수의 대상(return)개체는 다른 함수의 원본(parameter) 개체와 같아야 한다. Composition 이 작동하려면 이처럼 두 끝이 맞아야 한다. 언어의 type system 이 강할수록 이 일치를 더 잘 설명하고 기계적으로 확인할 수 있다. 유형을 다루는 것이 프로그래머에게 너무 많을 부담을 준다는 주장이 있지만 실제로 대부분의 컴파일..

참고 : https://bartoszmilewski.com/2014/11/04/category-the-essence-of-composition/ Category 는 개체와 개체 사이를 이동하는 화살표로 구성된다. Category 의 본질은 Composition 이다. 객체 A 에서 B 로의 화살표와 객체 B 에서 객체 C 로의 화살표가 있는 경우 A 에서 C 로 가는 화살표 (Composition) 가 있어야 한다. 함수로 표현해보자 (완전한 구현이 아닌 일종의 sudo code 라고 생각하자) B f(A a); // A 를 입력받아 B 를 return 하는 함수 C g(B b); // B 를 입력받아 C 를 return 하는 함수 위와 같은 함수를 Composition 하면 다음과 같다. C g_f(A..

Functional Programming 을 위한 여러가지 기법들 용어들이 있었다. 그러한 용어 및 기법들이 수학과 연관되어 있다는 것을 다들 알것이다. 물론 그러한 개념 들을 모른다고 해서 Functional Programming 을 할 수 없는 것은 아니지만 Functional Programming 의 대부분의 기법들이 서로 연관되어 있어 합성에 의해서 새로운 기능을 만들어 낼 수 있다는 것을 알게 된다면 이러한 원리에 기반이 되는 이론을 알게 된다면 개발에 더욱 도움이 될것이다. 다행스럽게도 이와 관련하여 정리해 놓은 좋은 이론들이 있고 앞으로 좀 긴 시간동안 이 부분에 집중하게 될것이다 이것을 프로그래머를 위한 Category Theory 라고 한다. 이부분의 창시자(??) 이자 전문가라고 할 수..