Does such a language already exist ("Rust--")?

• firefly-boot

  12 48 9.8 JavaScript

  Bootstrap compiler for Firefly

You can get a feel for it by perusing the self hosting transpiler, although it doesn't use all the features of the language: https://github.com/Ahnfelt/firefly-boot/blob/master/compiler/Main.ff

• pony-tutorial

  5 306 7.0 Markdown

  :horse: Tutorial for the Pony programming language

  

Well, depends on how you define ownership. Pony 's type system has reference capabilities which let you define who's allowed to do what to a reference and part of it sort of deals with ownership (along the lines of "this actor is allowed to do Y to the reference, other actors are allowed to do Z"). You can eg. have methods that return an isolated value that guarantees that there are no other references to that value, meaning it's automatically thread safe. You can also define things as vals which says that they are globally immutable, refs which give the current actor read/write capabilities but can't be shared with other actors

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• Carp

  85 5,393 0.7 Haskell

  A statically typed lisp, without a GC, for real-time applications.

  

Carp

• micro-mitten

  1 531 0.0 Rust

  You might not need your garbage collector

Micro-mitten (different approach but should be nearly as fast and safe)

• TablaM

  151 183 0.0 Rust

  The practical relational programing language for data-oriented applications

  

I added shades of this to my lang, and the original plan of do something like:

• zz

  10 1,604 1.9 Rust

  Discontinued 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

  

You might find ZetZ interesting!

Suggest a related project