Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual
-
Updated
May 16, 2020 - Haskell
Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual
implementation deriving for idris2
Zero-dependency boilerplate-free tagged types for Scala
Type-level building blocks for making Cow-like containers in Rust
💎 Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
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"
Proof of concept for monix/newtypes and Tapir integration
A statically-typed strictly-evaluated garbage-collected readable programming language.
🛒 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."