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

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

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

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