純粋関数型Ja婆婆

「湯婆婆 Advent Calendar 2020」の 20 日目の記事・裏面です。

表面はこちら。 つっても別に表面とは関係ないことやってるんですけどね。

なにをするつもり?

アドベントカレンダー横断チャレンジということで(?)「闇の魔術に対する防衛術 Advent Calendar 2020」の 10 日目の記事で作ってみた「純粋関数型 Java」によって Ja 婆婆を実装しようという試みです。

いわばピュアな Ja 婆婆です。 もうピュアっピュアです。

ネイティブな乱数

乱数の Leaves は未実装だったので簡単に実装しておきます。

package aquapura.leaves;

import java.util.Random;

import aquapura.util.Supplier;

public class Rand {
    private Rand() {}

    private static final Random random = new Random();

    public static Supplier<Integer> getInt = random::nextInt;

    public static Supplier<Integer> getIntBetween(int start, int end) {
        return () -> random.nextInt(start + end) - start;
    }
}

スレッドセーフ? やつは死んだよ。

実装

ベタ書きバージョンは以下。

package main;

import aquapura.leaves.IO;
import aquapura.leaves.Rand;
import aquapura.util.Supplier;

public class Main {
    private Main() {}

    public static Supplier<Void> main(String[] args) {
        return IO.printLine("契約書だよ。そこに名前を書きな。")
            .andThen(IO.scanLine)
            .flatMap(name -> IO.printLine("フン。" + name + "というのかい。贅沢な名だねぇ。").andThenOf(name))
            .flatMap(name -> Rand.getIntBetween(0, name.length()).map(newNameIndex -> name.substring(newNameIndex, newNameIndex + 1)))
            .flatMap(newName -> IO.printLine("今からお前の名前は" + newName + "だ。いいかい、" + newName + "だよ。分かったら返事をするんだ、" + newName + "!!"));
  }
}

湯婆婆オブジェクトに処理を委任したのが以下。

package main;

import aquapura.leaves.IO;
import aquapura.leaves.Rand;
import aquapura.util.Supplier;

public class Yubaba {
	public final Supplier<String> queryName = IO.printLine("契約書だよ。そこに名前を書きな。").andThen(IO.scanLine);

	public Supplier<String> sayOldName(String name) {
		return IO.printLine("フン。" + name + "というのかい。贅沢な名だねぇ。").andThenOf(name);
	}

	public Supplier<String> pinchName(String name) {
		return Rand.getIntBetween(0, name.length()).map(newNameIndex -> name.substring(newNameIndex, newNameIndex + 1));
	}

	public Supplier<String> sayNewName(String name) {
		return IO.printLine("今からお前の名前は" + name + "だ。いいかい、" + name + "だよ。分かったら返事をするんだ、" + name + "!!").andThenOf(name);
	}
}

package main;

import aquapura.util.Supplier;

public class Main {
    private Main() {}

    public static Supplier<Void> main(String[] args) {
        final Yubaba yubaba = new Yubaba();
        return yubaba.queryName
            .flatMap(yubaba::sayOldName)
            .flatMap(yubaba::pinchName)
            .flatMap(yubaba::sayNewName)
            .toVoid();
    }
}

自分で書いておいて何なんですがfinal Yubaba yubaba = new Yubaba();で草生え散らかしました。 別にユーティリティクラスでよくね?とも思いますがこれがやりたかった。

pinchNameの定義がややこしいですね。 以前の名前と乱数によって得られる値の両方を持ち回らなければいけないので入れ子になってしまいます。 do 式ほしいえぐなぁ。

実行するとこんな感じです。

まあオリジナルと同じ動作しかしませんね。

空文字列を入れると当然クラッシュします。

成し遂げたぜ。