type-plus
talk-typelevel-ts
type-plus | talk-typelevel-ts | |
---|---|---|
1 | 1 | |
353 | 28 | |
- | - | |
9.6 | 0.0 | |
3 days ago | almost 3 years ago | |
TypeScript | TypeScript | |
MIT License | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
type-plus
-
Trying to Understand Copilot's Type Spaghetti
That’s just how type programming looks.
Here’s (https://github.com/unional/type-plus/blob/main/packages/type...) a human written example that’s well-factored and uses loads of subtypes to clarify what it’s doing - but it’s still going to read like the black tongue of Mordor to you if you’re not familiar with how this kind of type stuff is structured and used.
And factoring all that stuff out may help readability but it doesn’t help comprehension - try and trace what the actual underlying type definitions for some of those utility types like IdentityEqual<> are actually doing (look at https://github.com/unional/type-plus/blob/main/packages/type...) and realize the rabbit hole runs deep in this stuff.
talk-typelevel-ts
-
Making Illegal States Unrepresentable in TypeScript
excellent vid- been following your typelevel programming talk recently and this is a really interesting next step!
What are some alternatives?
bukubrow-webext - WebExtension for Buku
ts-essentials - All essential TypeScript types in one place 🤙
remote-data-ts - RemoteData type
elm-ts - A porting to TypeScript featuring fp-ts, rxjs6 and React
nest-clean-architecture - 🏛️ Nest.js clean architecture example following some DDD principles with use-cases written in functionnal programming.
brainfuck-ts-types - A brainfuck interpreter running within the typescript type system
fp-army-knife - 100% 🪖 code covered Functional programming 🔪 army knife
talk-making-illegal-states-unrepresentable - Code samples for the talk "Making Illegal States Unrepresentable"
Index - ⚡ Pattern Matching in Typescript