search

spartanz / schemaz

A purely-functional library for defining type-safe schemas for algebraic data types, providing free generators, SQL queries, JSON codecs, binary codecs, and migration from this schema definition
https://spartanz.github.io/schemaz
Apache License 2.0
164 stars 18 forks source link

Align with Typedefs.com #59

Open ludovicc opened 5 years ago

ludovicc commented 5 years ago

TypeDefs is a project in Idris with very similar goals and internals as scalaz-schema (1). It already supports several target languages (2), and scalaz-schema has got a good opportunity to become the Scala implementation.

(1) https://github.com/typedefs/typedefs/blob/master/src/Typedefs.idr#L14 (2) https://typedefs.com/targets/

vil1 commented 5 years ago

Hi @ludovicc!

I barely can read Haskell, let alone Idris... Can you tell us a bit more about the Typedefs project and how it relates to scalaz-schema?