# `filter()` 함수 ## 개요 `filter()` 함수는 함수 프로그래밍에서 자주되는 **고차 함수**(-order function) 중로, 주어진건(판별 함수)을 만족 요소들만을 추출하여 새로운 반 가능한 객체를 반환 역할을 합니다. 이 함수는 데이터 처리, 리스트 조작, 조건 기반 필터링 등 다양한 상황에서 유용하게 활용되며, 코드의 가독성...
검색 결과
검색어를 입력하세요.
# 패턴 매칭 ##요 **패턴 매칭Pattern Matching)은로그래밍 언어에서 데이터의 구조나 형태를 기반으로 특정 조건을 확인하고, 일하는 경우 해당 구조에 맞 값을 추출하거나 처리를 분기하는 기법이다. 전통적인 조건문(`if`, `switch`)과 달리, 패턴 매칭은 데이터의 형태(형태, 타입, 값, 내부 구조 등)를 기준으로 분기 결정을 하며...
# 타입 이론타입 이론 Theory)은 프로그래밍 언어 수학 기초 이론에서 중요한 역할을 하는 학문 분야로, 데이터의 종류(타입를 체계적으로 정의하고, 이들 간의 관계와 연산의 유효성을 검증하는 이론적 기반을 제공합니다. 특히 프로그래밍 언 설계, 형식적 검증 컴파일러 개발, 함수형 프로그래밍 등에서 핵심적인 역할을 하며, 오류를 사전에 방지하고 코드의 안...
# Types and Programming Languages ## 개요 《**Types and Programming**(이하 *TAPL*)는 벤자민 C. 파이어스(Benjamin C.)가 저술한로그래밍 언어론과 형식스템(formal type)에 관한 대표적인 교과서입니다. 이 책은 프로그래밍어의 설계, 구현 분석에 있어 **타입 이론**(type the...
# Haskell Haskell은 함수형 프로그래밍어의 대표적인 예로, 수학적 함수의 개념을 바탕으로 프로그래을 수행하는 고급 언어. 190년에 설계 이래로 순수 함수형 프로그래밍, 게으른 평가(lazy evaluation), 정적 타입 시스템, 타입 추론 등 현대 프로그래밍 언어 연구에 큰 영향을 미친 언어로 평가받고 있습니다. 이 문서는 Haskell...
# 클로저 **클로저**(Closure)는 프로그래밍 언어에서 함수가 자신이 정의된 환경(스코프)의 변수를 기억하고 접근할 수 있도록 하는 중요한 소프트웨어 설계 개념이다. 특히 함수형 프로그래밍과 자바스크립트와 같은 동적 언어에서 핵심적인 역할을 하며, 캡슐화, 데이터 은닉, 콜백 함수 구현 등 다양한 설계 패턴에 활용된다. 클로저는 단순한 문법적 기...
# JavaScript 일급 함수 ## 개요 JavaScript에서 **일급 함수**(First-class Function)는 함수가 프로그래밍 언어의 기본 자료형으로 취급되는 특성을 의미합니다. 이는 함수를 변수에 할당하거나, 다른 함수의 인자로 전달하거나, 함수에서 반환할 수 있는 기능을 포함합니다. 이러한 특성 덕분에 JavaScript는 함수형 프...