@codefolio Right. My point is that code treats NilClass •as if it is a subtype•. That’s not explicitly modeled at compile time as in a static lang, but that doesn’t mean the contract assumptions aren’t there in the code all the same.
@codefolio Right. My point is that code treats NilClass •as if it is a subtype•. That’s not explicitly modeled at compile time as in a static lang, but that doesn’t mean the contract assumptions aren’t there in the code all the same.
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.