# Haskell Haskell은 함수형 프로그래밍어의 대표적인 예로, 수학적 함수의 개념을 바탕으로 프로그래을 수행하는 고급 언어. 190년에 설계 이래로 순수 함수형 프로그래밍, 게으른 평가(lazy evaluation), 정적 타입 시스템, 타입 추론 등 현대 프로그래밍 언어 연구에 큰 영향을 미친 언어로 평가받고 있습니다. 이 문서는 Haskell...

범주론 ## 개요 범주론(Category Theory)은 수학의 분야로, 다양한 수학적 구조와 그 사이의 관계를 추상적으로 다루는 이이다. 1940년대에 샘UEL 에일렌버그(Samuel Eilenberg와 새먼 매클레인(Saunders Mac Lane)에 의해 위상수학과 호몰로지 대수학의 개념을 일반하기 위해 도입되었으며 오늘날에는 수학 전반은 물론 컴...

# 타입 추론 타입 추론(Type Inference)은 프로그래밍 언어의 **타입 시스템**에서, 변수나 표현식의 타입을 **명시적으로 선언하지 않아도** 그 값을 기반으로 자동으로 타입을 결정하는 기능입니다. 이는 코드의 가독성과 생산성을 높이면서도 정적 타입 시스템의 안정성과 오류 검출 능력을 유지할 수 있도록 도와줍니다. 타입 추론은 주로 정적 타입...

# 복합함수 복합함수(複合函數, Composite Function)는 두 개 이상의 함수를 결합하여 만든 새로운 함수를 의미합니다. 수학, 특히 함수론에서 매우 개념으로, 함수의 출력값을 다른의 입력값으로 사용함으로써 함수 간의 관계를 표현하고 분석하는 데 핵심적인 역할을 합니다. 복합함수는 미적분학, 해석학, 선형대수학, 컴퓨터 과학 등 다양한 분야에서...

# 정적 타입 ## 개요 **정적 타입**(Static Typing)은 프로그래밍 언어 변수, 함수, 표현식 등의 타입(type)이 **컴파일 타임**(compile time)에 결정되고 검사되는 타입 시스템의 한 형태입니다. 이는 프로그램이 실행되기 전에 타입 오류를 미리 감지할 수 있도록 하여, 코드의 안정성과 유지보수성을 향상시키는 데 기여합니다....