@edwinbrady @bodil That is something I'd like to see: dependent dynamic types! (Or is that just another way of saying "buggy as hell"?)
-
-
-
@marchamann@bodil Depending what you mean by that, it might already work (e.g. we can compute types, update types of state, etc.) - 1 more reply
New conversation -
-
-
@edwinbrady@bodil@hypirion it's good to see that the static types community is breaking free of their shackles!Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.