Matus Goljer

Once we finish #74 I'm going to need some serious volunteer work here :D

Hey @randomwangran! 1. Go to the file builtin.txt linked in the OP 2. Pick a file you would like to contribute. They are on lines prefixed by `File:` 3. Let's...

@randomwangran If you are new then start the pull request as soon as possible even if there's just one line so we can help out and comment on anything unclear....

You can also read [this](https://github.com/emacs-elsa/Elsa/blob/fdbe3d4ebbbfeb6a90da3b1ff5c732453132c8e8/docs/type-annotations.org) pull request for documentation on the type system and how it works. It uses the new syntax and we will switch to that later. And...

This is more difficult because of the dynamic dispatch thing: we have to track multiple possible types for a function and try to match those which can apply in the...

We can also look at the closure version https://github.com/bbatsov/clojure-style-guide some of the things might be relevant.

Probably some more changes in EIEIO. If I started this again I would definitely not use that framework, it's a *%^$*ing pain.

None of the examples should trigger that notice. It should only be triggered when the function can be reduced: (lambda (x) (stringp x)) is the same as #'stringp but (lambda...

Something not that bad can be achieved with `pcase` already out of the box, but it is still not very clear, especially with the "useless" `eieio` markers ```elisp ;; pcase...

Seems interesting! I actually had a similar idea adding `elsa-cast` or something to add type info to forms. The downside is that elsa would then become a run-time dependency of...