Refactoring std for ultimate portability

libs
41

Nothing yet and nothing planned for the next month and a half at least, so feel free to start anywhere you want.

2 Likes
42

I’ve been working on something the last few days. I started with std::fs, which was rather trivial to create an abstract layer for (since it’s already pretty cleanly seperated) and I’m currently shuffling around std::net. Would love to hear some thoughts about it.

edit: Whoops, forgot the link: https://github.com/rust-lang/rust/compare/master...panicbit:portability

43

Neat! I looked over the diff so far and it all looks reasonable to me. The main question I have that you might have a better look at since you’ve touched the code: does this actually reduce the interdependencies such that it could be separated out into a different crate?

44

Yes! I intend to make ::pal an external crate at some point. Interdependencies are supposed to expressed by using associated types on the trait (possibly reusing traits for other modules). ::pal currently depends on ::io::Result and ::time::SystemType, but the former can be moved to ::pal and reexported by libstd and the latter probably will find it’s place as abstraction in ::pal::time.

jethrogb rustlang@discoursemail.com schrieb am Mi., 26. Juli 2017, 22:54:

45

What about things like std::path?

46

I haven’t looked at std::path yet, but I assume that it should be no different than the other modules.

47

impl Trait in structs would be nice to avoid accidentally calling non-trait methods (especially inherent methods with the same name are a risk)

48

On that note, would all these traits and associated types cause error messages to blow up in complexity for the end-user?

49

The end user? Users of the libstd won’t see any of that and implementors of the backends would at most see a bunch of “this function is missing in this impl for SomeTrait” once per missing function instead of everytime per use of a function. Also, the error messages are generally much friendlier since they’ll also include the types.

1 Like
50

This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.