Talk:Union type

This article is within the scope of WikiProject Computer science, a collaborative effort to improve the coverage of Computer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.Computer scienceWikipedia:WikiProject Computer scienceTemplate:WikiProject Computer scienceComputer science articles

Mid

This article has been rated as Mid-importance on the project's importance scale.

Things you can help WikiProject Computer science with:

Here are some tasks awaiting attention:

Article requests :
- Requested articles/Applied arts and sciences/Computer science, computing, and Internet
Cleanup :
- Computer science articles needing attention
- Computer science articles needing expert attention
Copyedit :
- Computing
Expand :
- Computer science
Infobox :
- Computer science articles without infoboxes
Maintain :
- Timeline of computing 2020–present
Photo :
- Find pictures for the biographies of computer scientists (see List of computer scientists)
- Computing articles needing images
Stubs :
- Computer science stubs
Unreferenced :
- WikiProject Computer science/Unreferenced BLPs
Project-related :
- Tag all relevant articles in Category:Computer science and sub-categories with {{WikiProject Computer science}}

Computing: Software Low‑importance

	This article is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.ComputingWikipedia:WikiProject ComputingTemplate:WikiProject ComputingComputing articles
Low	This article has been rated as Low-importance on the project's importance scale.
	This article is supported by WikiProject Software (assessed as Mid-importance).

union

This article seems to suggest that it is possible to have methods, static members, private and protected methods, and probably a few other things that I am forgetting, In C++ unions. As far as I know this is not the case, but I am not 100% certain of this. Can someone clarify in the article what features of structs are not possible for unions in C++.--King Mir 18:31, 29 April 2007 (UTC)[reply]

Static data members are allowed since C++11. Methods has always been allowed. 90.230.55.237 (talk) 09:50, 25 November 2019 (UTC)[reply]

Misconception

When you talk about union types, the first thing that pops up is the unions from C/C++, but there is such thing in the type theory of programming languages. Don't have any paper on hand, but the Types and Programming Languages by B. Pierce describes the intuitions, which is much general that it is in the current page ^[1] — Preceding unsigned comment added by Hfehrmann (talk • contribs) 23:15, 19 December 2016 (UTC)[reply]

References

^ https://www.cis.upenn.edu/~bcpierce/tapl/

At most one member of a union can be active at any time

The section about C/C++ states: "The primary use of a union is allowing access to a common location by different data types, for example hardware input/output access, bitfield and word sharing, or type punning." This usage might be common but is not actually guaranteed to work according to the standard. I think it should at least be mentioned that this is either undefined behaviour or relying on extra guarantees given by the compiler. 90.230.55.237 (talk) 09:35, 25 November 2019 (UTC)[reply]

Scala 3 union types

I think Scala 3 union types should be mentioned somewhere, but if I understand correctly, they are neither union types nor tagged unions... Any ideas? — Chrisahn (talk) 18:46, 21 August 2022 (UTC)[reply]

India Education Program course assignment

This article was the subject of an educational assignment at College Of Engineering Pune supported by Wikipedia Ambassadors through the India Education Program during the 2011 Q3 term. Further details are available on the course page.

The above message was substituted from {{IEP assignment}} by PrimeBOT (talk) on 20:06, 1 February 2023 (UTC)[reply]

[1] ttps://www.cis.upenn.edu/~bcpierce/tapl/

[1]