Rust newtype with guarantees 🇺🇦 🦀
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Helpers for easily using failure::Error and others as return types in main() while still giving human-readable error messages.
Solutions to exercises from the book Haskell Programming
Sensible, performant primitives for writing semantic TypeScript code
newtype and refinement (refined) type for Scala 3
Opaque type encoding for convenient new types, and boilerplate minimization of integration with 3rd party libraries like circe, http4s, doobie, skunk, etc.
Introduction into fs2, newtype and refined types.
Reference implementation of https://github.com/gothinkster/realworld using typelevel stack, refined and newtype
