HaskellとRustはコンパイル出来た時点でバグが無いことを保証される。