Functor

이전에 설명한 functor 글을 읽어보시면 더욱 도움이 됩니다.여기서도 샘플 코드는 kotlin으로 작성합니다.오류에 대한 정정이나 의견은 언제든지 환영합니다. Option 타입은 일반적으로 Some, None의 두 타입으로 정의됩니다.Some은 값이 존재할 경우의 타입이고 None은 값이 존재하지 않을 경우의 타입입니다.sealed class Option { data object None : Option() data class Some(val value: A) : Option} Java의 Optional은 위에서 적은 것과 같이 타입으로 구분되지 않고, isPresent(), isEmpty() 같은 함수를 통해 Some, None을 구분한다고 이해할 수 있습니다.val t = Optional.of..

kotlin이나 scala를 사용한다면 굉장히 익숙한 함수로 array나 list, map 등의 class에 구현되어 있는 map 함수가 있습니다.이 map 함수를 잘 몰라도 대강 내부 원소를 A 에서 B로 변환해주는구나 정도로 이해하고 사용해도 상관 없습니다만 이게 어떤 함수인지 알아야 더 잘 사용할 수 있으니 최대한 도움이 될 정도로 정리해보겠습니다.코드는 kotlin으로 작성할 예정이고 어떤 피드백이든 환영합니다.Functor와 map범주론에서 함자(函子, 영어: functor)는 두 범주 사이의 함수에 해당하는 구조로, 대상을 대상으로, 사상을 사상으로 대응시킨다. 함자는 작은 범주의 범주의 사상으로 볼 수 있다.- wikipediamap은 원래 카테고리 이론의 Functor 에서 유래된 함수입니..