I've been experimenting with a little compile-time bounds-checking vector implementation built upon the typenum crate in Rust: https://github.com/jblondin/vector . It's not particularly useful at the moment, but a fun experiment with types
-
-
agnes has some pretty funky error messages too. Recursive type definitions and heavy dependent type usage make things difficult real fast. You can make some of it more readable in code using type aliases, but error messages don't use those
-
you can massage it a little, though. this still reads a bit backwards, but gets the point across a bit betterpic.twitter.com/ZqWsg0QZ0a
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Writing about stuff to learn how it works, mostly in Rust.
Lead Engineer at