Intersection types

[rrdelaney]

The type A & B will combine record types in Flow, we should also support it

[bbqbaron]

I'd like to start on this. Not knowing as much as I should about Ocaml, though, can I ask for a high-level approach description? I don't see a way for Ocaml to declare an intersection record type using something like &. I could certainly hand-construct an intersection of any two given types, but not declare the type relationship between some 'a and 'b in, say:

external mergeThings: 'a => 'b => ??? = "" [@@bs.module "stuff"];

How would this be accomplished?

[rrdelaney]

I don't really know either 😕 Maybe something like a type spread?

If you're looking for something pretty do-able #15 might be a good option 🙂