Record name conflict with Typescript

[stafyniaksacha]

Since Typescript adoption is quite large, will not the Record name conflict with Record interface?

Knowing about the Type Annotations proposal, it may conflict too?

[acutmore]

Some information in #9 and #82 (comment)

The conflict is only conceptual rather than breaking. In TypeScript Record exists only as a global symbol in the 'type space', where as the Record constructor in this proposal is a global name in the JavaScript 'value space', so the TypeScript compiler can tell the difference between the two.

Example:

https://www.typescriptlang.org/play?&filetype=ts#code/LAKAJgpgxgNghgJwgAgOYwPYCM42Qb1GWOQBcBPABxSSgwTGQF4CBfAbmQHovlL4oEABYYYkBMgBm9MkJQByWvTDy+CAJYBbdaXUA3FBWpESMCKWQAlaMoBcBEyRIAKDPewAraKQCU9pQzsjk5SCBiaAKIAdqQaEADOzhD2AJKkEAhwWGYAPADaANYQ5PbxsepRqAA0yHq4AK7JyHBR5AC6AHx+yAFgQSBOHKCsoKMgdFFlPcxWNgwAdJJhkTFxiXltPv2gRoYz1nQMOWUalTUnFagd2yCgEAAelPQW+KxAA