search

emacs-elsa / Elsa

Emacs Lisp Static Analyzer and gradual type system.
GNU General Public License v3.0
640 stars 26 forks source link

Add an option to assert that something is 100% certain type #180

Open Fuco1 opened 2 years ago

Fuco1 commented 2 years ago

This is like the x as unknown as whatever construct in Typescript. Sometimes, we want to say that a form is a certain type no matter the type checks.

See also #151