기능 프로그래밍 주제 목록

이 글에는 출처가 없다 신뢰할 수 있는 출처에 인용문을 추가하여 이 기사를 개선할 수 있도록 도와주십시오. 공급되지 않은 재료는 도전하여 제거할 수 있다. 출처 찾기: "기능 프로그래밍 주제 목록" – 뉴스 · 신문 · 책 · 학자 · JSTOR (2010년 6월) (이 템플릿 메시지를 제거하는 방법과 시기 학습)

이것은 기능 프로그래밍 주제 목록이다.

기초 개념

• 프로그래밍 패러다임
• 선언적 프로그래밍
• 수학적 객체로서의 프로그램
• 기능 수준 프로그래밍
• 순기능 프로그래밍
• 총 기능 프로그래밍
• 람다 프로그래밍
• 정적 범위 지정
• 고차함수
• 참조 투명도

람다 미적분학

• 커링
• 람다 추상화
• 처치-로스터 정리
• 확장성
• 교회 숫자

결합 논리학

• 고정점 결합기
• 스키 콤비네이터 미적분학
• B, C, K, W 시스템
• SECD 기계
• 그래프감소기

직감 논리학

• 시퀀스, 시퀀스 미적분학
• 자연공제
• 직감형 이론
• BHK 해석
• 커리-하워드 통신
• 선형 논리학
• 게임 의미론

유형론

• 입력된 람다 미적분
• 형식 및 형식 지정되지 않은 언어
• 형식서명
• 유형추론
• 데이터 유형
• 대수 데이터 유형(일반화)
• 유형 변수
• 일등 가치
• 다형성
• 건축 미적분학

변절 의미론

• 도메인 이론
  • 지시된 전체 부분 순서
  • 크나스터-타르스키 정리

범주론

• 데카르트 폐쇄 범주
• 요네다 보조정리

운영상의 문제

• 그래프 감소
  • 결합기 그래프 감소
• 엄격한 프로그래밍 언어
• 게으른 평가, 열성적인 평가
• 투기평가
• 부작용
• 과제
  • 세트크
• 폐쇄
• 계속
• 연속 패스 스타일
• 운영 의미론
• 국가전환제
• 시뮬레이션 사전 주문
• 비시뮬레이션
• 기능 프로그래밍의 모노드
• 예외처리
• 쓰레기 수거

프로그래밍 언어

• 깨끗하다
• 클로저
• 엘리시르.
• 얼랑
• FP
• F#
• 하스켈
  • 글래스고 하스켈 컴파일러
  • 고퍼
  • 포옹
  • 템플릿 해스켈
• ISWIM
• 자바스크립트
• 켄트 재귀 계산기
• 리스프
  • AutoLISP
  • 커먼 리스프
  • 이맥스 리스프
  • 계략
• 수성.
• 미란다
• ML(카테고리:ML 프로그래밍 언어 제품군)
  • OCAML
  • 표준 ML
• 순수, 이전 Q
• Q(Kx 시스템에서 언어 프로그래밍)
• 양자 프로그래밍
• 스칼라
• 시살
• 옴메가