[Episode #1] Functions

[shippingpark]

MONDAY JAN 29, 2018

Our first episode is all about functions!
We talk a bit about what makes functions special, contrasting them with the way we usually write code, and have some exploratory discussions about operators and composition.

첫 번째 에피소드는 함수에 관한 이야기입니다!
함수가 특별한 이유에 대해 이야기하고, 함수를 일반적인 코드 작성 방식과 대조하며, 연산자와 구성에 대한 탐구적인 토론을 진행합니다.

[shippingpark]

새로운 키워드 : Free-Function

• 함수를 호출하려면 함수에 값을 전달
• 자유함수(소속되지 않은 함수)(FreeFunction)가 Swift에서 흔하지 않은 이유는
  안에서 밖으로 읽어나가는 함수 실행의 가독성이 떨어지기 때문일 것 a(b(c()))

Compositional Function?

• ⭐️ 한 함수의 출력과 한 함수의 입력이 일치하는 두 함수를 붙여 완전히 새로운 함수를 만드는 기능
• 함수 컴포지션은 잡음 없이 온전한 한 입 크기의 조각 😆

FreeFunction의 용이성?

• 메서드보다 함수 사용에 더 편의성을 느끼고 있음
  (메서드 체인 형태 보다 편한게 있다 여기는 듯)
  self.incr().square() <- 메서드 체인

커스텀 연산자

• 연산자 커스텀은 지양되기도 함 (일반적인 관습이 없다면)
• 그러니 특정 기호를 보고 연상할 수 있는 연산인지 주의하여 생성해야 함
• 1. 기존 의미 재정의 금지 2) 선행 기술을 활용하여 직관성 높이기 3) 일반적인 필요 (구체적인 상황X)
• Swift에서는 자체 연산자를 정의할 수 있으므로 우리도 그렇게 할 수 있는지 살펴보자
• pipe-forward operator

func |> <A, B>(a: A, f: (A) -> B) -> B {
  return f(a)
}

• 이 결과를 다른 자유 함수에 파이프할 수 있어야 하는데,

2 |> incr |> square

• 에러 발생

Adjacent operators are in non-associative precedence group 'DefaultPrecedence'

• 연산자 평가 우선순위가 필요. 괄호로 순서를 먹여줄 수도 있지만 문장이 길어지면 복잡해짐 (중첩 발생)
• swift에서는 우선순위 그룹을 지정하고 먹여줄 수 있음

precedencegroup ForwardApplication {
  associativity: left
}

infix operator |>: ForwardApplication

닷 체이닝 -> FreeFunction + 연산자를 활용한 컴포지션

before

2.incr().square() // 9

after

2 |> incr |> square // 9

머치 베러 굳~

Xcode의 AutoCompletion에 대하여...

• 연산자도 자동완성 지원해 달라 @@!

Method composition

• 메서드에서는 어떨까? (No FreeFunction)
• 기능의 결합이 또다른 메서드를 필요로 할 수 밖에 없음 (다른 메서드를 작성하는 것으로 결합을 이루어야 함)

extension Int {
  func incrAndSquare() -> Int {
    return self.incr().square()
  }
}

이것은(메서드 컴포지션) 작동하지만 많은 일이 벌어지고 있습니다!
5줄의 코드를 작성했고, 4개의 키워드를 사용했으며, 유형을 지정해야 했고, 우리가 신경 쓰는 부분인 square().incr()을 확대하면 전체 그림에서 아주 작은 부분입니다. 컴포지션에 이렇게 많은 전문 용어와 노력이 필요하다면 그만한 가치가 있는지 자문해봐야 합니다.

• 메서드에서는 값이 없으면 메서드나 메서드의 구성을 참조할 수 없습니다.

// valid:
2.incr().square()

// not:
.incr().square()
incr().square()

기본적으로 재사용성이 떨어집니다!! (메서드는)

(...등등)

Whats the Point?

• 함수는 메서드가 할 수 없는 방식으로 합성할 수 있음

• 함수도 다양한 방식으로 범위를 지정할 수 있음

• 구조체와 열거형에 정적 멤버인 함수를 정의할 수 있음

• 함수를 두려워하지 마세요!