둘러보기 메뉴
검색
바뀐글
임의글
개인 도구
가입하기
로그인
도움말
도움말
질문게시판
자주 묻는 질문
커뮤니티
실시간 채팅방
가입인사게시판
자유게시판
뉴스게시판
제재안게시판
최근 토론
페미위키
공지사항
개선 요청
바뀐글
임의글
파일 올리기
다면 분류 목록
특수 문서 목록
함수형 언어 문서 원본 보기
이름공간
문서
토론
주시
도구
여기를 가리키는 문서
가리키는 글의 최근 바뀜
문서 정보
위키베이스 항목
행위
보기
읽기
원본 보기
역사 보기
←
함수형 언어
문서 편집 권한이 없습니다. 다음 이유를 확인해주세요.
요청한 명령은 다음 중 하나의 권한을 가진 사용자에게 제한됩니다:
사용자
,
Seeders
.
문서를 고치려면 이메일 인증 절차가 필요합니다.
사용자 환경 설정
에서 이메일 주소를 입력하고 이메일 주소 인증을 해주시기 바랍니다.
문서의 원본을 보거나 복사할 수 있습니다.
'''함수형 언어'''는 수학적 증명과정을 컴퓨터 프로그램 문법에 적용하는 것을 기반으로 삼고 있는 프로그래밍 패러다임으로, 짧은 코드로 강건한 프로그램을 짤 수 있어서 주목받는다. 대표적인 언어로는 [[Lisp]], [[Scheme]], [[ML]], [[Haskell]], [[Scala]] 등이 있다. == 특징 == 함수형 언어는 기본적으로 '''보관되는 변수'''(즉, 메모리에 적재되는 '''데이터''')라는 개념을 채택하지 않는다. [[절차적 프로그래밍]]에서 요구되는 데이터 입/출력의 개념을 함수형 언어는 정의역/치역 개념으로 대체한다. 즉, 함수형 패러다임에서 프로그램은 수많은 정의역과 치역이 여러 개의 함수로 그물망처럼 연결된 '''함수 체계'''이며, 컴퓨터 프로그램이란 함수를 풀이하여 해를 도출하는 것을 목적으로 갖는다. 따라서, 원칙적으로 함수형 언어의 프로시저(즉, 함수)는 정의역에 따라 해가 결정되기 때문에, 모든 함수는 (가능한 한) 부작용(side-effect)이 없어야 한다. 예컨대, C 계열 언어의 <code>while(*t++ = *s++);</code>{{주|문자열을 복사하는 코드이다.}}과 같은 표현은 후치연산자 ++가 부작용을 발생시키기에, 함수형 언어에서는 권장되지 않는다. 함수형 패러다임에서 채택한 [[람다 표현식]] 등의 개념은 후일 다른 프로그래밍 패러다임에서 광범위하게 수용되고 있다. == 부연 설명 == {{부연 설명}} [[분류:종류/프로그래밍 언어]]
이 문서에서 사용한 틀:
틀:부연 설명
(
원본 보기
)
틀:주
(
원본 보기
)
함수형 언어
문서로 돌아갑니다.
다른 언어