Rich Felker@hipsterelectron I don't follow. I think you need a declarative meta language defining contracts, not the language of the code, to do this. Unless the language itself has a type system that fully represents contracts (afaik no real world ones do) but even in that case it should be a separate subset of the language I'd think).
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.