YBogomolov / talk-typelevel-ts
Code samples for my talk “Type-level programming in TypeScript”
☆29Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for talk-typelevel-ts
- Functional reactive values-over-time☆79Updated 5 months ago
- Algebraic graphs implementation in TypeScript☆128Updated last year
- Type-safe wrapper around Fetch API☆131Updated last year
- Kleisli arrows for bifunctor IO☆45Updated last year
- Code kata for fp-ts☆36Updated 5 years ago
- Code samples for #monadicmonday topics☆88Updated 4 years ago
- fp-ts bindings for Fluture☆50Updated 4 years ago
- fp-ts type class laws for property based testing☆81Updated last year
- Stable hooks for react using FP-TS equality checks instead of shallow (reference) object comparison☆74Updated last year
- Computational environments and effects for TypeScript☆59Updated last year
- A tagged unions code generation library for discriminating tastes☆43Updated last year
- Indexed monads for TypeScript; a companion library of fp-ts☆18Updated 3 years ago
- Code template for workshop "Building eDSLs in functional TypeScript"☆54Updated 3 years ago
- Companion to the youtube series☆15Updated last year
- Circuit Breaker pattern as a monad☆69Updated last year
- WIP Search TypeScript functions and methods by types☆84Updated 2 years ago
- Experimenting with React, fp-ts, ReaderTaskEither, etc.☆19Updated 3 years ago
- ☆74Updated 2 years ago
- Practical Optics • Unfancy monocle-ts☆99Updated last week
- ADT sum type in typescript☆70Updated last year
- Encoding higher-kinded types in TypeScript☆41Updated 5 years ago
- Extract or modify pieces of arbitrarily nested types with type lenses☆26Updated 7 months ago
- Bootstrap libraries that follow common fp-ts coding, documentation and testing patterns☆40Updated 2 years ago
- Purely-functional strictly-typed IoC/DI for TypeScript☆39Updated 6 months ago
- A Higher-Kinded-Types encoding for TypeScript w/ Composable Typeclasses☆41Updated last year
- A take on TodoMVC developed using functional effects with @matechs/effect and fp-ts☆15Updated last year
- TypeScript code generation from a haskell-like syntax for ADT. Playground:☆106Updated 5 years ago
- io-ts codec to fast-check arbitrary mapping☆32Updated 3 years ago
- Pattern matching in TS with Record Patterns, Type Patterns, type inference and more☆67Updated 4 years ago
- Bit of a mess 💩☆14Updated last year