Types and Programming Languages
Types and Programming Languages 개요 《Types and Programming(이하 TAPL)는 벤자민 C. 파이어스(Benjamin C.)가 저술한로그래밍 언어론과 형식스템(formal type)에 관한 대표적인 교과서입니다. 이 책은 프로그…
문서 목록 프로그래밍
총 211개 · 7/11 페이지while 문
while 문 개요while 문은 프래밍에서 반복 제어조의 하나로, 특정 조이 참(true)인 동안 코드 블록을 반복하는 데 사용됩니다. 조건은 각 반복 시작 전에 평가되며, 조건이 거짓(false)이 되면 반복이 종료됩니다. while 문은 반복 횟수가 사전 정해지지…
타겟 코드 생성
타겟 코드 생성 겟 코드 생성(Target Code Generation)은 컴파일러 핵심 단계 중 하나로, 소스 코드를 특정 하웨어 아키텍 또는 가상 머신에서 실행 가능한 기계어 코드 또는 저수준 코드로 변환하는 과정을 의미합니다. 이 단계는 일반적으로 중간 코드(In…
정적 타입 추론
정적 타입 추론 정적 타입 추론(Static Type Inference)은 프로그래밍 언어에서 변수나 표현식의 타입을 런타임이 아닌 컴파일 타임에 자동 결정하는 기법을 말합니다 이 기법은 프로그머가 타입을 명시하지 않아도, 코드의 구조와 사용 패턴을 분석하여 각 식별자…
유효성 검사
유효성 검사 개요 유효성 검(Validation)는 사용자 입력, 시스템 데이터, 또는 외부 제공된 정보가 사전에 정의된 규칙과 형식에 부합하는지를 확인하는 과정을 의미합니다. 특히 프로그래밍 분야에서 유효성 검사는 데이터 무결성 확보, 보안 강화, 사용자 경험 개선을…
C 확장 모듈
C 확장 모듈 언어는 고성능스템 프로그래밍의심 언어로, 운영체제, 임베디드 시스템, 드라이버 개발 등 다양한 분야에서 널리 사용됩니다. 그러나 고수준 언어(예: Python, Lua, Ruby)와 비교했을 때, C는 동적 기능이나 빠른 프로토타이핑에 한계가 있습니다. …
PyPy
PyPy PyPy는 파이썬 프로그래밍어의 대표적인 대 구현(alternative) 중 하나로, 성능 향상을 목적으로 설계된 오픈소스 프로젝트입니다. 공식 CPython 인터프리터와 호환되며, 특히 JIT(Just-In-Time) 컴파일러를 내장하고 있어 반복적인 작업이…
AggregateError
AggregateError Error는 ECMAScript 201(ECMA-62 12 Edition)에서 도입된 JavaScript의 내장 오류 객체로, 여러 개의 오류를의 오류 객체 통합하여 표현할 수 있도록 설계되었습니다. 주로 비동기 작업에서 여러 개의 프로미스가…
나눗셈 연산자
나눗셈 연산자 나눗셈 연산자는로그래밍 언어에서 두 수를 나누는 데 사용되는 산술 연산자의 일종으로, 주로 / 기호 표현됩니다. 이 연산 수학적 나눗셈을 프로그램 내에서 수행할 수 있게 하며, 다양한 데이터 타입과 언어별 특성에 따라 그 동작 방식이 다릅니다. 본 문서에…
음수 인덱스
음수 인덱스 개요 음수 인덱(Negative Indexing)는 프래밍에서 배열 리스트, 문자열과 같은 순차 자료구조(sequential data structures)의 요소에 접근할 때 마지막 요소부터 역순으로 위치를 지정하는 기법입니다. 일반적으로 인덱스는 0부터 …
mmap
mmap mmap은 유닉스 계열 운영체제(Unix-like OS)에서 제공하는 시스템 콜(system call)로, 파일이나 디바이스를 메모리에 매핑하여 프로세스가 파일을 마치 메모리 배열처럼 직접 접근할 수 있게 해주는 기술입니다. 이 기능은 파일 입출력 성능을 크게…
PIL
PIL PIL(Python Imaging Library)은 파이썬에서 이미지 처리를 위한 대표적인 라이브러리로, 다양한 이미지 형식을 읽고, 수정하며 저장할 수 있는 기능을 제공합니다. 원래는 1990년대 후반 Fredrik Lundh에 의해 개발되었으며, 현재는 유지…
FORTRAN 77
FORTRAN 7 개요 FORTRAN 7은 FORTRAN(mula slation의 약자) 계열의 프로그래밍어 중 하나로, 1978년에 공식적으로 미국국립표준협회(American National Standards, ANSI)에 의해 표준화된 버전. 공식 명칭은 ANSI …
Haskell
Haskell Haskell은 함수형 프로그래밍어의 대표적인 예로, 수학적 함수의 개념을 바탕으로 프로그래을 수행하는 고급 언어. 190년에 설계 이래로 순수 함수형 프로그래밍, 게으른 평가(lazy evaluation), 정적 타입 시스템, 타입 추론 등 현대 프로그…
콜백
콜백 개 콜백(Callback)은 프로그래밍에서 비동기를 구현하는 널리 사용되는 패 중 하나로, 특정 작업이료된 후 실행될 함수를 인자로 전달하여 나에 호출되도록 하는 기법입니다. 주 이벤트 기반 프로그래밍, 비동기 I/O, GUI 프로그래밍, 웹 개발 등에서 활용되며…
타입 추론
타입 추론 타입 추론(Type Inference)은 프로그래밍 언어의 타입 시스템에서, 변수나 표현식의 타입을 명시적으로 선언하지 않아도 그 값을 기반으로 자동으로 타입을 결정하는 기능입니다. 이는 코드의 가독성과 생산성을 높이면서도 정적 타입 시스템의 안정성과 오류 …
크로스 컴파일러
크로스 컴일러 요 크로스 컴파일러(Cross Compiler)는 한 종류의 컴퓨터 시스템(호스트 시스템)에서 실행지만, 다른 종류의스템(타겟 시스템) 실행 가능한 기계어 코드를 생성하는 컴파일러를 말합니다. 일반적인 컴파일러는 자신의 실행 환경과 동일한 아키텍처를 위한…
프로퍼티 디스크립터
프로퍼티스크립터 바스크립트(JavaScript)는 동적 언어로서 객체의 프로퍼티를 유연하게 조작할 수 있는 다양한 기능을 제공합니다. 그 중에서도 프로퍼티 디스크립터(Property Descriptor)는 객체의 프로퍼티 어떻게 동작하는지를 정의하는 핵심 개념입니다. …
정적 타입
정적 타입 개요 정적 타입(Static Typing)은 프로그래밍 언어 변수, 함수, 표현식 등의 타입(type)이 컴파일 타임(compile time)에 결정되고 검사되는 타입 시스템의 한 형태입니다. 이는 프로그램이 실행되기 전에 타입 오류를 미리 감지할 수 있도록…
세터
세터 (Setter) 개요 자바스크립트(JavaScript에서 세터(setter) 는 객체의 특정 속성에 값을 할당할 때, 그 값을 직접 저장하는 대신 사용자 정의 로직을 실행하도록 해주는 특수한 메서드입니다. 세터는 주로 객체의 속성에 값을 설정할 때 유효성 검사, …