Paul Cantrell@codefolio That’s the problem variant types solve: they don’t violate LSP. String? (using Swift notation here, that’s “optional String”) is not a subtype of String. “Box that might contain a cat” is not a cat. It is a box. And lang features make sure you deal with it as a box first before you can get at the cat inside. 2/
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.