例えば、人間を分けるには様々な手法があり、男性と女性、歴代の総理大臣とそれ以外、等と分類することが出来ます。
また、四角形には長方形とひし形があり、両方の部分集合であるものは全て正方形です。
これらをうまく表現できるような構文を設計したいです。
オブジェクト指向プログラミング言語は、継承を使い集合論をうまく表すことが出来ますが、今ある言語に搭載されている機能だけでは、上のような集合を明示的に表すのは難しい言語ばかりです。私はそれらを実現できる言語を知りません。それらを実現できるような言語を設計したいです。
具体的には、以下のような事が明示できる物です。
1.人間は女性と男性の直和集合である。
2.外延記法(歴代の総理大臣を列挙)と内包記法(女性と男性を分ける)両方の記述が出来る。
3.長方形とひし形をともに多重継承できるのは正方形だけ。
バッドをするには、ログインかつ
こちらの条件を満たす必要があります。