Effect System이펙트 시스템

순수 함수: 부작용 없음, 같은 입력 → 같은 출력
부작용 종류:
  - IO: 파일 읽기/쓰기, 네트워크 요청
  - 상태 변경: 전역 변수 수정
  - 예외: 오류 던지기
  - 비결정성: 난수 생성
  - 시간: 현재 시각 읽기
  - 동시성: 스레드, 채널

-- IO 타입이 이펙트를 표현
readFile :: FilePath -> IO String  -- IO 이펙트
putStrLn :: String -> IO ()        -- IO 이펙트

-- Maybe로 실패 가능성 표현
safeHead :: [a] -> Maybe a
safeHead [] = Nothing
safeHead (x:_) = Just x

-- Either로 오류 표현
parseAge :: String -> Either String Int
parseAge s = case reads s of
    [(n, "")] -> if n >= 0 then Right n else Left "음수 불가"
    _ -> Left "숫자가 아님"

최신 접근법: 이펙트를 대수적으로 정의
Koka, Eff, OCaml 5 이펙트 핸들러

예시 (Koka):
effect raise<a>
  fun raise(msg: string): a

fun safe-div(x: int, y: int): raise<int> int
  if y == 0 then raise("나눗셈 오류")
  else x / y

// 핸들러로 이펙트 처리
with handler
  fun raise(msg) { println(msg); 0 }
safe-div(10, 0)  // "나눗셈 오류" 출력 후 0 반환