[CH13] Applicative Functor 와 Monad 의 차이

[philosucker]

Applicative Functor
(서로 같은 컨텍스트 포함)서로 다른 컨텍스트를 가진 값 여러 개를 동시에 입력 받고
이들 값들이 모두 유효할 때만, 컨텍스트를 유지하면서 결과를 (필요시 새로운 컨텍스트의 값을) 반환하는 함수를 만들 때 주로 사용?

Monad
컨텍스트를 가진 값을 다른 컨텍스트를 가진 값으로 (또는 기존 컨텍스트를 유지하면서) 연속적으로 변환시키고
그 변환과정에서 유효한 단계까지는 올바르게 처리하고, 그렇지 않은 경우는 예외처리를 하는 함수를 만들때 주로 사용?

다른 차이들도 있을 텐데
위와 같은 구분도 적절한 걸까요?

[philosucker]

				import Control.Applicative

				validateName :: String -> Maybe String
				validateName name
				  | length name > 0 = Just name
				  | otherwise = Nothing

				validateAge :: Int -> Maybe Int
				validateAge age
				  | age > 0 = Just age
				  | otherwise = Nothing

				data User = User String Int deriving Show

				-- 애플리케이티브 펑터를 사용하여 이름과 나이를 검증하고 User 타입을 생성
				createUser :: Maybe String -> Maybe Int -> Maybe User
				createUser name age = User <$> validateName name <*> validateAge age

				exampleApplicative :: Maybe User
				exampleApplicative = createUser (Just "Alice") (Just 30)  -- 결과: Just (User "Alice" 30)
				exampleApplicativeFail :: Maybe User
				exampleApplicativeFail = createUser (Just "") (Just (-1))  -- 결과: Nothing

[philosucker]

			import Control.Monad (when)

			-- 사용자의 나이를 받아 성인인 경우에만 나이를 반환하는 함수
			checkAdult :: Int -> Maybe Int
			checkAdult age = if age >= 18 then Just age else Nothing

			-- 성인의 나이를 받아, 특정 조건(예: 65세 이상)에 따라 은퇴 가능 여부를 검사하는 함수
			checkRetirement :: Int -> Maybe String
			checkRetirement age = if age >= 65 then Just "Eligible for retirement" else Just "Not eligible for retirement yet"

			-- 연속적인 작업 수행
			processUserAge :: Int -> Maybe String
			processUserAge age = 
				checkAdult age >>= checkRetirement

			-- 예제 실행
			exampleMonad :: Maybe String
			exampleMonad = processUserAge 70  -- 결과: Just "Eligible for retirement"
			exampleMonadFail :: Maybe String
			exampleMonadFail = processUserAge 17  -- 결과: Nothing