search

JSMonk / hegel

An advanced static type checker
https://hegel.js.org
MIT License
2.1k stars 59 forks source link

disallow non strict comparison #145

Closed thecotne closed 4 years ago

thecotne commented 4 years ago

disallow non strict comparison as it implies implicit type conversion (which i think should not be allowed in sound type system)

JSMonk commented 4 years ago

It's a nice idea. I will think about a soft implementation of the proposal. Thank you for your contribution ^_^

vkurchatkin commented 4 years ago

which i think should not be allowed in sound type system)

This has nothing to do with soundness. == is perfectly safe and even sometimes useful.

thecotne commented 4 years ago

@vkurchatkin you are right about soundness.

but i am curious what is a use case for == since i am developing with eslint/eqeqeq for past at least 3 years.

this issue probably can be closed since eslint has this feature and there is no point in optional support in hegel since if someone wanted to opt in for this there is eslint/eqeqeq...