4 ms·
Eventual or gradual typing could leave everyone happy. On the premise of the article, maybe the key to representing a program visually is a very expressive (an
by emporas 2y ago
Eventual or gradual typing could leave everyone happy.
On the premise of the article, maybe the key to representing a program visually is a very expressive (and strong) type system. There could be a way to derive some Visual Types from good old regular types, and diagram the visual types in any level of granularity one desires.
- marcosdumay 2y agoInstead, gradual typing seems to always make everybody as unhappy as they can get. Just like visual programming, it looks like we are doing gradual typing very wrongly.
- emporas 2y agoIf Typescript counts as gradual typing, which i think it does, then many seem to be very happy using it. I have skimmed over more than 1000 blogs of HN, didn't see any posts about disliking Typescript, and many people use it. Doesn't Typescript offer seamless interoperability with vanilla Javascript?