제네릭 타입 (Generic Type) 제네릭 타입(Generic Type)이란 클래스나 메서드에서 사용할 내부 데이터 타입을 컴파일 시점에 미리 지정하지 않고, 객체를 생성하거나 메서드를 호출할 때 외부에서 타입을 파라미터로 전달받아 결정하는 일반화된 타입을 의미한다. 본 문서는 일반적인 제네릭의 개념을 설명하며, 예제 코드는 Java 언어를 중심으로 작…
검색 결과
"제네릭"에 대한 검색 결과 (총 25개)
Medicines Patent Pool (MPP) Medicines Patent Pool(MPP)은 저소득 및 중소득 국가(Low- and Middle-Income Countries, 이하 LMICs)의 필수 의약품 접근성을 높이기 위해 특허 보유자와 제네릭 제조사 사이의 라이선스 체결을 중개하는 UN 지원 공익 법인(UN-backed public heal…
재사용성 (Reusability) 1. 개요 재사용성(Reusability)이란 소프트웨어 공학에서 이미 개발된 코드, 모듈, 설계 또는 문서 등의 자산을 새로운 시스템이나 동일 시스템의 다른 부분에서 수정 없이 또는 최소한의 수정만으로 다시 사용할 수 있는 '능력(Capability)'이자, 이를 통해 개발 효율을 높이는 '실천 방식(Practice)'을…
객체 지향 인터페이스 개요 객체 지향 인터페이스Object-Oriented Interface)는 객체 지 프로그래밍(OOP, Object-Oed Programming)에서가 제공하는 기능의 외부와의 연결점을 의미합니다. 이는 클래스가 외부에 공개하는 메서드와 속성의 집합으로, 다른 객체나 모듈이 해당 클래스를 사용할 수 있도록 정의된 계약(contract)…
메서드 오버로딩 (Method Overloading) 1. 개요 메서드 오버로딩(Method Overloading)이란 동일한 이름의 메서드를 매개변수의 타입이나 개수를 다르게 하여 여러 개 정의하는 객체지향 프로그래밍의 다형성(Polymorphism) 구현 기법이다. 이 기법의 핵심 목적은 '동일한 기능을 수행하지만 입력 데이터의 형태가 다른 경우'에 대…
Scala 1. 개요 Scala는 강력한 타입 시스템(Strongly Typed)을 기반으로 객체지향 프로그래밍(OOP)과 함수형 프로그래밍(FP)의 특성을 하나로 통합한 정적 타입의 고수준 프로그래밍 언어이다. 이름은 'Scalable Language'의 약자로, 작은 스크립트부터 대규모 엔터프라이즈 시스템까지 확장 가능한 언어를 지향한다는 의미를 담고 …
TypeScript 1. 개요 TypeScript는 마이크로소프트(Microsoft)에서 개발한 오픈 소스 프로그래밍 언어로, 자바스크립트(JavaScript)에 정적 타이핑(Static Typing) 기능을 추가한 정적 타입(Statically Typed)의 상위 집합(Superset) 언어입니다. TypeScript의 핵심 철학은 자바스크립트의 유연함을…
타입 안정성 (Type Safety) 타입 안정성(Type Safety)이란 프로그래밍 언어에서 변수나 표현식이 정의된 타입(Type, 데이터의 종류)에 맞지 않는 방식으로 사용되는 것을 방지하여, 예상치 못한 동작이나 메모리 오염을 막는 성질을 의미한다. 즉, 프로그램이 타입 시스템의 규칙을 위반하는 상태(Type Error)에 빠지지 않음을 보장하는 정…
래퍼 클래스 (Wrapper Class) 1. 개요 래퍼 클래스(Wrapper Class)란 Java의 8가지 기본 타입(Primitive Type) 데이터를 객체로 다루기 위해 이를 '감싸는(Wrap)' 형태의 클래스를 의미합니다. Java는 성능 향상을 위해 스택(Stack) 영역에 값을 직접 저장하는 기본 타입을 제공하지만, 객체 지향 언어로서의 특성…
절차형 API (Procedural API) 개요 절차형 API(Procedural API)는 객체 지향 프로그래밍(OOP)의 대안으로, 함수 호출을 통해 소프트웨어의 기능을 노출하고 제어하는 프로그래밍 인터페이스 스타일입니다. 이 접근 방식은 상태(state)와 동작(action)을 명확히 분리하며, 호출자가 명시적으로 컨텍스트(context)나 상태 정…
Syntactic Salt (구문 소금) 개요 Syntactic Salt(구문 소금)는 소프트웨어 공학 및 프로그래밍 언어 설계 분야에서 사용되는 비유적 용어입니다. 이 개념은 프로그래머가 코드를 작성하거나 읽을 때 발생하는 인지적 부하(cognitive load)를 줄이고, 코드의 가독성(readability)과 유지 보수성(maintainability)…
라이프 타임 (Lifetime) 라이프 타임(Lifetime)은 프로그래밍 언어, 특히 메모리 안전성을 중시하는 시스템 프로그래밍 언어(예: Rust, C++, Ada 등)에서 사용되는 핵심 개념입니다. 이는 변수나 객체가 메모리 상에서 유효하게 존재하는 기간, 즉 할당된 메모리가 해제되기 전까지의 시간적 범위를 의미합니다. 컴파일러는 라이프 타임 정보를 …
Types and Programming Languages 개요 『Types and Programming Languages(이하 TAPL)』은 컴퓨터공학, 특히 프로그래밍 언어 이론과 형식 시스템(formal systems) 분야에서 가장 영향력 있는 학술 서적 중 하나이다. 저자인 벤자민 C. 피어스(Benjamin C. Pierce)는 펜실베이니아 대학교…
Go 개요 Go(또는 Golang)는 구글에서 2007년부터 개발을 시작해 2009년에 공개한 정적 타입(Statically Typed)·컴파일형(Compiled)·병행성(Concurrency) 지원 프로그래밍 언어이다. 간결한 문법, 빠른 컴파일 속도, 효율적인 메모리 관리, 그리고 goroutine·channel을 통한 경량 스레드 모델을 핵심으로 하여…
제한된 다형성 개요 제한된 다형성(Bounded Polymorphism)은 프로그래밍 언어의 타입 시스템에서 다형성을 특정 조건 또는 제약 하에 허용하는 기법이다. 일반적인 다형성은 어떤 타입이든 처리할 수 있도록 허용하지만, 제한된 다형성은 타입이 특정 인터페이스, 슈퍼타입(super-type), 또는 속성을 만족해야만 다형적으로 사용될 수 있도록 제한한…
파라메트릭 다형성 파라메트릭 다형성(Parametric Polymorphism)은 프로그래밍 언어의 타입 시스템에서 중요한 개념 중 하나로, 특정 타입에 종속되지 않고 여러 타입에 대해 동일한 방식으로 동작하는 코드를 작성할 수 있게 해주는 기능입니다. 이는 코드의 재사용성과 추상화 수준을 높이며, 타입 안전성을 유지하면서도 유연한 프로그래밍을 가능하게 합…
필수의약품목록 개요 필수의약품목록(Essential Medicines List, EML)은 세계보건기구(WHO)가 제정한, 인간의 건강을 유지하고 질병을 치료하는 데 가장 중요한 의약품을 선정한 공식 목록이다. 이 목록은 의료 자원이 제한된 국가에서도 효과적이고 안전한 치료를 제공할 수 있도록 하기 위한 기준을 제시하며, 각국의 의약품 정책 수립, 조달, …
Java Java는 전 세계적으로 널리 사용되는 객체 지향 프래밍 언어로, 995년에 선 마이로시스템즈(Sun Microsystems)에서 개발하여 이후 오라클(Oracle)에 인수된 언어입니다. "쓰기 한 번, 어디서나 실행(Written Once, Run Anywhere)" 철학 아래 설계된 Java는 플랫폼 독립성, 안정성, 보안성 등을 강점으로 하여…
타입 이론타입 이론 Theory)은 프로그래밍 언어 수학 기초 이론에서 중요한 역할을 하는 학문 분야로, 데이터의 종류(타입를 체계적으로 정의하고, 이들 간의 관계와 연산의 유효성을 검증하는 이론적 기반을 제공합니다. 특히 프로그래밍 언 설계, 형식적 검증 컴파일러 개발, 함수형 프로그래밍 등에서 핵심적인 역할을 하며, 오류를 사전에 방지하고 코드의 안정성…
Types and Programming Languages 개요 《Types and Programming(이하 TAPL)는 벤자민 C. 파이어스(Benjamin C.)가 저술한로그래밍 언어론과 형식스템(formal type)에 관한 대표적인 교과서입니다. 이 책은 프로그래밍어의 설계, 구현 분석에 있어 타입 이론(type theory)의 기초를 깊이 있게 다…