typing-the-technical-interview-rust
https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust (by insou22)
type-system-chess
Chess implemented entirely in the Rust and TS type systems. (by Dragon-Hatcher)
typing-the-technical-interview-rust | type-system-chess | |
---|---|---|
8 | 8 | |
139 | 259 | |
- | - | |
0.0 | 6.8 | |
over 1 year ago | 4 months ago | |
Rust | Rust | |
- | MIT License |
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.
typing-the-technical-interview-rust
Posts with mentions or reviews of typing-the-technical-interview-rust.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2024-01-13.
-
Doing First Grade Math in Rust's Type System
This technique is good for job interviews, when they ask me to solve leetcode problems. I was inspired by the blog:
https://aphyr.com/posts/342-typing-the-technical-interview
and related to Rust, the solution
https://github.com/insou22/typing-the-technical-interview-ru...
-
Chess implemented entirely in the Rust (and Typescript) type systems.
Reminds me of https://github.com/insou22/typing-the-technical-interview-rust
-
Typing the Technical Interview
Re-implemented this purely in Rust’s type system: https://github.com/insou22/typing-the-technical-interview-ru...
-
Do you avoid using certain language features?
If I'm making something serious I try to not abuse the type/trait system. I find it really fun and sometimes go down the rabbit hole (did you know rust's trait system is turing complete? You can write algorithms in it like it's Haskell's type system).
-
Thanks to rust's powerful type system and zero-cost abstractions, i have fullfilled my lifelong dream of adding two numbers at type level!! 🤩🤩🤩 Checkmate, gophers!
How about n-queens?
- Typing the Technical Interview in Rust
- A re-implementation of legendary “Typing the technical interview” in Rust
- I re-implemented the legendary "Typing the technical interview" article using only Rust types!
type-system-chess
Posts with mentions or reviews of type-system-chess.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-12-09.
-
Advent of Code in C++ Template Metaprogramming
Reminds me of the chess engine that somebody wrote in rust’s type system https://github.com/Dragon-Hatcher/type-system-chess
- Type System Chess
-
How to speed up the Rust compiler in August 2023
the referenced chess engine is here:
https://github.com/Dragon-Hatcher/type-system-chess
lol, last line of README.md:
In summary: unlike Typescript I would never like to program in the Rust typesystem again.
- Chess implemented entirely in the Typescript (and Rust) type systems.
- Chess implemented entirely in the Rust and Typescript type systems.
- Chess in the Rust and TypeScript type systems
- Chess implemented entirely in the Rust (and Typescript) type systems.
What are some alternatives?
When comparing typing-the-technical-interview-rust and type-system-chess you can also consider the following projects:
typing-the-technical-interview-ru
zig - General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.