a PLT redex model of MIR and its type system
That's happening separately, in the "mir-formality" project: https://github.com/nikomatsakis/a-mir-formality
The two projects are related, but have different objectives (mir-formality includes traits and borrow checking, while MiniRust focuses on operational semantics).
Github Language Statistics
I would consider it perfectly normal to discover something in my company or on Github was written in Rust. It's the 12th most popular language on Github by PRs according to this: https://madnight.github.io/githut/#/pull_requests/2022/1 (Shell and Nix don't count).
It's only 3 times less popular than C. As I said, very weird definition of mainstream.
Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Take https://github.com/ziglang/zig/issues/12251 as an example. Several people from the Rust and Haskell community slacked off on twitter about how awful of a language design this is. However, when you think about what the language actually compiles to it makes perfect sense, and is pretty straightforward.
Rust has the goal of putting as much smartness between what you type and what gets produces, which is a perfectly fine goal, but without a specification for the input semantics it's a pretty wobbly thing, especially for a systems programming language. A lot of bit packing code is simply not writable in rust today without immediately invoking UB, that works for now but might break with every bugfix release.
A lightweight Datalog engine in Rust
C++ is arguably the most complex programming language ever. There is not much to be gained by comparing against the supremum.
Take a look at the languages that rust was influenced by (https://en.wikipedia.org/wiki/Rust_(programming_language)) those aren't languages with straightforward compilation semantics.
There is a reason why rust has a datalog engine build into the compiler (https://github.com/rust-lang/datafrog). Which is imho totally rad and awesome, but really hard to fully form a mental model of without a spec.
a collection of Turing-complete subsets of Perl
I'd personally pretty much always expect "mini" or "r" (as in "rperl", a restricted subset of Perl with C++ connections) versions of a language to be restricted subsets for some purpose (rperl's is to give away flexibility for performance while maintaining a good portion of the original language).
I've seen an "e" or "emb" prefix or a "small", "tiny", "micro" or "µ" (or "u") prefix to mean a small toolchain version several places, like SmallC or uclibc or Mikroe's mikroC. It wouldn't surprise me to see a "nano" version of a language tool either. Sometimes these are subsets as well, but to fit the size constraints of the target rather than for constraining the input for its own sake.
A precise specification for "Rust lite / MIR plus"
I compare MiniRust and Ferrocene at https://github.com/RalfJung/minirust#what-about-the-ferrocen.... :) TL;DR they re quite different in style, precision, and scope.
Home for the Unsafe Code Guidelines working group.
Now that const generics have landed at least some parts of the code should be easier to write.
I'll throw you folks an issue over the fence, should I run into the same issue again, pinky swear ;)
Whats the current state of the art for unsafe code? The guidelines?(https://rust-lang.github.io/unsafe-code-guidelines/)
I found the Rustonomicon, despite it's mythological status, to be quite thin. ^^'
Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
How do you decide which language/tech stack you invest learning?
3 projects | news.ycombinator.com | 14 Aug 2022
Please Stop Citing Tiobe
1 project | news.ycombinator.com | 3 Aug 2022
How many of you are using Monix?
2 projects | reddit.com/r/scala | 26 Jul 2022
Introducing chd-rs, a from-scratch, pure Rust implementation of CHD.
5 projects | reddit.com/r/emulation | 20 May 2022
C# popularity surges in Tiobe index
1 project | news.ycombinator.com | 17 May 2022