# Cardano ## 개요 **Cardano**(카르다)는 첫 번 **학문적 연구 기반으로 설계된 오픈소스 블록체인 플랫폼**으로, 스마트 계약과 분산 애플리케이션(DApp)을 지원하는 탈중앙화된 블록체인 네트워크이다. 2015년에 설립되어 2017에 공식 출시된 Cardano는 찰스 호스킨슨(Charles Hoskinson)이 이더리움의 공동 창립자...

# `filter()` 함수 ## 개요 `filter()` 함수는 함수 프로그래밍에서 자주되는 **고차 함수**(-order function) 중로, 주어진건(판별 함수)을 만족 요소들만을 추출하여 새로운 반 가능한 객체를 반환 역할을 합니다. 이 함수는 데이터 처리, 리스트 조작, 조건 기반 필터링 등 다양한 상황에서 유용하게 활용되며, 코드의 가독성...

# 패턴 매칭 ##요 **패턴 매칭Pattern Matching)은로그래밍 언어에서 데이터의 구조나 형태를 기반으로 특정 조건을 확인하고, 일하는 경우 해당 구조에 맞 값을 추출하거나 처리를 분기하는 기법이다. 전통적인 조건문(`if`, `switch`)과 달리, 패턴 매칭은 데이터의 형태(형태, 타입, 값, 내부 구조 등)를 기준으로 분기 결정을 하며...

# 범주 ## 개요 **범주**(Category) **범주론**(Category Theory) 기본 구성 요소로,학의 다양한 구조와 그들 사이 관계를 추상적으로 다루는 데 사용되는 수학적 개념이다. 범주론은1940대에 샘UEL 에일렌버그(Samuel Eilen)와 손더스 매클레인(Saunders Mac Lane)에 의해 위상수학 호몰로지 이을 정리하기 ...

# 콜백 함수 ## 개요 **콜 함수**(Callback Function)는 프래밍에서 특정이 완료된 후에 자동으로 호출되는 함수를 의미합니다. 주로 비동기 처리, 이벤트 처리, 함수형 프로그래밍 패에서 널리 사용되며 특히 **웹 개발** 분야에서 자바스크립트(JavaScript)를 중심으로 매우 중요한 개념입니다. 콜 함수는 "함수를 인자로 전달하여,...

# 옵셔널 타입 ## 개요 **옵셔 타입**(Optional Type)은 프로그래밍 언어에서 값이 존재할 수도 있고, 존재하지 않을 수도 있는황을 명시적으로 표현하기 위한 타입스템의 한입니다. 이는 ``이나 `undefined와 같은 특수 허용하는 변수를 안전하고 명하게 다루기 설계 패턴으로 특히 정적 타입 언어에서 널 포인터 참조(null pointe...

Agda Agda는 함수형 프로그래밍 언어이자 **정형 증명기**(proof assistant)로, 수학적 정리의 형식적 증명과 소프트웨어의 정확성 검증을 위해 설계된 고급 언어입니다. Agda는 **의존 타입**(dependent types)을 지원하여, 프로그램의 구조와 논리적 성질을 타입 시스템에 직접 반영할 수 있어, 프로그램이 요구된 사양을 만족...

# 타입 이론타입 이론 Theory)은 프로그래밍 언어 수학 기초 이론에서 중요한 역할을 하는 학문 분야로, 데이터의 종류(타입를 체계적으로 정의하고, 이들 간의 관계와 연산의 유효성을 검증하는 이론적 기반을 제공합니다. 특히 프로그래밍 언 설계, 형식적 검증 컴파일러 개발, 함수형 프로그래밍 등에서 핵심적인 역할을 하며, 오류를 사전에 방지하고 코드의 안...

# Types and Programming Languages ## 개요 《**Types and Programming**(이하 *TAPL*)는 벤자민 C. 파이어스(Benjamin C.)가 저술한로그래밍 언어론과 형식스템(formal type)에 관한 대표적인 교과서입니다. 이 책은 프로그래밍어의 설계, 구현 분석에 있어 **타입 이론**(type the...

# 정적 타입 추론 정적 타입 추론(Static Type Inference)은 프로그래밍 언어에서 변수나 표현식의 타입을 **런타임이 아닌 컴파일 타임에 자동 결정하는 기법**을 말합니다 이 기법은 프로그머가 타입을 명시하지 않아도, 코드의 구조와 사용 패턴을 분석하여 각 식별자의 타입을 추론함으로써 타입 안정성과 코드결성을 동시에 달성할 수 있도록 도와...

# 필터 ## 개요 **필터**(Filter)는 처리 분야에서 특정 기에 따라 데이터를 선택, 제거 또는 변환하는 기능을 수행하는 기법이나 도구를 의미합니다. 소프트어 개발, 데이터 처리 과정에서 필터는 원시에서 불필요한 정보를 제거하거나 관심 있는 데이터만 추출하여 분석 효율 높이고, 시스템의 성능과 정확도를 개선하는 데 핵심적인 역할을 합니다. 필...

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

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

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

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

# 트레이트 () ## 개요 **트레이트**()는 객체지 프로그래밍과형 프로그래의 경계를나드는 고급 타입 시스템에서 중요한 개념으로, 특정 타입이 가져야 할 동작(메서드)이나 속성을 정의하는 추상적 인터페이스입니다. 트레이트는 단순한 인터페이스를 넘어서 재사용 가능한 코드 조각으로서의 기능도 수행하며, 다중 상속의 문제를 안전하게 해결하는 데 유용하게 ...

# Structured Streaming ## 개요 **Structured Streaming**은 아치 스파크(Apache Spark) 2.0 버전부터 도입된 고수준 스트리밍 처리 엔진으로, 실시간 데이터 스트림을 마치 정적 데이터를 다루는 것처럼 선언형 방식으로 처리할 수 있도록 설계되었습니다. 기존의 스파크 스트리밍(Spark Streaming)이 ...

# 텐서 ## 개요 **텐서**(Tensor)는 수학 및 컴퓨터 과학, 특히 머신러닝과 딥러닝 분야 핵심적인 개념, 다차원 배열 일반화한 수적 구조입니다 텐서는 스칼, 벡터,렬의 개념을 확장하여 N차원 데이터를 표현할 수 있으며, 현대 인공지능(AI) 시스템의 연산 기반을 이루는 중요한 **데이터 구조**입니다. 텐서는 주로 딥러닝 프레임워크(예: Te...

# 스코프 체인 JavaScript에서 **스코프 체인**(Scope Chain)은 변수와 함수를 참조할 때, 해당 식별자가 어디에 정의되어 있는지를 찾기 위해 사용하는 내부 메커니즘입니다. 이는 실행 컨텍스트(Execution Context)와 밀접하게 관련되어 있으며, 변수의 가시성과 접근 가능성을 결정하는 핵심 개념입니다. 스코프 체인은 코드의 실행...

# Immutable 객체 ## 개요 **Immutable 객체**(불변 객체)는 객체지향프로그래밍(OOP)에서 중요한 개념 중 하나로, 객체가 생성된 이후 그 내부 상태를 변경할 수 없는 객체를 의미합니다. 즉, Immutable 객체는 초기화된 후 어떤 메서드도 내부 데이터를 수정하지 않으며, 상태 변경이 필요한 경우 기존 객체를 수정하는 대신 **...