メインコンテンツまでスキップ

ファイル入出力

ファイルへの書き込み​

file = Writer "out.txt";

file.println "hello";

file.close;

文字コードを指定し，追記モードで書き込む​

file = Writer "out.txt" true "UTF-16";

file.println "hello";

file.close;

ファイルからの読み出し​

file = Reader "out.txt";

println(file.getLine);

file.close;

文字コードを指定してファイルから読み出す​

file = Reader "out.txt" "UTF-16";

println(file.getLine);

file.close;

リソースの解放を関数化する​

with = file -> f ->
  f file;
  file.close;
;

with (Writer "out.txt") file ->
  file.println "mochimochi";
;

with (Reader "out.txt") file ->
  file.getLine >- println;  // mochimochi
;