claro-lang
Claro Lang (by JasonSteving99)
keyword-generics-initiative
Public repository for the Rust keyword generics initiative (by rust-lang)
claro-lang | keyword-generics-initiative | |
---|---|---|
9 | 8 | |
139 | 86 | |
- | - | |
9.5 | 8.5 | |
28 days ago | 16 days ago | |
Java | ||
- | GNU General Public License v3.0 or later |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.
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.
claro-lang
Posts with mentions or reviews of claro-lang.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2024-02-28.
-
The Claro Programming Language
Interesting, although it seems to currently be missing a license. While Bazel and I are for sure not friends, I found this funny https://github.com/JasonSteving99/claro-lang/blob/v0.1.495/W... I guess it's similar to having a maven build under Nix but my relationship to Bazel is why I got a chuckle out of the russian doll setup
-
Charm 0.3.9 --- now with "Hello world!"
Oh wow, it looks like we've stumbled upon the same construct! In my language, Claro, what you call "interfaces" are called "contracts". I've found it to be a very powerful abstraction!
-
Keyword Generics Progress Report: February 2023 | Inside Rust Blog
In fact, you've actually been a huge source of inspiration for building keyword-generics into the programming language I've been working on in private for the past 2 years! The language is called "Claro" and if you're interested, please take a look at the blocking-generics syntax that your initiative has inspired.
-
What are you doing about async programming models? Best? Worst? Strengths? Weaknesses?
I've tried to do something unique in my lang, Claro. To avoid spamming my same comment again, check out my answer to a very similar thread yesterday
-
Claro's Structured Async+Concurrency Provides Static Non-Blocking Validation and Implements Rust's Keyword Generics Initiative
Didn't see the Github link (but having all the info here is certainly appreciated)
-
What modules should implicitly be imported in a language?
Hmm, so I still feel that C3's imports actually are binding to a specific implementation like other imports (Java/C/python/etc). I think a language would need to embed dependency injection concepts deep into its veins to avoid this. You'd need a way for implementation files to specify that they depend on something with a certain name and a certain interface but not to name the specific implementation. Then a separate parallel module system (more like a Guice (dep injection framework) module than the modules in C3) would indicate the specific implementation that happens to be desired this run of the program. This is the inherent modularity that I'm looking to implement in Claro. There's some prototyping of this idea in the example programs at https://github.com/JasonSteving99/claro-lang/blob/main/src/java/com/claro/claro_programs/modules.claro
-
Let's talk function declarations!
In Claro I'm trying the following distinct types of procedures:
keyword-generics-initiative
Posts with mentions or reviews of keyword-generics-initiative.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-03-29.
-
Effing-mad, an effect library for Rust
for which someone made a more detailed issue [3]. It is similar to a `where` clause in that the `effect` clause comes afterwards and defines the effects that a function can have.
[0] https://blog.rust-lang.org/inside-rust/2023/02/23/keyword-ge...
[1] https://old.reddit.com/r/rust/comments/119y8ex/keyword_gener...
[2] https://github.com/rust-lang/keyword-generics-initiative/iss...
[3] https://github.com/rust-lang/keyword-generics-initiative/iss...
-
To async trait or just to trait
You might be interested in the keyword generics work if you haven't already seen it.
-
Keyword Generics Progress Report: February 2023 | Inside Rust Blog
Hey, your proposal is even more famous: https://github.com/rust-lang/keyword-generics-initiative/issues/14
-
An idea for a language with both Functions and Procedures
The Rust folks are working on a solution though
- async fn calls can lead to surprising performance problems if they are nested too deeply
-
Idea for new Conditional compilation feature to make Rust more pleasant to work with
You may be interested in following the progress of the existing Rust Keyword Generics proposal
-
Any way to merge the duplicated logic between a `get()` and a `get_mut()` method?
I think keyword generics initiative might help with that in the future, but it's still very much in the brainstorming stage.
What are some alternatives?
When comparing claro-lang and keyword-generics-initiative you can also consider the following projects:
xvm - Ecstasy and XVM
actix - Actor framework for Rust.
Hungaro - A syntax based programming language
effing-mad - Algebraic effects for Rust
AECforWebAssembly - A port of ArithmeticExpressionCompiler from x86 to WebAssembly, so that the programs written in the language can run in a browser. The compiler has been rewritten from JavaScript into C++.