HN user
Yes. An LSP has to work along with the compiler, or it has to become an alternative compiler.
For example, from the article "Why LSP?" [1]
"It is known that compilers are complicated, and a language server is a compiler and then some."
I've made some small contributions to gtk-rs-core (the library providing rust bindings to glib, gdk...).
While the lower layers written in C do impact the overall safety, the bindings are made to be as safe as possible.
For example: every glib parameter that may take NULL in Rust becomes an Option<T>.
GObject's methods are defined on traits and checked by the Rust type system. There are also some macros to provide an easy and safe interface to the GLib type system.
All of this directly applies to gtk-rs.
Overall, the bindings are well documented and with many examples. There's even a book. Also, there's a great community around them.
Bindings website: https://gtk-rs.org/
Hey, thanks for the awesome work! I always wanted something like "one drive on demand"[0] but for linux. Maybe in the future you could add an option to keep some files offline. By doing that, Linux would have a real alternative to one drive [0]https://support.office.com/en-us/article/learn-about-onedriv...
You should also check out blockstack, offers similar storage functionality (the user choose where to store the data) and has easy to use js libs
Dat and IPFS are decentralized file systems. Instead, blockstack is a network for decentralized application. It offers identity, storage and a way to transfer tokens. With blockstack you can easily create apps where users can sign-in in seconds and store all their data where they want.