기반 개념
- Local Reasonning = type signature describes the kind of computation that will be performed
- Referential transparency = ability to replace an expression with the value that it evaluate to
Effect
- the type signature describes what kind of computation it will perform
- the type signature describes the type of VALUE that it will produce
- if side effect are required, construction must be separate from the EXECUTION
'Tech > Scala' 카테고리의 다른 글
| 함수형 프로그래밍 Type Class : FlatMap and Monad (0) | 2024.02.24 |
|---|---|
| 함수형 프로그래밍 Type Classes: Applicative, Apply (0) | 2024.02.18 |
| 함수형 프로그래밍 Type Class : Semigroupal (1) | 2024.02.14 |
| 함수형 프로그래밍의 시작점(?), Free Monad in Scala (0) | 2023.10.13 |
| 함수형 프로그래밍의 Monad 개념 정리 (in Scala) (0) | 2022.12.20 |