// コード3: クライアントコードの例
module ClientCode
    open FileIO
    let passwd = "demo/password"
    let readme = "demo/README"
    let tmp = "demo/tempfile"
    
    let staticChecking () =
        // "demo/tempfile"から読み出した値をv1に，"demo/README"から読み出した値をv2に格納
        let v1 = read tmp in
        let v2 = read readme in

        // "demo/tempfile"に"hello!"を書き込み
        write tmp "hello!"