# 언어 서버 프로토콜 언어 서버 프로토콜(LSP, Language Server Protocol)은 소프트웨어 개발 도구 간에 프로그래밍 언어 기능을 표준화하여 공유할 수 있도록 설계된 통신 프로토콜입니다. LSP는 코드 자동 완성, 문법 검사, 정의 이동, 참조 찾기, 리팩터링 등과 같은 고급 언어 기능을 다양한 코드 편집기와 IDE(통합 개발 환경)에...
검색 결과
"Emacs"에 대한 검색 결과 (총 5개)
Agda Agda는 함수형 프로그래밍 언어이자 **정형 증명기**(proof assistant)로, 수학적 정리의 형식적 증명과 소프트웨어의 정확성 검증을 위해 설계된 고급 언어입니다. Agda는 **의존 타입**(dependent types)을 지원하여, 프로그램의 구조와 논리적 성질을 타입 시스템에 직접 반영할 수 있어, 프로그램이 요구된 사양을 만족...
# Hunspell Hunspell은 오픈소스 기반의 철자 검사기 checker) 및 형태소 분석기(morphological analyzer)로, 주로 자연어처리(NLP) 분야에서 텍스트의 철자 오류를 감지하고 제안을 제공하는 데 사용됩니다. LibreOffice, OpenOffice, Mozilla Firefox, Google Chrome 등 다양한 소...
# LSP ## 개요 LSP(Language Server Protocol)는 소프트웨어 개발 환경에서 코드 편집기와 언어 분석 도구 간의 통신을 표준화하기 위해 개발된 프로토콜입니다. 마이크로소프트(M)가 2016에 처음 제안한 이 프로토콜은 다양한 프로그래밍 언어와 코드 에디터 간의 상호 운용성을 크게 향상시켰으며, 현대 소프트웨어 개발 환경에서 필수...
# Clang ##요 **Clang**은 C C++, Objective-C,-C++ 등의 프로그래밍 언어를 위한 **컴파일러 프론트엔드**(front-end)로, LLVM(Low Level Virtual Machine) 프로젝트의 일환으로 개발된 오픈소스 소프트웨어입니다. Clang은존의 GCC(GNU Collection)와 같은 전통적인 컴파일러를 대...