このブログの更新は X(旧Twitter)アカウント @m_hiyama で通知されます。
Follow @m_hiyama

ご連絡は上記 X アカウントに DM にてお願いします。

参照用 記事

2011-07-04から1日間の記事一覧

0と1は違う -- 型システムの集合的意味論とか

0と1は違う -- って、そんなこと当たり前だと思うでしょう。でも、意外に誤解していることがあるようなので、ここで注意しておきます。内容: もし 0 = 1 だったら null問題 集合による意味論 配列の意味論 neverの意味論 undefinedの意味論 void, unit, emp…