Telastyn이 말했듯이 함수의 정적 정의를 비교하면 다음과 같습니다.

public string Read(int id) { /*...*/ }

에

let read (id:int) = //...

OOP에서 FP로가는 것을 잃어버린 것은 없습니다.

그러나 함수와 인터페이스는 정적 정의에서만 참조되지 않기 때문에 이것은 이야기의 일부일뿐입니다. 그들은 또한 전달됩니다 . 우리 MessageQuery가 다른 코드 조각에 의해 읽혀 졌다고 가정 해 봅시다 MessageProcessor. 그리고 우리는 :

public void ProcessMessage(int messageId, IMessageQuery messageReader) { /*...*/ }

이제 메서드 이름 이나 매개 변수를 직접 볼 수는 없지만 IDE를 통해 쉽게 얻을 수 있습니다. 보다 일반적으로, 우리는 int에서 string까지의 함수를 가진 메소드를 가진 인터페이스가 아니라이 함수와 관련된 매개 변수 이름 메타 데이터를 유지한다는 것을 의미 합니다.IMessageQuery.Readint idIMessageQueryid

반면에 기능 버전의 경우 다음이 있습니다.

let read (id:int) (messageReader : int -> string) = // ...

그래서 우리는 무엇을 유지하고 잃었습니까? 글쎄, 우리는 여전히 name 매개 변수를 가지고 messageReader있는데, 이것은 아마도 형식 이름 (과 동등한 IMessageQuery)을 불필요하게 만듭니다. 그러나 이제 id함수에서 매개 변수 이름 을 잃어 버렸습니다 .

이 문제를 해결하는 데는 두 가지 주요 방법이 있습니다.

• 첫째, 그 서명을 읽음으로써 이미 무슨 일이 벌어 질지 추측 할 수 있습니다. 함수를 짧고 단순하며 응집력있게 유지하고 이름을 잘 지정하면이 정보를 쉽게 이해하고 찾을 수 있습니다. 실제 함수 자체를 읽은 후에는 훨씬 더 간단해질 것입니다.

• 둘째, 기본형을 감싸는 작은 유형을 만들기 위해 많은 기능적 언어에서 관용적 디자인으로 간주됩니다 . 이 경우 반대의 상황이 발생합니다. 유형 이름을 매개 변수 이름 ( IMessageQueryto messageReader)으로 바꾸는 대신 매개 변수 이름을 유형 이름으로 바꿀 수 있습니다. 예를 들어, 다음 int과 같은 유형으로 랩핑 될 수 있습니다 Id.

  type Id = Id of int
  

  이제 우리의 read서명은 다음과 같습니다.

  let read (id:int) (messageReader : Id -> string) = // ...
  

  우리가 이전에했던 것만 큼 유익합니다.

  참고로, 이것은 우리가 OOP에서 가지고 있던 컴파일러 보호 기능을 제공합니다. OOP의 버전이 보장 반면 우리는 특별히했다 IMessageQuery단지 오래된보다는 int -> string기능, 여기에 우리는 우리가 복용하고 있다는 비슷한 (하지만 다른) 보호가 Id -> string단지 오래된보다는를 int -> string.

이러한 기술이 인터페이스에서 전체 정보를 사용할 수있는 것만큼이나 유익하고 유익 할 것이라고 100 % 확신하며 말하기를 꺼려하지만, 위의 예에서 대부분의 경우, 아마 좋은 일을 할 수 있습니다.

답변

read: MessageId -> Message

foldr f z nil = z
foldr f z (singleton x) = f x z
foldr f z (xn <> ys) = foldr f (foldr f z ys) xn

-- The first argument `f` must satisfy for all x, y, z
-- > f x x = true
-- > f x y = true and f y x = true implies x = y
-- > f x y = true and f y z = true implies f x z = true
sort :: forall 'a. (a -> a -> bool.t) -> list.t a -> list.t a;

-- Type of functions `f` satisfying, for all x, y, z
-- > f x x = true
-- > f x y = true and f y x = true implies x = y
-- > f x y = true and f y z = true implies f x z = true
type comparison.t 'a = a -> a -> bool.t;

messages = ["Message 0", "Message 1", "Message 2"]
messageQuery = (messages !!)

messages = map Message ["Message 0", "Message 1", "Message 2"]
messageQuery (Id index) = messages !! index