|
|
|
|
|
|
by stallmanifold
2644 days ago
|
|
|
Thank you for your contributions to the Rust ecosystem over the years! I've tinkered with many novel programming languages over the years, and most of those come and go, but Rust is one of the ones I stick with. Rust is the first programming language I have encountered that shows that linear (affine) logic is more than just another PLT or mathematical logic curio that is a practical tool for good software engineering, and that systems programming can have the trappings of type safety and ergonomics just like its application counterparts. Best of luck on your next transition. |
|
|