>>1 はMLかHaskell使ってればいいじゃない。
まさかC言語で「安全」とか思ってないよね?