ante | team | |
---|---|---|
23 | 51 | |
1,841 | 293 | |
- | 0.0% | |
8.0 | 9.7 | |
27 days ago | 6 days ago | |
Rust | Rust | |
MIT License | Apache License 2.0 |
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.
ante
- Dada, an Experiement by the Creators of Rust
-
Graydon Hoare: Batten Down Fix Later
Have you had a look at Ante? It looks a lot like a Rust 2.0 with better ergonomics. There are a lot of interesting ideas.
-
Why is there no simple C-like functional programming language?
Ante is what you are looking for. It's an ML descendant with no RTS nor AGC.
- Rust's Ugly Syntax
- Opinions on ante?
- Ante - A safe, easy systems language
- [User study] Interest in a Rust-like garbage-collected programming language?
-
Cell Lang: Why yet another programming language?
In my experience, people believe that programming languages are a solved space, and we should stick with what we have.
It's unfortunate; because languages are very polarized today. I think there's a lot of room for languages that are safe, fast, and most importantly, *easy.* Today's languages are generally two out of three.
Luckily, a lot of languages are exploring that space!
* Vale is blending generational references with regions, to have memory-safe single ownership without garbage collection or a borrow checker. [0]
* Cone is adding a borrow checker on top of GC, RC, single ownership, and even custom user allocators. [1]
* Lobster found a way to add borrow-checker-like static analysis to reference counting. [2]
* HVM is using borrowing and cloning under the hood to make pure functional programming ridiculously fast. [3]
* Ante is using lifetime inference and algebraic effects to make programs faster and more flexible. [4]
* D is adding a borrow checker!
[0] https://verdagon.dev/blog/zero-cost-refs-regions
[1] https://cone.jondgoodwin.com/
[2] https://www.strlen.com/lobster/
[3] https://github.com/Kindelia/HVM
[4] https://antelang.org/
- Ante: A safe, easy, low-level functional language for exploring refinement types, lifetime inference, and other fun features.
-
Not well known programming languages with interesting features?
[Ante](https://antelang.org/): lifetime inference, refinement types, algebraic effects.
team
-
Non-code contributions are the secret to open source success
It's just as true today, though. When the Rust mod team resigned en masse in 2021, it was announced by a programmer (the author of ripgrep) [0], and the conflict was with the core team (also programmers). A supermajority of their contributors to open source projects are programmers, so most famous meltdowns are going to be conflicts between programmers, not between programmers and the tiny minority of non-technical contributors.
I'm still waiting for anyone to give an example of an open source project meltdown that was triggered by non-technical contributors.
[0] https://github.com/rust-lang/team/pull/671
- Remove my name from the [Rust] project
- Batten Down Fix Later
-
Graydon Hoare: Batten Down Fix Later
the mods publicly outlined the governance issue, while keeping the moderation issue private (https://github.com/rust-lang/team/pull/671)
-
On the RustConf keynote | Rust Blog
Here's another list: https://github.com/rust-lang/team//blob/d4c071b86c33683845919cf27eabf33e15fb6784/teams/interim-leadership-chat.toml
-
On the RustConf Keynote
they linked their (user)names:
https://github.com/rust-lang/team/blob/2cea9916903fffafbfae6...
-
Let's thank who have helped us in the Rust Community together!
You can also check rust-lang/team repo, where shows more than 400+ people have worked on the Rust Project as official members. And on thanks.rust-lang.org, it shows that 300+ people have been involved in each recent release. I believe the number of active contributors may be more than 100+.
-
JT: Why I left Rust
Right, but this type of drama isn't new in the community. A while back the whole mod team resigned because they were not able to hold the core team accountable. In fact I remember it being said that the Core Team placing themselves unaccountable to anyone but themselves. So I don't think I'm being dramatic at all here.
-
Can someone explain to me what's happening with the Rust foundation?
If that's too onerous, you can also look at the list of directors and observe that there are people titled "Project Director" who you can look up on https://github.com/rust-lang/team and observe that they have in fact been selected from the project teams.
-
Safety and Soundness in Rust
You're more than welcome to set the narrative straight. The infighting among Rust maintainers is based partially on your resignation note where you said the Core Team was "unaccountable" https://github.com/rust-lang/team/pull/671 and implied that they were untrustworthy. The same people that once went around starting language wars, like calling Zig a "massive step backward" for the industry https://news.ycombinator.com/item?id=32783244.
I'm just an outsider observer, who's been watching the sparks fly. It's been interesting as well to watch how quickly memories changes when positions are dangled. If there's ever an investigative report on the tribulations of Rust, they can also dig into the allegations of nepotism around one maintainer and his girlfriend on the project, vis-a-vis Amazon. https://news.ycombinator.com/item?id=28633113.
What are some alternatives?
riju - ⚡ Extremely fast online playground for every programming language.
go - The Go programming language
FStar - A Proof-oriented Programming Language
Elm - Compiler for Elm, a functional language for reliable webapps.
verona - Research programming language for concurrent ownership
byteorder - Rust library for reading/writing numbers in big-endian and little-endian.
blazex - AOT compiled object oriented programming language
xgb - The X Go Binding is a low-level API to communicate with the X server. It is modeled on XCB and supports many X extensions.
duck-editor - 基于scheme开发的鸭子编辑器
rfcs - RFCs for changes to Rust
azula - A fast, statically typed compiled language
rust-analyzer - A Rust compiler front-end for IDEs [Moved to: https://github.com/rust-lang/rust-analyzer]