crubit | DIPs | |
---|---|---|
13 | 10 | |
563 | 156 | |
1.6% | 0.0% | |
9.8 | 6.2 | |
6 days ago | 5 days ago | |
C++ | D | |
GNU General Public License v3.0 or later | Creative Commons Zero v1.0 Universal |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
crubit
-
Making C++ Safe Without Borrow Checking, Reference Counting, or Tracing GC
See also:
Thomas Neumann's current proposal for memory safe C++ using dependency tracking:
- https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p27...
Google's proposal for memory safety using Rust-like lifetime analysis:
- https://discourse.llvm.org/t/rfc-lifetime-annotations-for-c/...
- https://github.com/google/crubit/tree/main/lifetime_analysis
- Will Carbon Replace C++?
-
Supporting the Use of Rust in the Chromium Project
For the people who are curious: crubit is an attempt to develop the way to seamlessly integrate C++ and Rust.
-
Crubit: C++/Rust Bidirectional Interop Tool
Please see the experimentation and proposals at https://github.com/google/crubit/blob/main/docs/lifetime_annotations_cpp.md and https://github.com/google/crubit/blob/main/docs/lifetimes_static_analysis.md
-
The Unicode Consortium announces ICU4X 1.0, its new high-performance internationalization library. It's written in Rust, with official C++ and JavaScript wrappers available.
autocxx is good, though crubit is aiming for direct bidirectional interop
-
Programming languages endorsed for server-side use at Meta
The areas you mentioned (CLI, web services, low level systems programming) are not mutually exclusive. Doing a good job on one doesn't mean something else is affected.
The folks who worked on the most popular command line argument parser (https://docs.rs/clap/latest/clap/#example) made a positive contribution that didn't detract from any other use case.
Similarly, the folks working on improving Rust for web services will also make it better for systems programming. In a blog post published today (https://blog.rust-lang.org/inside-rust/2022/07/27/keyword-ge...), they discuss keyword generics, a feature that will be equally helpful for `async` code and `const` functions evaluated at compile time.
There is already some interoperability with C++ (http://cxx.rs) and ongoing research into automating this interoperability (https://github.com/google/autocxx, https://github.com/google/crubit). Feels like there's enough effort
-
Carbon Language: An experimental successor to C++
This language was started by folks at Google. (Although it's interesting that they're publishing it under a separate github org, which suggests ambitions beyond Google's needs.) Google has a huge, performance-sensitive C++ codebase. At Google, major product teams' backends are typically written in C++, as well as common infrastructure like D (disk server), Colossus (distributed filesystem), Spanner (distributed SQL database), and Borg (cluster management). More than a few people would love for it all to be be written in Rust instead, but migration would be challenging, to say the least. I'm told people are looking into it—see Crubit for example. But AFAIK, no one's decided yet whether Google will stay with C++ for all these things, migrate some to Rust, migrate some to Carbon, and/or do something else entirely.
It's currently unclear if Rust can interop with C++ with high fidelity. For example https://docs.rs/moveit/latest/moveit/ and https://github.com/google/crubit/blob/main/rs_bindings_from_... provide functionality to use non-trivially relocatable C++ types from Rust.
DIPs
-
The OpenD Programming Language (fork of D)
The reference compiler, DMD, is open source: https://github.com/dlang/dmd
But they don't accept just any Pull Request or features the community submits, understandably. There's a process called DIP for language improvements: https://github.com/dlang/DIPs/blob/master/DIPs/README.md
However, by some accounts, it's really hard to get anything through.
Given D already has so many feature, I find that to be a good thing , to be honest, by not everyone agrees, of course.
-
Mojo 🔥: A programming language for all AI developers
Borrow checking does not require lifetime annotations. D is a precedent there. Look at DIP25 and DIP1000.
-
Carbon Language: An experimental successor to C++
There's no "nogc" containers in phobos, or allocators, or an idiomatic way to do safe manual memory management. It expects you to do it the C way. It's also impossible to implement some things because of how D does moving. There's a DIP in the works to change how moving works, but it's overly complicated and bound to introduce even more bugs. https://github.com/dlang/DIPs/blob/master/DIPs/DIP1040.md
-
Is there any other programming language aside from C++ that has move semantics feature available?
D Is drafting up move semantics to interface better with C++. Although they're going a bit the Rust way in the current proposal. D has tried a couple of other strategies, but unique pointers and C++ interoperability kind of forced the hand of Walter Bright.
- Is D backwards compatible?
- PSC #025 2021-06-18 minutes - massive update on RFC processes and RFCs in flight
- Three situations regarding memory
- DIP1040: Copying, Moving, and Forwarding
-
Things that you miss from your previous language?
String interpolation is coming: https://github.com/dlang/DIPs/blob/master/DIPs/DIP1036.md
- System variables: Protecting data for memory safety in unsafe code
What are some alternatives?
carbon-lang - Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
compact_str - A memory efficient string type that can store up to 24* bytes on the stack
verdigris - Qt without moc: set of macros to use Qt without needing moc
peps - Python Enhancement Proposals
go-sumtype - A simple utility for running exhaustiveness checks on Go "sum types."
intellij-dlanguage - Intellij Plugin for the D Programming Language
go-server-core - An attempt to build a plugin based server
proposals - ✍️ Tracking the status of Babel's implementation of TC39 proposals (may be out of date)
autocxx - Tool for safe ergonomic Rust/C++ interop driven from existing C++ headers
cxx - Safe interop between Rust and C++
Juleps - Julia Enhancement Proposals