bonotakeの日記

元・ソフトウェア工学系研究者、今・AI系エンジニア

関数id

Alloyタグ作ってみた。いつまで使うか謎ですが。

Objectに対する恒等写像(の集合)を返す関数。前回、ちょっと書きかけて捨てちゃったので、こっちにメモ。

fun id : Object -> Object {
	{ o, o': Object | o = o' }
}
注:bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。