yoctodb-schema

Typed schema for yoctodb

Motivation

Yoctodb has no schema and untyped query language. This is an attempt to take advantage of scala3 type system to provide typed schema for indexes so that we could use it to construct typed queries.

Further work, ideas

Maybe codegen for CEntry cases

Try this https://medium.com/riskified-technology/type-class-derivation-in-scala-3-ba3c7c41d3ef

ZIO links

SF Scala: Reimagining Functional Type Classes: https://www.youtube.com/watch?v=OwmHgL9F_9Q

The Terror-Free Guide To Introducing Functional Scala At Work: https://www.youtube.com/watch?v=Sinde_P7nmY

Exploring ZIO Prelude The game-changer for type classes in Scala: https://youtu.be/OzoMofqsPg8

ZIO WORLD - ZIO Prelude: https://youtu.be/69ngoqVXKPI

Zymposium - ZIO Prelude: https://youtu.be/M3HmROwOoRU (Validations, NewType and SmartTypes)

Zymposium - ZIO schema: https://youtu.be/GfNiDaL5aIM

License

This code is open source software licensed under the Apache 2.0 License.

Future work

TODO: extract schema from index

Code and slides on type class derivation in Scala 3.

https://github.com/ron-aharoni/deriving-meetup.git Code and slides on type class derivation in Scala 3. Blog Video.

Create Custom Linters Using Tasty Inspection by Vincent de Haan: https://youtu.be/zq00DKVK95I?list=LL

Generating Libraries: https://youtu.be/HCPTmytex3U