TypeScriptでMaybeモナドで遊んでいます。概念についての私の理解はあまりよくないので、フィードバックや提案を歓迎します。JS の例はたくさんありますが、より厳密に型付けされたものを探しています。
使用法は次のようになります。
var maybe = new Example.Maybe({ name: "Peter", age: 21 })
.ifF(p => p.age === 100) // is the person 100?
.returnF(p => p.name, "Unknown") // extract Maybe string of name
.getValue(); // unwrap the string from the Maybe
if/with/return は予約語なので、最後に F を追加しました..
これまでのところ、私は持っています:
module Example
{
export class Maybe<T>
{
private val: T;
private hasv: boolean;
private static none = new Maybe(null);
constructor(value: T)
{
this.val = value;
this.hasv = (value != null);
}
/** True if Maybe contains a non-empty value
*/
hasValue(): boolean
{
return this.hasv;
}
/** Returns non-empty value, or null if empty
*/
getValue(): T
{
if (this.hasv) return this.val;
return null;
}
/** Turns this maybe into Maybe R or Maybe NONE if there is no value
*/
withF<R>(func: (v: T) => R) : Maybe<R>
{
if (!this.hasv) return Maybe.none;
return new Maybe<R>(func(this.val));
}
/** Turns this maybe into Maybe R or Maybe DefaultVal if there is no value
*/
returnF<R>(func: (v: T) => R, defaultval: R): Maybe<R>
{
if (!this.hasv) return new Maybe(defaultval);
return new Maybe<R>(func(this.val));
}
/** If func is true, return this else return Maybe NONE
*/
ifF(func: (v: T) => boolean): Maybe<T>
{
if (!this.hasv) return Maybe.none;
if (func(this.val))
return this;
else
return Maybe.none;
}
}
}