[functional-programming] 기능 프로그래밍을위한 소프트웨어 엔지니어링 방법론이 있습니까? [닫은]

소프트웨어 엔지니어들이 아직 기능적 프로그래밍을 발견하지 못했음을 하느님 께 감사하십시오. 다음은 몇 가지 유사점입니다.

• 많은 OO “디자인 패턴”은 고차 함수로 캡처됩니다. 예를 들어, 방문자 패턴은 기능적 세계에서 “접힘”(또는 뾰족한 이론가 인 경우 “변형”)으로 알려져 있습니다. 기능적 언어에서 데이터 유형은 대부분 나무 또는 튜플이며 모든 트리 유형에는 이와 관련된 자연적인 변이 형이 있습니다.

  이러한 고차 함수에는 종종 “자유 정리”라고하는 특정 프로그래밍 법칙이 있습니다.

• 기능 프로그래머는 OO 프로그래머보다 다이어그램을 훨씬 덜 사용합니다. OO 다이어그램에서 표현되는 대부분은 유형 또는 “서명”으로 표현되며 ,이를 “모듈 유형”으로 생각해야합니다. Haskell에는 인터페이스 유형과 비슷한 “유형 클래스”도 있습니다.

  타입을 사용하는 함수형 프로그래머는 일반적으로 “한 번 타입이 맞으면 코드가 실제로 작성됩니다”라고 생각합니다.

  모든 기능적 언어가 명시 적 유형을 사용 하는 것은 아니지만 Scheme / Lisp / Clojure 학습을위한 훌륭한 책인 How To Design Programs 책은 유형과 밀접한 관련이있는 “데이터 설명”에 크게 의존합니다.

그렇다면 Lisp 또는 Clojure와 같은 기능적 응용 프로그램의 체계적인 (모델 기반?) 디자인 방법론은 무엇입니까?

데이터 추상화에 기반한 모든 설계 방법이 효과적입니다. 언어에 명시 적 유형이 있으면 더 쉽다고 생각하지만 없이도 작동합니다. 함수형 프로그래밍에 쉽게 적용 할 수있는 추상 데이터 형식의 디자인 방법에 대한 좋은 책은 Barbara Liskov와 첫 번째 버전 인 John Guttag의 프로그램 개발의 추상화 및 사양입니다 . Liskov는 그 작업으로 부분적으로 Turing 상을 수상했습니다.

Lisp의 고유 한 또 다른 디자인 방법은 작업중인 문제 영역에서 어떤 언어 확장이 유용한 지 결정한 다음 위생적인 ​​매크로를 사용하여 이러한 구문을 언어에 추가하는 것입니다. 이런 종류의 디자인에 대해 읽을 수있는 좋은 곳은 Matthew Flatt의 기사 (Create Languages ​​in Racket) 입니다. 기사는 페이 월 뒤에있을 수 있습니다. “도메인 특정 내장 언어”라는 용어를 검색하여 이러한 종류의 디자인에 대한보다 일반적인 자료를 찾을 수도 있습니다. Matthew Flatt가 다루는 것 이상의 특별한 조언과 예를 들어 Graham의 On Lisp 또는 ANSI Common Lisp로 시작할 것입니다 .

일반적인 단계는 무엇이며 어떤 이슈를 사용합니까?

일반적인 단계 :

1. 프로그램의 데이터와 그 조작을 식별하고이 데이터를 나타내는 추상 데이터 유형을 정의하십시오.

2. 일반적인 동작 또는 계산 패턴을 식별하여 고차 함수 또는 매크로로 표현하십시오. 리팩토링의 일부로이 단계를 수행하십시오.

3. 형식화 된 기능 언어를 사용하는 경우 형식 검사기를 조기에 자주 사용하십시오. Lisp 또는 Clojure를 사용하는 경우 가장 좋은 방법은 먼저 단위 테스트를 포함한 기능 계약을 작성하는 것입니다. 테스트 중심 개발은 최대입니다. 그리고 플랫폼에 포팅 된 QuickCheck의 모든 버전을 사용하고 싶을 것입니다.이 경우 ClojureCheck 라고 합니다 . 고차 함수를 사용하는 임의의 코드 테스트를 구성하기위한 매우 강력한 라이브러리입니다.

답변