search

JSMonk / hegel

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

It should be possible to refine Soft typed variables when mutating ? #305

Open leunam217 opened 4 years ago

leunam217 commented 4 years ago

Hi I wander why this is not possible imagen try

It's a pity that this is not supported as is very common. For example : imagen By the way the current type of prototype is unknown but I think that {...} it's more accurate. Is possible to do it in refinement phase ?

JSMonk commented 4 years ago

It seems like really hard task. I will try to find some solution, but i don’t think, that we will find something strict and easy to use. Thank you for your contribution. You are awesome ^_^