2. NewHeart
서승현
Functional Programming
and
Tail Recursion

3. Contents
1. Functional Programming
2. Features
3. Tail Recursion
4. Q&A

4. Functional Programming
Object-Oriented Programming Procedural Programming

5. Object-Oriented Programming

6. Object-Oriented Programming

7. 모든 것은 객체다
Object-Oriented Programming

8. 모든 것은 객체다
Object-Oriented Programming
추상화

9. Functional Programming

10. 모든 것은 함수다
Functional Programming
추상화

11. Functional Programming

12. Functional Programming
모든 것은 수학적인 함수다

13. 모든 것은 수학적인 함수다
Functional Programming

14. Functional Programming
참조적 투명성
모든 것은 수학적인 함수다

15. Procedural Programming
Referential Transparency

16. Referential Transparency

17. Mathematics
Referential Transparency

18. Referential Transparency
𝒇 𝒙 = 𝒙 𝟐
+ 𝒙 + 𝟏
𝒌 = 𝟏
𝒙 = 𝒌 + 𝒇 𝒌
𝒚 = 𝒌 + 𝒇 𝒌
𝒙 = 𝒚?

19. 참조적 투명성
Functional Programming

20. 참조적 투명성
Functional Programming
상태에 영향을 받지 않는다

21. 모든 것은 수학적인 함수다
Functional Programming

22. 1. Type Inference
2. List Processing
3. Pure Function
4. Non-Strict Evaluation
5. First-Class Function
6. Recursion
Features

23. Ocaml

24. 1. Type Inference
2. List Processing
3. Pure Function
4. Non-Strict Evaluation
5. First-Class Function
6. Recursion
Features

25. Ocaml Primitive Types
int
float
char
string
bool
unit
2, -2, …
2.0, -2.0, …
‘2’, ‘b’, …
“”, “22”, …
true, false
()

26. Type Inference

27. Type Inference

28. Type Inference
Javascript

29. Type Inference
Javascript Ocaml

30. Type Inference

31. 1. Type Inference
2. List Processing
3. Pure Function
4. Non-Strict Evaluation
5. First-Class Function
6. Recursion
Features

32. List Processing

33. List Processing

34. List Processing

35. 1. Type Inference
2. List Processing
3. Pure Function
4. Non-Strict Evaluation
5. First-Class Function
6. Recursion
Features

36. Pure Function

37. Function

38. Function
Javascript

39. Function
Javascript Ocaml

40. Function

41. Currying

42. Currying

43. Referential Transparency
C++

44. Referential Transparency
C++ Ocaml

45. Referential Transparency
OcamlJavascript

46. Referential Transparency

47. 1. Type Inference
2. List Processing
3. Pure Function
4. Non-Strict Evaluation
5. First-Class Function
6. Recursion
Features

48. Short-Circuit Evaluation

49. Short-Circuit Evaluation

50. Short-Circuit Evaluation

51. Non-Strict Evaluation
length [0/0, 1/0, 2/0]

52. Non-Strict Evaluation
length [0/0, 1/0, 2/0]

53. Non-Strict Evaluation
length [0/0, 1/0, 2/0]

54. Non-Strict Evaluation
length [0/0, 1/0, 2/0]

55. Non-Strict Evaluation

56. Non-Strict Evaluation

57. 1. Type Inference
2. List Processing
3. Pure Function
4. Non-Strict Evaluation
5. First-Class Function
6. Recursion
Features

58. First-Class Function
1. 함수를 인자로서 넘길 수 있다
2. 함수를 값으로서 반환할 수 있다
3. 익명 함수와 중첩 함수
4. 변수에 함수를 대입할 수 있다
5. 비지역 변수와 클로져

59. Passing Functions as Arguments

60. Passing Functions as Arguments

61. Passing Functions as Arguments

62. First-Class Function
1. 함수를 인자로서 넘길 수 있다
2. 함수를 값으로서 반환할 수 있다
3. 익명 함수와 중첩 함수
4. 변수에 함수를 대입할 수 있다
5. 비지역 변수와 클로져

63. Returning Functions as Results

64. Returning Functions as Results

65. Returning Functions as Results

66. First-Class Function
1. 함수를 인자로서 넘길 수 있다
2. 함수를 값으로서 반환할 수 있다
3. 익명 함수와 중첩 함수
4. 변수에 함수를 대입할 수 있다
5. 비지역 변수와 클로져

67. Anonymous and Nested Functions

68. First-Class Function
1. 함수를 인자로서 넘길 수 있다
2. 함수를 값으로서 반환할 수 있다
3. 익명 함수와 중첩 함수
4. 변수에 함수를 대입할 수 있다
5. 비지역 변수와 클로져

69. First-Class Function
1. 함수를 인자로서 넘길 수 있다
2. 함수를 값으로서 반환할 수 있다
3. 익명 함수와 중첩 함수
4. 변수에 함수를 대입할 수 있다
5. 비지역 변수와 클로져

70. Non-local Variables and Closures

71. First-Class Function
1. 함수를 인자로서 넘길 수 있다
2. 함수를 값으로서 반환할 수 있다
3. 익명 함수와 중첩 함수
4. 변수에 함수를 대입할 수 있다
5. 비지역 변수와 클로져

72. 1. Type Inference
2. List Processing
3. Pure Function
4. Non-Strict Evaluation
5. First-Class Function
6. Recursion
Features

73. Recursion

74. Recursion

75. 1. Type Inference
2. List Processing
3. Pure Function
4. Non-Strict Evaluation
5. First-Class Function
6. Recursion
Features

76. Tail Recursion
1. Tail Recursion Optimization
2. Tail Recursion by Accumulator
3. Continuation-Passing Style

77. Stack Overflow

78. Tail Recursion

79. Tail Recursion Optimization

80. Tail Recursion Optimization

81. Tail Recursion

82. Tail Recursion by Accumulator

83. Tail Recursion Optimization
Before After

84. Tail Recursion Optimization
Before After

85. Tail Recursion by Accumulator

86. Tail Recursion by Accumulator

87. Continuation-Passing Style

88. Continuation-Passing Style

89. Direct Style

90. Direct Style

91. Continuation-Passing Style

92. Continuation-Passing Style

93. Continuation-Passing Style

94. Continuation-Passing Style

95. Continuation-Passing Style
1. 꼬리 재귀 최적화
2. 비동기 호출의 실행 순서 보장
3. 에러 분기 제어

96. Tail Recursion
1. Tail Recursion Optimization
2. Tail Recursion by Accumulator
3. Continuation-Passing Style

97. Q&A