데이터 유형 프로그래밍

Question

"명령 적"및 "기능적"프로그래밍에 대해 알고 있지만 "데이터 유형"프로그래밍에서 찾을 수있는 것은 거의 없었습니다. 그런 것이 있고 다른 패러다임과 어떤 관련이 있습니까?

Answer 1

나는 그 용어에 대해 들어 본 적이 없다. Google도 없습니다. (유일한 인기는 바로이 질문입니다.)

내가 생각할 수있는 가장 가까운 것은입니다 유형의 프로그래밍, 1989 년 Luca Cardelli가 소개 한 프로그래밍 패러다임입니다. 종이 같은 제목으로.

Typeful 프로그래밍의 아이디어는 유형을 광범위하고 주로 사용하여 도메인을 모델링하고, 디자인을 구동하고, 프로그램을 구조화하며, 일반적으로 문제를 객체 지향 프로그래밍에서 사용하는 것과 같은 방식으로 문제를 해결한다는 것입니다. 기능 프로그래밍에서 논리 프로그래밍의 조항, Erlang의 프로세스 등. 이것은 Haskell의 전형적인 스타일입니다.

편집 :이 답변을 썼을 때 질문에 대한 귀하의 의견을 보지 못했습니다. 이 두 번째 것이 당신이 찾고있는 것 같아요.

위에서 언급 한 Google 검색을 수행하는 동안 내가 우연히 발견 한 또 다른 용어는 용어입니다. 데이터 타입 게린 프로그래밍. 이것은 연구 프로젝트 2003 년부터 2006 년까지 진행되었습니다. 이는 Haskell 또는 C ++의 템플릿의 파라 메트릭 다형성과 함께 오늘날 가능한 한 훨씬 더 많은 유형을 매개 변수로 작성하는 새로운 메커니즘을 만들기위한 새로운 메커니즘을 만들었습니다.