So for example { x: 1, y: "a string" } can be passed to functions expecting { x: Int }, { y: String }, and { x: Int, y: String }
I liked elms approach where records types meant "has at least these fields with these types"
-
-
This Tweet is unavailable.
-
- 4 more replies
-
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.