|
|
|
|
|
by lolski
1713 days ago
|
|
You might want to check TypeDB, which is a database with a strongly-typed query language: https://github.com/vaticle/typedb. It doesn't do union types yet, but it's got type inheritance, type inference, type-safe joins (with its "relation" feature). It's quite cool what you can do with it when you can express complex domain with the language. Disclaimer: I work there. |
|