![[tavʁaj] Ganbold](https://pbs.twimg.com/profile_images/1020711668677074944/igBOpyYD_400x400.jpg){kind=avatar}
![[tavʁaj] Ganbold](https://pbs.twimg.com/profile_images/1020711668677074944/igBOpyYD.jpg)
A really good class of type system that spots a large number of type errors without you having to manually write down the types (or only having to do it infrequently).
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Infers the type of a variable from the restrictions on how it is used
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
to impose barriers on your progress
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.