Projects in Awesome Lists tagged with newtypes
A curated list of projects in awesome lists tagged with newtypes .
https://github.com/gvolpe/pfps-shopping-cart
:shopping_cart: The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
cats cats-effect finally-tagless fp fs2 functional-programming http4s newtypes refined skunk tagless tagless-final typeclass-derivation typeclasses
Last synced: 15 May 2025
https://github.com/gvolpe/pfps-examples
:izakaya_lantern: Standalone examples shown in the book "Practical FP in Scala: A hands-on approach"
cats cats-effect cats-mtl fp fs2 functional-programming monocle newtypes refined
Last synced: 13 Apr 2025
https://github.com/gvolpe/shopping-cart-haskell
:gem: Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
functional-programming http newtypes postgresql refined servant
Last synced: 20 Mar 2025
https://github.com/wbbradley/ace
A statically-typed strictly-evaluated garbage-collected readable programming language.
compiler ffi garbage-collect hindley-milner lambda-calculus llvm llvm-compiler newtypes polymorphism programming-language static-typing system-f type-safety typeclass zion
Last synced: 15 Sep 2025
https://github.com/gvolpe/types-matter
Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual
haskell newtypes refined refinement-types types
Last synced: 21 Jul 2025