[Elm] 예외처리: Maybe, Result

#Elm

Elm은 함수형 언어답게, 모나드 방식을 통해 예외를 발생시키고 해결한다.
try-catch 같은 건 없다.

Elm의 모나드엔 Maybe, Result 2가지가 있는데, Maybe는 단순히 값의 존재 여부만 체크하고, Result는 오류 정보까지 포함한다는 점이 다르다.

Maybe

Maybe는 성공이 불분명할때, 실패값이든 성공한 값이든 일관된 타입으로 감싸주는 역할을 한다.
성공했을 때는 Just로 값을 반환하면 되고, 실패했을 때는 Nothing을 반환하면 된다.

타입은 보다시피 Maybe T 형식으로 표현된다.

한번 Maybe를 응용해 루트 함수를 짜보자.
루트는 양수에 한해서만 정상적으로 작동한다. 따라서 음수가 들어오면, 에러로 치부하는게 당연한 결과일 것이다.
그럼 0보다 클 때에만 Just로 감싸서 루트를 수행하고, 아니면 Nothing을 던지면 되겠다.

이렇게 말이다.

그럼 경우에 따라 성공한 결과값이나, Nothing이 Maybe 타입으로 감싸서 반환될 것이다.

이 Maybe 타입은 기존의 타입과 호환되지 않는다.
가령 Maybe Float를 Float로 대입시키려고 하면

에러를 던진다.
속에 든 값이 진짜 Float인지 Nothing인지 모르기 때문이다.

Maybe란 녀석을 벗겨내줘야 한다.
패턴매칭 구문으로 벗겨내거나

Maybe 함수들을 사용하면 된다.
withDefault는 Nothing일 경우 첫번째로 받은 인자를 반환한다.

Result는 오류 정보를 직접적으로 포함시켜 표현할 수 있단 점이 다르다.
근데 뭐.. 그거 말곤 Maybe와 큰 의미론적 차이점은 없다.
성공적인 값의 생성은 Ok로, 오류 발생은 Err로 할 수 있다.
타입은 Result 오류타입 성공타입으로 표현된다.

위의 루트 함수를 Result 방식으로 바꾸면 이렇게 고칠 수 있다.

그리고 마찬가지로, 패턴매칭이나 전용 함수들로 껍질을 벗길 수 있다.