higher-kinded-lifecycle
lang-team
higher-kinded-lifecycle | lang-team | |
---|---|---|
2 | 25 | |
0 | 190 | |
- | 0.5% | |
0.0 | 7.8 | |
almost 10 years ago | about 1 month ago | |
Scala | JavaScript | |
- | 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.
higher-kinded-lifecycle
-
Using enums to represent state in Rust
Time to re-pimp my idea of doing this using a single type parameterised to reflect different states:
https://github.com/tim-group/higher-kinded-lifecycle/blob/ma...
-
Const generics MVP hits beta
I proposed using it to model lifecycles of entities:
https://github.com/tim-group/higher-kinded-lifecycle/blob/ma...
(in this code, "idea" is a domain concept from the firm i worked for at the time - basically a recommendation to buy a stock, which is 'opened' on a certain date, and 'closed' when it no longer seems like a good recommendation)
My collegues didn't like it, and stuck to using separate types for objects in different stages of the lifecycle!
lang-team
-
Totally_safe_transmute, Line-by-Line
The Rust team did a deep dive on the bug in 2020, which has some more details that might be helpful to understanding what's going on: https://github.com/rust-lang/lang-team/blob/master/design-me....
-
Using enums to represent state in Rust
I haven't been following this closely, so I looked it up and it looks like that's not going to happen for the foreseeable future unfortunately:
https://github.com/rust-lang/lang-team/issues/122
Kind of a shame, but wrapper types work well enough that I understand. It does look like if there was someone with enough resources to make it happen that they'd be receptive to it.
- Should Error enums be `non_exhaustive`?
-
What features would you like to see in rust?
Did you read the link the original comment posted? I think that explains the idea rather well https://github.com/rust-lang/lang-team/issues/122
-
Pattern matching tuple variant of enum without deconstructing tuple
A quick search pulled up this as a likely candidate for most recent discussion of it but it goes back at least to 2016 with this RFC.
-
State Machines III: Type States
There have been at least one proposal and RFC in the past that seem to be deferred or closed due to bandwidth issues.
-
The type system is a programmer's best friend
That's what Rust does, and it's considered a problem (that the devs are regrettably unable to reasonably solve) rather than a good thing.
-
In-line crates
Lang had some conversations about this: https://github.com/rust-lang/lang-team/issues/139
-
LKML: Linus Torvalds: Re: [PATCH v9 12/27] rust: add `kernel` crate
The design of Rust panics unconditionally aborts the program if you panic while unwinding, and some people even want to abort if you panic in Drop.
-
Isolates, MicroVMs, and WebAssembly (In 2022)
> Better interoperability
AFAIK, the examples you give all target a basic C ABI [0] or can be made to target the same ABI. In Rust, it means targeting wasm32-unknown-emscripten
The Rust team is also working on a "WASM ABI"[1] which would be useful in taking advantage of stuff like multi-value returns, and other compilers could just choose to target that. More likely, the C ABI on WASM will be updated to account for missing features, and that'll be the standard for interoperability in the WASM ecosystem.
[0]: https://github.com/WebAssembly/tool-conventions/blob/main/Ba...
[1]: https://github.com/rust-lang/lang-team/blob/master/design-me...
What are some alternatives?
runwasi - Facilitates running Wasm / WASI workloads managed by containerd
Idris2 - A purely functional programming language with first class types
ceylon-lang.org - Awestruct built static website for ceylon-lang.org
rfcs - RFCs for changes to Rust
diamond-types - The world's fastest CRDT. WIP.
isahc - The practical HTTP client that is fun to use.
semver-trick - How to avoid complicated coordinated upgrades
rustc-dev-guide - A guide to how rustc works and how to contribute to it.
708 - Parameter passing and initialization
purescript - A strongly-typed language that compiles to JavaScript
genawaiter - Stackless generators on stable Rust.
deno - A modern runtime for JavaScript and TypeScript.