태그: Functional Programming
4편
-
Effect-TS로 Promise의 한계 넘기: 에러를 타입으로, Context 의존성 주입, Fiber 동시성
Effect-TS 정리. Promise·async/await의 한계를 넘어 에러를 타입으로, 의존성을 Context로, 동시성을 Fiber로 표현하는 함수형 TypeScript 런타임과 React·Node 적용 예제를 다룹니다.
-
Roc 언어 입문: 태그 유니온과 패턴 매칭, 플랫폼 기반 I/O, 타입 추론, CLI 만들기
Elm에서 영향을 받은 순수 함수형 언어 Roc의 태그 유니온과 when 패턴 매칭, 레코드, 타입 추론, :=로 만드는 Opaque 타입, Result와 효과 표기로 하는 에러 처리를 설명합니다. basic-cli 플랫폼으로 작은 CLI 도구를 만들어 보고 현재 한계도 짚습니다.
-
Gleam 입문: BEAM 위의 정적 타입 함수형 언어, 패턴 매칭, Result, OTP, Wisp 웹 서버
Gleam은 BEAM에서 동작하는 정적 타입 함수형 언어입니다. 타입 시스템·패턴 매칭·Result·Erlang FFI·OTP·Wisp·Mist 웹까지 실무 관점으로 정리합니다. Gleam은 Erlang 가상 머신(BEAM)과 JavaScript를 타깃으로 하는 정적 타입 함수형 언어입니다. 문법은 Rust·ML 계열에 가깝고, 런타임 특성은 Erlang/Elixir와 같습니다.
-
Effect로 TypeScript 비즈니스 로직 짜기: 태그 에러, Layer DI, Stream·Schedule, 테스트
Effect<A, E, R>의 세 타입 인자를 읽는 법부터 throw 대신 태그 에러로 실패를 모델링하고 Context.Tag와 Layer로 의존성을 주입하는 방법을 다룹니다. Stream·Fiber·Schedule을 이용한 동시성, Layer 교체로 하는 테스트, 기존 Promise 코드와의 경계도 설명합니다.