범주:기능 프로그래밍

C

• 결합 논리(1C, 9P)

D

• 종속적으로 입력된 프로그래밍(2C, 12P)

F

• 기능 데이터 구조 (6 P)
• 기능 언어(8C, 114 P)

H

• 고차함수(12P)

I

• 기능 프로그래밍 언어의 구현(3C, 18 P)

L

• 람다 미적분(3 C, 51 P)

R

• 재귀 체계(6P)

• 기능 프로그래밍
• 기능 프로그래밍 언어 목록
• 기능 프로그래밍 주제 목록
• 순기능 프로그래밍

A

• A-정규형
• 행위자
• 대수 데이터 유형
• 익명함수
• 덧붙이다
• 적용 펑터
• 적용하다
• 화살표(컴퓨터 과학)

B

• 브루워-헤잉-콜모고로프 해석

C

• 카타모르피즘
• 코인전도
• 단점
• 생성제품결과분석
• 연속 패스 스타일
• 코어커시온
• 커링

D

• 직접함수

F

• F-알제브라
• 제1종 함수
• Frenetic(프로그래밍 언어)
• 기능 논리 프로그래밍
• 기능적 반응형 프로그래밍
• 펑터(기능 프로그래밍)

G

• 일반 대수 데이터 유형
• GNU Guix
• GNU Guix 시스템
• 그래프감소기

H

• 고차함수
• 폴 후닥

I

• 불변 객체
• 초기 대수
• 국제 기능 프로그래밍 회의
• 이틀리페

J

• 기능 프로그래밍 저널

M

• 에릭 메이저(컴퓨터 과학자)
• 모나드(기능 프로그래밍)
• 모나드 변압기

N

• Nix 패키지 관리자

O

• 옵션종류

P

• 파서 콤비네이터
• 부분적용
• 패턴 매칭
• 사이먼 페이튼 존스
• 다형성(컴퓨터 과학)
• 순함수
• 순기능 데이터 구조

R

• 정수
• 결과 유형

S

• 존 M. 스콜스
• 순서l
• 부작용(컴퓨터 과학)
• 스큐 바이너리 번호 시스템
• 스토어 패스 스타일
• 스트림(컴퓨터 과학)
• 슈퍼컴바이너
• 시스템 F-sub

T

• 툰크
• 조력 주기
• 총 기능 프로그래밍
• 유형 클래스
• 유형 패밀리
• 유형 변수

W

• 필립 와들러
• 울프람어

Z

• 지퍼(데이터 구조)