typing-the-technical-interview-rust
https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust (by insou22)
typing-the-technical-interview-ru
By insou22
typing-the-technical-interview-rust | typing-the-technical-interview-ru | |
---|---|---|
8 | 2 | |
139 | - | |
- | - | |
0.0 | - | |
over 1 year ago | - | |
Rust | ||
- | - |
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!
typing-the-technical-interview-ru
Posts with mentions or reviews of typing-the-technical-interview-ru.
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...
-
Typing the Technical Interview
Re-implemented this purely in Rust’s type system: https://github.com/insou22/typing-the-technical-interview-ru...
What are some alternatives?
When comparing typing-the-technical-interview-rust and typing-the-technical-interview-ru you can also consider the following projects:
type-system-chess - Chess implemented entirely in the Rust and TS type systems.