🛒 The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
🏮 Standalone examples shown in the book "Practical FP in Scala: A hands-on approach"
💎 Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
A statically-typed strictly-evaluated garbage-collected readable programming language.
Zero-dependency boilerplate-free tagged types for Scala
implementation deriving for idris2
Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual
Proof of concept for monix/newtypes and Tapir integration
Type-level building blocks for making Cow-like containers in Rust
The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
Add a description, image, and links to the newtypes topic page so that developers can more easily learn about it.
To associate your repository with the newtypes topic, visit your repo's landing page and select "manage topics."