F#でER図を書こうと思ったけど止めておくの巻

#light

let (||-||) x y =
    printfn "%A join %A: 1 vs 1"
let (>|-||) x y =
    printfn "%A join %A: 1..* vs 1"
let (>@-||) x y =
    printfn "%A join %A: 0..* vs 1"
let (|@-||) x y =
    printfn "%A join %A: 0..1 vs 1"

F# ではオペレータの再定義が自由なので、色々な演算子が作れる…ってことは、ER図の鳥足みたいのもできるのでは？と思ったのがこれ。

演算子としては異様、と言いますか単純に外部結合をするだけのために使う、のかな。

Products.category_id >@-@| Categories.id

のような感じで、Products テーブルと Categories テーブルが「多対1」のように示すわけですが、思いついてはみたけれど何のために使うのかわかりません。O/R マッピングを XML ファイルで定義するよりも使い手があれば、それでもいいんですが。

そういえば、xml 形式の定義で思い出したのですが、設定ファイルというのは何も xml 形式やバイナリ形式にする必要もないのです。設定ファイルというと、昔は ini ファイル形式だったり、適当なバイナリ形式だったり、テキスト形式だったりして、最近は xml 形式が流行りな訳ですが、コード自身をファイルに保存しておくという形式があります。

TeX 形式や postscript 形式がそうで、実はコードとデータを兼ねた形式になります。あと、LISP もコードとデータを混在させることが可能です。

と言葉で書いても良くわからないので、具体例を出してみます。

<persons>
	<person>
		<name>masuda tomoaki</name>
		<addr>tokyo</addr>
		<telephone>03-0000-0000</telephone>
	</person>	
</persons>

このような XML 形式があるとします。これを INI ファイル形式で書くとすると、一例としてこんな風に書けます。

[persons]
name="masuda"
[person.masuda]
addr="tokyo"
telephone="03-000-0000"

あと LISP で書くとこんな感じです。

(persons
 (person 
  (name "masuda")
  (addr "tokyo")
  (telehphone "03-0000-0000")))

# 本当はクォートしないといけないような気がするのですが、まあ、こんな感じです。
実は、XML 形式と LISP 形式はトポロジー的に似ています。閉じ括弧/タグが必要という点で同じですね。

今度は TeX 風に書いてみると、

\begin{persons}
 \begin{person}
  \set name="masuda"
  \set addr="tokyo"
  \set telephone 
 \end{person}
\end{persons}

な感じです。\set のような書き方があったハズですが、覚えていません。
さて、肝心の C++ のコード自体でデータ構造を表そうとすると次のように書けます。

Persons.Add( 
 new Person( 
  new Name("masuda"),
  new Addr("Tokyo"),
  new Telephone("03-0000-0000")));

XML 形式や LISP 形式に似ています。これならば、XML 形式にしたほう楽だろうと思うかもしれませんが（いや、それは事実なんですけど）、このように C++ のコードにしておくと、コードの中にデータを埋め込めるという利点があります。
このデータ構造を data.txt というファイルに記述しておき include します。

void func() 
{
#include "data.txt";

	// Persons に対して操作をする
}

こんな風にすると、データの差し替えが手軽にできます。今で云えば、JSON の埋め込み型の要領です。
実はこの技、データだけを他の処理系(Excelなど)から生成して、C++ で取り込むということができます。C# や VB だとこれが使えないんですよね…ちょっと不便かなぁと。