@dan613 Ada is in use and under development. It had recently added borrow-checking to allow memory allocation in the safe subset as defined by Spark.
It is not in use as much as it deserves.
@dan613 Ada is in use and under development. It had recently added borrow-checking to allow memory allocation in the safe subset as defined by Spark.
It is not in use as much as it deserves.
@pthenq1 @jerry Does anyone still use Ada, the first government-mandated language (1991-97)?
It can be used in the private sector.
A system using Rust as its system language should be a LOT safer.
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.