次世代言語15 Go Rust Bosque Kotlin TypeScript

725 ：デフォルトの名無しさん：2019/08/17(土) 10:41:26.40 ID:9n/jDoCG.net

恣意的でも良いから任意の文字列a, bについてa ≦ b または a ≧ bが成立し、
かつ任意の文字列a bについて
a ＜ b ならば b ＞ a
a ＞ b ならば b ＜ a
a ＝ b ならば b ＝ a
が成立することと文字列が全順序というのは同義だと思う