문서 검색

명령형 패러다임은 운영 체제 개발부터 웹 및 모바일 애플리케이션, 과학 프로그램에 이르기까지 거의 모든 소프트웨어 분야에서 널리 사용된다. 절차적 프로그래밍: C, Fortran 등과 같이 프로시저 호출을 기반으로 한다. 객체 지향 프로그래밍: Java, C++, C# 등과 같이 객체 간의 상호작용을 통해 상태를 관리한다. 다중 패러다임: Python, JavaScript 등은 명령형을 기…

함수형 프로그래밍은 계산을 수학적 함수의 평가로 간주하고 상태와 가변 데이터를 피하는 프로그래밍 패러다임이다. 명령형 프로그래밍이 프로그램의 상태를 변경하는 문(Statement) 중심인 것과 달리, 함수형 프로그래밍은 식(Expression)과 선언을 강조하는 선언형 프로그래밍의 일종이다. 1930년대 람다 대수에 뿌리를 두고 있으며, 현대에는 병렬 처리의 안정성과 데이터 파이프라인 구축…

에이다(Ada)는 구조화되고 정적인 형태를 가진 명령형 및 객체 지향적 고급 프로그래밍 언어이다. 1970년대 후반 미국 국방부가 기존의 수많은 프로그래밍 언어를 통합하고 대체하기 위해 개발하였으며, 세계 최초의 프로그래머로 알려진 에이다 러브레이스(Ada Lovelace)의 이름을 따서 명명되었다. 파스칼 언어의 구조적 개념을 기반으로 설계되었으며, 시스템의 안전성과 신뢰성, 유지보수성을…

선언형 프로그래밍은 컴퓨터 프로그램이 '어떤 방법으로' 작업을 수행할지보다 '무엇'이 나타나야 하는지를 설명하는 방식이다. 이는 실행될 알고리즘을 구체적으로 명시해야 하는 명령형 프로그래밍과 대비되는 개념으로, 목표를 명시하되 세부적인 제어 흐름은 직접 기술하지 않는다. 함수형 프로그래밍, 논리형 프로그래밍, 질의 언어 등이 이 범주에 속한다.

러스트(Rust)는 모질라 리서치에서 개발한 다중 패러다임 범용 프로그래밍 언어이다. 안전하고 병렬적이며 실용적인 설계를 지향하며, 시스템 프로그래밍에서 흔히 발생하는 메모리 오류를 방지하고 스레드 안전성을 보장하는 데 중점을 둔다. 저수준의 제어 능력과 고수준의 문법적 편의성을 동시에 제공하는 것이 특징이다.

코덱스(Codex)는 주로 OpenAI가 개발한 프로그래밍 지원 인공지능(AI) 모델을 지칭한다. 자연어를 이해하여 프로그래밍 코드를 생성하거나 리팩터링하는 기능을 수행하며, 깃허브 코파일럿(GitHub Copilot)의 핵심 기술로 활용된다. 또한 전자 통신 분야에서 데이터 스트림을 처리하는 코덱(Codec)의 의미로 쓰이기도 하며, 영화 《베놈: 라스트 댄스》와 같은 대중문화 작품 속의…

재귀 함수(Recursion Function)는 정의 단계에서 자기 자신을 재참조하는 함수를 의미한다. 이는 큰 문제를 동일한 구조를 가진 더 작은 하위 문제로 나누어 해결하는 프로그래밍 패턴으로, 주로 반복적인 작업을 수행하거나 수학적 정의를 코드로 구현할 때 사용된다.

OpenAI Codex는 자연어 명령을 소스 코드로 변환하기 위해 설계된 거대 언어 모델(LLM)이다. GPT-3를 기반으로 수많은 프로그래밍 언어의 데이터를 학습하여 개발되었으며, 깃허브 코파일럿(GitHub Copilot)의 초기 구동 엔진으로 널리 알려졌다. 2021년 처음 공개된 이후 2023년에 기존 모델이 단종되었으나, 2025년에는 로컬 코딩 에이전트와 클라우드 기반 소프트웨어…

순수 함수(Pure Function)는 컴퓨터 프로그래밍에서 부수 효과가 없고 참조 투명성을 가진 함수를 의미한다. 함수형 프로그래밍의 핵심 개념 중 하나로, 함수의 실행 결과가 오직 입력 인자에만 의존하며 프로그램의 실행 상태를 변경하지 않는 특징이 있다.

Dev-C++는 윈도우 플랫폼을 위한 자유 소프트웨어 통합 개발 환경(IDE)이다. GNU 일반 공중 사용 허가서(GPL)에 따라 배포되며, C와 C++ 프로그래밍 언어를 지원한다. 1998년 처음 출시된 이후 가볍고 빠른 실행 속도로 인해 전 세계의 개발자, 학생, 연구자들 사이에서 널리 사용되어 왔다. 델파이(Delphi) 언어로 작성되었으며, 낮은 사양의 시스템에서도 원활하게 작동하는…

마이크로소프트 애저(Microsoft Azure)는 마이크로소프트가 개발하고 운영하는 클라우드 컴퓨팅 플랫폼이다. 전 세계 데이터센터 인프라를 기반으로 개인, 기업, 정부에 애플리케이션 및 서비스의 개발, 배포, 관리 기능을 제공한다. 서비스형 인프라(IaaS), 서비스형 플랫폼(PaaS), 서비스형 소프트웨어(SaaS)를 모두 지원하며, 다양한 프로그래밍 언어와 도구, 프레임워크를 수용하…

람다 대수(lambda calculus)는 함수 정의, 함수 적용, 변수 치환을 통해 계산을 수행하는 형식 체계이다. 1930년대 알론조 처치가 수학기초론 연구의 일환으로 고안하였으며, 모든 계산 가능한 함수를 표현할 수 있는 튜링 완전성을 가진다. 현대 컴퓨터 과학에서 함수형 프로그래밍 언어의 이론적 토대가 되며, 논리학과 언어학 등 다양한 분야에서 응용된다.