본문 바로가기

Type

(6)
[번역] 타입스크립트를 활용한 타입 프로그래밍 입문 타입스크립트를 이용하면 타입 자체를 프로그래밍 하는 것이 가능합니다. 이런 식으로 데이터와 로직이 아닌, 프로그램에 대한 정보를 프로그래밍하는 것을 메타 프로그래밍이라 합니다. 타입스크립트를 활용해 좀 더 풍부한 타입을 만드는 방법의 기초를 다져봅니다. 원문은 아래에서 확인하실 수 있습니다. https://www.zhenghao.io/posts/type-programming Zhenghao's site The official site of Zhenghao He, a software engineer and a TypeScript/JavaScript enthusiast. www.zhenghao.io 타입스크립트는 JS에서 벗어나서, 타입만을 가지고도 프로그래밍할 수 있는 타입 프로그래밍 언어입니다. 타입 언..
타입으로 도메인 모델링하기 with F# - Aggregate (집합체) https://pragprog.com/titles/swdddf/domain-modeling-made-functional/ Domain Modeling Made Functional Use domain-driven design to effectively model your business domain, and implement that model with F#. pragprog.com Order 및 OrderLine 타입에 대해 자세히 살펴보겠습니다. type OrderLine = { OrderLineId : int Price : float // etc } type Order = { OrderLines : OrderLine list // etc } 첫째, Order는 Entity인가요, Value Objec..
타입으로 도메인 모델링하기 with F# - Value Object, Entitiy https://pragprog.com/titles/swdddf/domain-modeling-made-functional/ Domain Modeling Made Functional Use domain-driven design to effectively model your business domain, and implement that model with F#. pragprog.com 도메인 타입(simple type, compound type)과 워크플로(함수)를 모델링 하였으므로, 데이터 타입의 persistent ID 여부로 VO와 Entity를 분류, F# 문법으로 구현하는 법을 알아봅니다. DDD 용어에서 영구(persistent) ID가 있는 개체를 Entitiy라고 하고 영구(persistent..
타입으로 도메인 모델링하기 with F# - 단순, 복합 타입과 함수 소스코드를 UML, 문서와 같이 사용할 수 있을까요? F# 타입 시스템을 사용하여 코드에 대해 충분히 정확하게 도메인 모델을 캡처하면서 도메인 전문가 및 기타 비개발자가 읽고 이해할 수 있도록 하는 방법을 배웁니다. 타입이 대부분의 문서를 대체할 수 있으며 그 기능은 강력한 이점이 있음을 알 수 있습니다. 디자인이 코드 자체에 표현되기 때문에 구현이 설계와 반드시 동기화됩니다. 설계 리뷰하기 https://itchallenger.tistory.com/411 도메인을 문서화하기 기술적 구현에 대한 편견을 피하면서, 이러한 요구 사항을 어떻게 기록해야 할까요? 시각적 다이어그램(예: UML)을 사용할 수 있지만 작업하기 어렵고 도메인의 미묘한 부분을 포착할 만큼 충분 itchallenger.tistory.c..
타입으로 코드 문서화하기 With F# - 타입을 조합하여 도메인 모델링 https://pragprog.com/titles/swdddf/domain-modeling-made-functional/ Domain Modeling Made Functional Use domain-driven design to effectively model your business domain, and implement that model with F#. pragprog.com 조합 가능한 타입 시스템은 타입 조립을 통해 복잡한 모델을 신속하게 생성할 수 있기 때문에 도메인 기반 설계를 수행하는 데 큰 도움이 됩니다. 예를 들어 전자 상거래 사이트에 대한 지불을 추적하려고 한다고 가정해 보겠습니다. 이것이 디자인 세션 동안 코드에서 어떻게 스케치되는지 봅시다. 먼저 CheckNumber와 같은 기본 ..
타입으로 코드 문서화하기 With F# - 타입 기초 https://fsharpforfunandprofit.com/books/ Books | F# for fun and profit This book starts with a discussion of Domain Driven Design, and then shows to how to model a design using types. The last part shows how to implement the design using functional programming with F# (composition of functions, “railway-oriented programming fsharpforfunandprofit.com 함수형 프로그래밍 언어의 대수적 타입 시스템을 이용하여 도메인 모델의 개념을 코드에..