The laughter after I troll folks by suggesting Hest is getting a static type system.
Conversation
Do you have any fancy ideas for it? There is something called temporal type theory (arxiv.org/pdf/1710.10258) but it is quite far out and inaccessible for current application.
2
1
Politically I'm a socialist, but when it comes to type systems I'm a libertarian (oh god this is such a bad analogy). Programming languages shouldn't impose their nanny-state hand-holding bubble-bath (what?) paternalism on you! No invisible walls! If you go out of bounds—awesome!
1
1
Libertarian socialism is a thing :) - don't let a small group of Americans re-define the history of liberation.
1
(Also I misread that your original thing was a troll 😭 - I got excited at the mention of types)
1
1
That temporal type theory stuff looks cool all the same, haha