Syntactic Salt (구문 소금) 개요 Syntactic Salt(구문 소금)는 소프트웨어 공학 및 프로그래밍 언어 설계 분야에서 사용되는 비유적 용어입니다. 이 개념은 프로그래머가 코드를 작성하거나 읽을 때 발생하는 인지적 부하(cognitive load)를 줄이고, 코드의 가독성(readability)과 유지 보수성(maintainability)…
검색 결과
"프로그래밍 언어 설계"에 대한 검색 결과 (총 6개)
PyPy 개요 PyPy는 파이썬 프로그래밍 언어의 대체 구현체 중 하나로, 성능 향상을 목적으로 설계된 자체 호환 파이썬 인터프리터입니다. 공식 파이썬 인터프리터인 CPython과 달리, PyPy는 JIT(Just-In-Time) 컴파일러를 내장하고 있어 동적 언어의 느린 실행 속도 문제를 크게 개선합니다. PyPy는 파이썬 2.7과 파이썬 3.x 버전을 …
Types and Programming Languages 개요 『Types and Programming Languages(이하 TAPL)』은 컴퓨터공학, 특히 프로그래밍 언어 이론과 형식 시스템(formal systems) 분야에서 가장 영향력 있는 학술 서적 중 하나이다. 저자인 벤자민 C. 피어스(Benjamin C. Pierce)는 펜실베이니아 대학교…
보존 정리 개요 보존 정리(Preservation Theorem), 또는 형식 보존(type preservation), 때때로 진전과 보존(Progress and Preservation)의 일부로 언급되는 개념은 프로그래밍 언어의 형식 시스템(타입 시스템)에서 매우 중요한 성질 중 하나입니다. 이 정리는 "형식이 지정된 프로그램이 한 단계 계산(evalua…
Types and Programming Languages 개요 《Types and Programming(이하 TAPL)는 벤자민 C. 파이어스(Benjamin C.)가 저술한로그래밍 언어론과 형식스템(formal type)에 관한 대표적인 교과서입니다. 이 책은 프로그래밍어의 설계, 구현 분석에 있어 타입 이론(type theory)의 기초를 깊이 있게 다…
Haskell Haskell은 함수형 프로그래밍어의 대표적인 예로, 수학적 함수의 개념을 바탕으로 프로그래을 수행하는 고급 언어. 190년에 설계 이래로 순수 함수형 프로그래밍, 게으른 평가(lazy evaluation), 정적 타입 시스템, 타입 추론 등 현대 프로그래밍 언어 연구에 큰 영향을 미친 언어로 평가받고 있습니다. 이 문서는 Haskell의 주…