사용 Maybe(또는 사촌 Either기본적으로 동일한 방식으로 작동하지만 대신에 임의의 값을 반환 할 수 있습니다 Nothing) 예외 약간 다른 용도로 사용됩니다. Java 용어로는 런타임 예외가 아닌 확인 된 예외가있는 것과 같습니다. 예상치 못한 오류가 아니라 처리해야 할 것으로 예상 되는 것을 나타냅니다 .

따라서 항목이 목록에 없을 가능성이 있기 때문에 같은 함수 indexOf는 Maybe값을 반환 합니다. 이것은 null유형 안전 방식을 사용하여 null케이스 를 처리해야한다는 점을 제외하고 함수에서 돌아 오는 것과 매우 유사 합니다 . Either오류 사례와 관련된 정보를 반환 할 수 있다는 점을 제외하고는 동일한 방식으로 작동하므로 실제로는 예외와 비슷합니다 Maybe.

그렇다면 Maybe/ Either접근법 의 장점은 무엇 입니까? 하나, 그것은 언어의 일류 시민입니다. Either예외를 던지는 것과 사용하는 함수를 비교해 봅시다 . 예외적 인 경우, 유일한 유일한 의지는 try...catch진술입니다. 이 Either기능을 위해 기존 조합기를 사용하여 흐름 제어를보다 명확하게 만들 수 있습니다. 다음은 몇 가지 예입니다.

먼저, 그렇지 않은 함수를 얻을 때까지 행에서 오류가 발생할 수있는 여러 함수를 시도한다고 가정 해 봅시다. 오류가 없으면 특별한 오류 메시지를 반환하려고합니다. 이것은 실제로 매우 유용한 패턴이지만를 사용하는 것은 끔찍한 고통 try...catch입니다. 행복하게도, Either단지 정상적인 값이므로 기존 함수를 사용하여 코드를 훨씬 명확하게 만들 수 있습니다.

firstThing <|> secondThing <|> throwError (SomeError "error message")

또 다른 예는 옵션 기능입니다. 쿼리를 최적화하는 기능을 포함하여 실행할 여러 기능이 있다고 가정 해 봅시다. 이것이 실패하면 다른 모든 것을 실행하기를 원합니다. 다음과 같은 코드를 작성할 수 있습니다.

do a <- getA
   b <- getB
   optional (optimize query)
   execute query a b

이 두 가지 경우 모두를 사용하는 것보다 명확하고 짧으며 try..catch더 중요하게 더 의미 론적입니다. 같은 기능을 사용 <|>하거나하는 것은 optional당신의 의도가 수 많이 사용하는 것보다 명확 try...catch항상 예외를 처리 할 수 있습니다.

또한 ! 와 같은 줄로 코드를 정리할 필요는 없습니다if a == Nothing then Nothing else ... . 치료 Maybe와 Either모나드의 요점은 이것을 피하는 것입니다. 전파 의미론을 바인드 함수로 인코딩하여 널 / 오류 검사를 무료로 얻을 수 있습니다. 명시 적으로 확인 해야하는 유일한 시간은 Nothing주어진 이외의 것을 반환하고 싶을 때뿐입니다. Nothing심지어 코드를 더 좋게 만드는 표준 라이브러리 함수가 많이 있습니다.

마지막으로, 또 다른 장점은 Maybe/ Either유형이 더 간단 하다는 것입니다 . 추가 키워드 또는 제어 구조를 사용하여 언어를 확장 할 필요는 없습니다. 모든 것이 단지 라이브러리 일뿐입니다. 그것들은 단지 정상적인 값이기 때문에 타입 시스템을 더 단순하게 만듭니다 .Java에서는 타입 (예 : 반환 타입)과 throws사용하지 않을 효과 (예 : 명령문) 를 구별해야합니다 Maybe. 또한 다른 사용자 정의 유형과 동일하게 작동하므로 언어에 특수한 오류 처리 코드가 없어도됩니다.

또 다른 승리 즉 Maybe/ Either펑터와 모나드는, 그들은 일반적으로 기존의 모나드 제어 흐름 기능 (있는 공정한 번호가)와, 활용할 수있는 수단, 다른 모나드와 함께 잘 재생합니다.

즉, 몇 가지주의 사항이 있습니다. 우선, 점검되지 않은 예외를 대체 Maybe하거나 Either대체 하지 마십시오 . 0으로 나누는 것과 같은 것을 처리하는 다른 방법이 필요할 때마다 모든 단일 부서가 Maybe값을 반환하는 것이 고통 스럽기 때문에 간단 합니다.

또 다른 문제는 여러 유형의 오류가 반환되는 것입니다 (이 경우에만 적용됨 Either). 예외를 사용하면 동일한 함수에서 다른 유형의 예외를 처리 할 수 ​​있습니다. 를 사용 Either하면 한 가지 유형 만 얻을 수 있습니다. 이는 하위 유형을 지정하거나 생성자로서 모든 다른 유형의 오류를 포함하는 ADT를 통해 극복 할 수 있습니다 (이 두 번째 방법은 Haskell에서 일반적으로 사용되는 방법 임).

아직도, 나는 더 간단하고 유연하기 때문에 Maybe/ Either접근법을 선호합니다 .

답변

var greetingPromise = sayHello();
greetingPromise
    .then(addExclamation)
    .then(function (greeting) {
        console.log(greeting);    // 'hello world!!!!’
    }, function(error) {
        console.error('uh oh: ', error);   // 'uh oh: something bad happened’
    });