alstn2468 / functional-programming

Introduction to Functional Programming (Korean)

Hello👋 My name is Minsu and I lived in Republic of Korea.

• 💻 Junior Developers Interested in Web and Infrastructure
• ⏰ I think consistency is my biggest strength.
• 📝 I mainly use TypeScript, and I am interested in Functional Programming.
• 🙌 I enjoy meeting good developers and talking about development.
• 🌈 My dream is to develop a meaningful service that many people can use.

Languages and Tools

functional-programming's Issues

📍 번역을 위한 용어집

번역에 필요한 용어를 정리합니다.
의견은 코멘트로 하나로 취합해 최상단에서 관리될 예정입니다.
용어집에 올라온 후 7일간 의견이나 논의가 없는 경우 테이블에 있는 용어로 결정됩니다.

• 용어 참고자료

원문	번역	결정 여부
Side effect	부작용	✅
Composition	합성	✅
Combinator	결합자	✅
Associativity	결합법칙	✅
Commutative	가환적	✅
Equivalence	동등성	✅
Reflexivity	재귀성	✅
Symmetry	대칭성	✅
Transitivity	추이적	✅
Antisymmetry	반대칭성	✅

[Translation] Category theory (Modeling programming languages with categories)

@alstn2468

[Translation] Functors

• Functions as programs @alstn2468
• A boundary that leads to functors @alstn2468
• Definition @alstn2468
• Functors and functional error handling @alstn2468
• Functors compose @alstn2468
• Contravariant Functors @alstn2468
• Functors in fp-ts @alstn2468
• Do functors solve the general problem? @alstn2468

[Translation] Algebraic Data Types (What is an ADT?)

@alstn2468

[Translation] Modelling equivalence with `Eq`

• Modeling ordering relations with Ord @alstn2468
• Dual Ordering @alstn2468

[Translation] Applicative functors

• Currying
• The ap operation
• The of operation
• Applicative functors compose
• Do applicative functors solve the general problem?

[Translation] Algebraic Data Types (Sum types)

• Constructors @alstn2468
• Pattern matching @alstn2468
• Why "sum" types? @alstn2468
• When should I use a sum type? @alstn2468

[Translation] Category theory (A category for TypeScript)

@alstn2468

[Translation] Category theory (Composition's core problem)

@alstn2468

[Translation] Category theory (Definition)

• Part I (Constituents) @alstn2468
• Part II (Composition) @alstn2468

[Translation] Modeling composition through Monoids

• The concatAll function @alstn2468
• Product monoid

[Translation] Monads

• The problem with nested contexts
• Monad Definition
• The Kleisli category
• Defining chain step by step
• Manipulating programs

[Translation] Pure and partial functions

@alstn2468

[Translation] Algebraic Data Types (Product types)

• Why "product" types? @alstn2468
• When can I use a product type? @alstn2468

[Translation] Algebraic Data Types (Functional error handling)

• The Option type @alstn2468
• An Eq instance @alstn2468
• Semigroup and Monoid instances @alstn2468
• The Either type @alstn2468