标签： union-types
我目前正在为考试而学习，我在这个问题上遇到了绊脚石，google无法令人满意地回答这个问题，我对自己想：为什么不直接问专家？ :) 如果您能帮助我，那太好了。
我确切需要的是跨多种通用编程语言的未区分和已区分联合类型之间的抽象区别。 现在，我不要求您分别为几种语言定义它。 我需要的是对概念和关键共性的抽象理解。
我还要问一下两者的主要优点和缺点是什么。我的演讲说，不受歧视的工会会引入更多安全问题，需要妥善解决，但这并不能真正解释原因。
谢谢您的时间。