グラフ系の DB 、静的型付き言語での実装がいずれも大変そうなので、なんかこう……何かないものかな
根本的にデータがプログラムにとって「外部データ」であるところが原因なので、ちょっとやそっとの工夫では解決できない気がするんだよなぁ。
せいぜい型定義から自動でコードを導出して、読み書きの境界で検査を強制するくらいか
まあこれはグラフ系に限らなくて、 RDB でもロジックと DB のスキーマのバージョン違ったらどうすんねんみたいなあれこれから似たような問題解決を迫られるんだけど、グラフだとたぶんリンクの自由度が高いとかクエリの結果型を詳細に特定しづらいところが特に面倒なのかな