SiroKuro https://blog.hatena.ne.jp/SiroKuro/ SiroKuro Page https://sirokuro-2.hatenadiary.org/ java モナド則を満たすものがやっとできた。 定義 interface Function<T, R> { public R eval(T arg); } abstract class Monad<T, M> { public abstract <R extends M> R bind(Function<T, R> func); } abstract class Maybe<T> extends Monad<T, Maybe<?>> { public static <T> Maybe<T> unit(T value) { return new Just<T>(value); } } class Just… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsirokuro-2.hatenadiary.org%2Fentry%2F20091030%2F1256919099" title="Maybe Java りたーんず 〜 Java で Maybe を書いてみた - SiroKuro Page" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2009-10-30 01:11:39 rich https://sirokuro-2.hatenadiary.org/entry/20091030/1256919099 1.0 100%