Jorge Cepeda

Add Touchpad config file

2

.config/touchpadxlibinputrc

Last commit is from 2018, it would be nice to have the improvements implemented

Make most exceptions be Result<A,B> from Rust

2

Allow infallible methods by changing the exception system to that from Rust, where there are runtime panics for some errors like unwrapping an empty Option, and a Result object with...

Fail compilation if null is used for a variable which isn't Option or Java's Optional (whichever fits better), and unwrap them like in Rust with unwrap(), unwrapOr(...), etc. Rust's Options...

Near the end of the paragraph, `CopmarableUsing` in [equality operators](https://github.com/manifold-systems/manifold/tree/master/manifold-deps-parent/manifold-ext#equality-operators)

Hide @Deprecated in linter

1

I don't know where the change should be made, is it possible for the IDE to treat `@Deprecated` methods, etc, as if they didn't exist? I'd like to see only...

Change final for mut keyword

2

I don't like the idiom of making most variables `final`, adding words to the code. Instead I'd prefer to assume variables are `final` unless there's a `mut` keyword added to...

Implicit equals for ==

3

Like in some languages like Rust, make == compare by value using equals() if configured to do so, while maintaining some way of comparing pointer equality

Compile time preconditions and such

4

I just discovered that some languages implement compile-time preconditions and related things, similar to dependent types, some examples given are Eiffel and Dafny: https://www.reddit.com/r/ProgrammingLanguages/comments/dnocss/compile_time_preconditions_postconditions_and/ It would prevent calling a method...