본질의 중요성

아래 내용은 let us: Go! 2017 'Functional Reactive Programming 패러다임' 발표 내용을 정리한 글입니다.

Contents

1. Programming
2. Paradigm (패러다임)
3. Functional
   1) Immutable
   2) Pure function (순수 함수)
   3) Generator, Function, Consumer, Composition
   4) High-Order function, First Class Citizen
   5) Imperative Programming(명령형 프로그래밍) vs Declarative Programming(선언형 프로그래밍)
4. Reactive

Summary

• Functional: (Concurrent 시대에 여러 프로그램이 동시에 돌아가기 위해서 외부에 영향을 주지 않아야 하기 때문에 )
  Side-Effect가 없도록 프로그래밍 하는 패러다임
• Reative:
  Async한 작업을 Functional하게 처리하는 아이디어
• RxSwift:
  Reactive 아이디어를 구현한 Swift 라이브러리

1. Programming

2. Paradigm(패러다임)

정의
어떤 한 시대 사람들이 견해나 사고를 근본적으로 규정하고 있는 테두리로서의 인식의 체계, 또는 사물에 대한 이론적인 틀이나 체계를 의미하는 개념 (by 위키백과)

(동시대를 살아가고 있는 사람들이 같은 생각을 가지고 있는 것 - 그 시대를 반영함)

3. Functional

Immutable, Pure function, Composition, High-Order function, first class citizen 등 이와 같은 용어가 왜 생겨나게 되었는지 살펴보자.

1) Immutable

• 데이터 공유에 대한 문제점을 해결하고자 값을 쓰지 못하게 하는 Immutable 용어 등장
• Concurrency 시대에서 데이터를 여러 프로그램(인스턴스)이 동시에 읽고 쓰는 문제가 생김. (Read는 문제가 없지만 Write에 문제가 있음)
  • 전 시대에는 synchronize를 걸고, 세마포어나 뮤텍스를 사용하여 동기화를 맞추는 방법으로 해결함
  • 요즘 modern language들은 못쓰는 변수 제공 : "Immutable" (ex. Swift Langauge의 let)

2) Pure function (순수 함수)

• Pure function(순수 함수): 외부 변수를 사용하지 않고 파라미터로 값을 만들고 새로운 값을 리턴하는 함수
• 배경: Concurrency 시대에 값을 공유함으로써 Side-Effect가 생김 (외부 변수에 문제가 생기기 때문에 Side-Effect라고 부름)
• 결론: 순수함수를 사용하자. (high memory 시대니까 메모리는 걱정 없으니까 side-effect를 줄이기 위해서)

3) Generator, Function, Consumer, Composition

• 함수 종류의 용어 정리
  • Generator: Output만 존재하는 함수
  • Function: Input, Output이 존재하는 함수
  • Consumer: Input만 존재하는 함수
  • (Ref. Submodule, Action: Input, Output이 없는 함수)
• Composition (함수의 합성) : 함수와 함수를 섞어서 사용하는 것을 뜻함.

4) High-Order function, First Class Citizen

• High-Order function (고차 함수):
  함수가 파라미터로 전달되는 될 때, 함수 안에서 함수가 사용되는 것이 2개면 2차 함수, 3개면 3차함수, 여러개면 고차함수.
• First Class Citizen (일급 개체):
  변수에 담거나 리턴값으로 사용할 수 있거나, Array에 담을 수 있는 것을 일급 개체라고 함.
• Funtional Language: Function 자체를 일급 개체화 할 수 있는 언어
• Swift는 Multi-Paradigm Language : Function, Protocol, Struct를 일급개체화 할 수 있으므로.
  (Ref. 자바는 Object를 일급개체화 하므로 OOP)

5) Imperative Programming(명령형 프로그래밍) vs Declarative Programming(선언형 프로그래밍)

• 특별한 기술이 아니고 기존에 있던 방식으로 function 방식으로 프로그래밍을 하면 Functional Programming인 것.
• 생각의 주체를 데이터에 두느냐 함수에 두드냐 생각의 관점이 옮겨짐 => 패러다임 

6) 'Functional' Summary

• 데이터는 immutable하게 취급하자
• 데이터 변경이 필요할 때는 새로 만들자
• Side-Effect를 없애기 위해서 Pure function을 사용하자
• Function들의 Composition과 High-Order Function으로 프로그램을 만들자
• Data가 아닌 Process에 집중해서 프로그램을 만들자

4. Reactive

• Async job, Expensive job : Callback or Delegate pattern으로 주로 사용
• 배경: Async한 상황에서 async한 데이터를 어떻게 처리할 것이냐! 로 개념이 나오게 됨.
• 결론: 스트림을 만들고 거기에 데이터를 흘려보내자,

Reactive 정의

In computing, reactive programming is an asynchronous programming paradigm concerned with data streams and the propagation of change.

Reactive Summary

• Async한 처리를 Functional하게 처리하자
• 리턴값은 Stream인 Observable을 반환하자
• Stream에 흐르는 Data/Event를 Operator로 처리하자
• Stream과 Stream을 연결하자
• Data가 아닌 Process에 집중해서 프로그램을 만들자

Ref.

https://iamchiwon.github.io/2017/11/04/frpp/

예전에 커밋한 메시지를 수정하는 방법을 알아보자

1. 수정을 원하는 커밋이 존재하는 곳까지 HEAD로 부터 지정

git rebase -i HEAD~5

그러면 아래와 같이 편집을 할 수 있는데, 수정을 원하는 커밋에 pick 대신 edit(또는 e)를 써준다!
(커밋 메시지 수정 외의 다른 기능도 있음 - 아래 명령어 참조)

pick cc5605d test1
e 487bd6b test2
e 73bda22 test3
pick 0ce101f test4
pick a2198fc test5

# Rebase bb0d4f2..a2198fc onto bb0d4f2 (5 commands)
#
# Commands:
# p, pick <commit> = use commit
# r, reword <commit> = use commit, but edit the commit message
# e, edit <commit> = use commit, but stop for amending
# s, squash <commit> = use commit, but meld into previous commit
# f, fixup <commit> = like "squash", but discard this commit's log message
# x, exec <command> = run command (the rest of the line) using shell
# b, break = stop here (continue rebase later with 'git rebase --continue')
# d, drop <commit> = remove commit
# l, label <label> = label current HEAD with a name
# t, reset <label> = reset HEAD to a label
# m, merge [-C <commit> | -c <commit>] <label> [# <oneline>]
# .       create a merge commit using the original merge commit's
# .       message (or the oneline, if no original merge commit was
# .       specified). Use -c <commit> to reword the commit message.
#
# These lines can be re-ordered; they are executed from top to bottom.
#
# If you remove a line here THAT COMMIT WILL BE LOST.
#
# However, if you remove everything, the rebase will be aborted.
#
# Note that empty commits are commented out

2. 위 vi를 수정하고 저장하면 edit(또는 e)로 지정한 커밋 메시지로 차례차례 옮겨진다.

아래 명령어를 입력하여 현재 위치에 있는 메시지 수정

git commit -amend

수정이 완료가 되었으면 아래 명령어 입력. 아래 명령어를 입력하면 다음 수정하는 커밋으로 HEAD가 이동된다.

git rebase --continue

수정을 원하는 커밋이 모두 수정 완료되면

Successfully rebased and updated refs/heads/branch_name.

이렇게 나오면 정상적으로 수정 끝!

목차

1. Subscript Syntax
2. Subscript Usage
3. Type Subscripts

Subscripts

Classes, structures, and enumerations can define subscripts, which are shortcuts for accessing the member elements of a collection, list, or sequence.  

(subscript - 컬렉션, 리스트, 시퀀스의 멤버 엘리먼트에 접근하기 위한 shortcut을 제공)

ex) someArray[index], someDictionary[key], ...

1. Subscript Syntax

- subscripts can be read-write or read-only.

subscript(index: Int) -> Int {
    get {
        // Return an appropriate subscript value here.
    }
    set(newValue) {
        // Perform a suitable setting action here.
    }
}

2. Subscript Usage

struct Matrix {
    let rows: Int, columns: Int
    var grid: [Double]
    init(rows: Int, columns: Int) {
        self.rows = rows
        self.columns = columns
        grid = Array(repeating: 0.0, count: rows * columns)
    }
    func indexIsValid(row: Int, column: Int) -> Bool {
        return row >= 0 && row < rows && column >= 0 && column < columns
    }
    subscript(row: Int, column: Int) -> Double {
        get {
            assert(indexIsValid(row: row, column: column), "Index out of range")
            return grid[(row * columns) + column]
        }
        set {
            assert(indexIsValid(row: row, column: column), "Index out of range")
            grid[(row * columns) + column] = newValue
        }
    }
}

3. Type Subscripts

enum Planet: Int {
    case mercury = 1, venus, earth, mars, jupiter, saturn, uranus, neptune
    static subscript(n: Int) -> Planet {
        return Planet(rawValue: n)!
    }
}
let mars = Planet[4]
print(mars)

Ref.

https://docs.swift.org/swift-book/LanguageGuide/Subscripts.html

https://kka7.tistory.com/118?category=919617

Methods

목차

1. Instance Method
2. Type Method

Class, Structure, Enumeration 모두 생성 가능

1. Instance Method

Modifying Value Types from Within Instance Methods

• 기본적으로, Value 타입의 property는 인스턴스 메소드 안에서 수정될 수 없음.  (여기서말하는 value 타입은 struct, enum)
• mutating 키워드 : 메소드에서 property의 수정이 가능하도록 정의하기 위해 추가

struct Point {
    var x = 0.0, y = 0.0
    mutating func moveBy(x deltaX: Double, y deltaY: Double) {
        x += deltaX
        y += deltaY
    }
}
var somePoint = Point(x: 1.0, y: 1.0)
somePoint.moveBy(x: 2.0, y: 3.0)
print("The point is now at (\(somePoint.x), \(somePoint.y))")
// Prints "The point is now at (3.0, 4.0)"

2. Type Method

• 타입 자체에서 호출되는 메소드
• func 키워드 앞에 static 키워드 작성
• Objective-C에서는 Class에서만 type-level method를 정의할 수 있었다. Swift에서는 모든 클래스, 구조체, 열거형에서 정의 가능

class SomeClass {
    class func someTypeMethod() {
        // type method implementation goes here
    }
}
SomeClass.someTypeMethod()

struct LevelTracker {
    static var highestUnlockedLevel = 1
    var currentLevel = 1

    static func unlock(_ level: Int) {
        if level > highestUnlockedLevel { highestUnlockedLevel = level }
    }

    static func isUnlocked(_ level: Int) -> Bool {
        return level <= highestUnlockedLevel
    }

    @discardableResult
    mutating func advance(to level: Int) -> Bool {
        if LevelTracker.isUnlocked(level) {
            currentLevel = level
            return true
        } else {
            return false
        }
    }
}

Ref.

https://docs.swift.org/swift-book/LanguageGuide/Methods.html

https://kka7.tistory.com/117?category=919617