claro-lang VS actix

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

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!

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.

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

Didn't see the Github link (but having all the info here is certainly appreciated)

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

In Claro I'm trying the following distinct types of procedures:

9. Actix

I think it's fairer to say the language got so much more powerful that there wasn't any point making actors a language feature when they can be built from existing orthogonal language features. You're probably looking for actix (not actix-web, just actix). There's also Lunatic built in Rust but supporting any actors compiled to WebAssembly.

Actix is an actor framework for developing concurrent applications built on top of the Tokio asynchronous runtime. It allows multiple actors to run on a single thread, but also allows actors to run on multiple threads via Arbiters. Actors can communicate with each other by sequentially exchanging typed messages.

I’ve seen frameworks for c++ (https://seastar.io/) and rust (https://github.com/actix/actix) which support what you’re describing out of the box.

The actix repository on github doesn't seem to be very active, and everyone seems to be focused on actix-web instead, is anyone out there using plain actix or any other actor-model implementation in Rust?

Rust is also another possibility: it's basically C++ but more modern with added features and safety. It can be tricky to write mathematical stuff in it, because you may not care too much about all the safety concerns Rust forces you to handle, but it can be useful to catch bugs ahead of times. Sadly, Rust seems to have no library for running programs on clusters of PCs, except maybe this one, which takes the Actor model implemented by Actix and runs it on a cluster. I don't know how tricky it is to use the Actor model for a scientific simulation, tho.

I'd just use Actix for that. Make your state an actor and make it a StreamHandler for each of these sources, and that's it - now you just implement the business logic for handling each message in the StreamHandler::handle methods.

However, this isn't even 50% of what's out there: Need raw parallel power (and maybe don't need an async runtime)? Checkout Rayon. Need simple Actors for concurrent processing? Checkout Actix. Need a larger Actor system for fault tolerance/CQRS messaging? Checkout Riker. Damn, I sound like a youtube advert 🤦 - For real though, this is the tip of the concurrency iceberg. There is so much more - and it's growing.