RemixRescriptPurescriptnpmCloudflareReactNext.jsGOHyper-VTiberoGitAlgorithms, 2020년

퓨어스크립트 북 챕터5 가볍게 읽어보는 메모장

February 26, 2022

퓨어스크립트 북 챕터5 - Pattern Matching

가볍게 읽어보기!

Chapter Goals

  • 행 다형성
  • 패턴 매칭은 함수형 프로그래밍의 일반적인 기술
  • Algebraic data type 대수 데이터 타입

Project Setup

  • as 를 사용하면 정규화된 이름을 사용해야함
    • 중복 방지, 모듈을 명확하게 구분

Simple Pattern Matching

패턴 매칭을 사용하여 두 정수의 최대 공약수를 계산하는 함수

  • 패턴이 입력과 일치하는 첫 번째 케이스가 반환
gcd :: Int -> Int -> Int
gcd n 0 = n
gcd 0 m = m
gcd n m = if n > m
            then gcd (n - m) m
            else gcd n (m - n)

얼마 전에 유클리드로 최대공약수 구하는 알고리즘 복습하면서 기록한 노트가 생각나서 첨부

Simple Patterns

  • literal값이 일치할 때
  • 변수명은 이름에 바인딩
  • _ 와일드카드 패턴

Guards

  • if .. then .. else 대신 Guard 사용
  • | 로 구분
  • otherwise는 true를 나타낸다.
    • switch의 default: 같은 느낌이려나?
gcdV2 :: Int -> Int -> Int
gcdV2 n 0 = n
gcdV2 0 n = n
gcdV2 n m | n > m     = gcdV2 (n - m) m
          | otherwise = gcdV2 n (m - n)

Array Patterns

  • 고정 길이의 배열을 매칭
  • 지정되지 않은 길이의 배열을 일치시키는 방법은 성능 저하 우려로 제공 X
    • 대신 Data.List 사용

Record Patterns and Row Polymorphism

  • 레코드 매칭
  • 필드에 대한 바인딩(?)
showPerson :: { first :: String, last :: String } -> String
showPerson { first: x, last: y } = y <> ", " <> x

Record Puns

unknownPerson :: { first :: String, last :: String }
unknownPerson = { first, last }
  where
    first = "Jane"
    last  = "Doe"

Nested Patterns

  • 두 개의 레코드 패턴 결합 가능

Named Patterns

  • @ 로 패턴의 이름 지정 가능

Case Expressions

  • 최상위에서만 패턴 매칭을 사용하는 것 X
  • case를 사용해 함수 내부에서서도 가능

Pattern Match Failures and Partial Functions

  • 누락된 패턴이 있으면 pattern match failure 런타임 실패

Algebraic Data Types

밑에 아직 못 봄!