함자 (Functor) 1. 개요 함자(Functor)란 범주론(Category Theory)에서 하나의 범주에서 다른 범주로 구조를 보존하며 매핑하는 사상(Mapping)을 의미한다. 집합론에서 함수가 원소를 다른 원소로 대응시키듯, 함자는 범주의 구성 요소인 대상(Object)과 사상(Morphism)을 다른 범주의 대상과 사상으로 대응시키며, 그 과정…
검색 결과
"모나드"에 대한 검색 결과 (총 4개)
옵셔널 타입 개요 옵셔 타입(Optional Type)은 프로그래밍 언어에서 값이 존재할 수도 있고, 존재하지 않을 수도 있는황을 명시적으로 표현하기 위한 타입스템의 한입니다. 이는 이나 undefined와 같은 특수 허용하는 변수를 안전하고 명하게 다루기 설계 패턴으로 특히 정적 타입 언어에서 널 포인터 참조(null pointer dereference)…
범주론 개요 범주론(Category Theory)은 수학의 분야로, 다양한 수학적 구조와 그 사이의 관계를 추상적으로 다루는 이이다. 1940년대에 샘UEL 에일렌버그(Samuel Eilenberg와 새먼 매클레인(Saunders Mac Lane)에 의해 위상수학과 호몰로지 대수학의 개념을 일반하기 위해 도입되었으며 오늘날에는 수학 전반은 물론 컴퓨터 과학…
Haskell Haskell은 함수형 프로그래밍어의 대표적인 예로, 수학적 함수의 개념을 바탕으로 프로그래을 수행하는 고급 언어. 190년에 설계 이래로 순수 함수형 프로그래밍, 게으른 평가(lazy evaluation), 정적 타입 시스템, 타입 추론 등 현대 프로그래밍 언어 연구에 큰 영향을 미친 언어로 평가받고 있습니다. 이 문서는 Haskell의 주…