Talk:Generalized algebraic data 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

Low

This article has been rated as Low-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}}

Phantom type[edit]

Why does phantom types redirect here? It is quite possible to use phantom types without using GADTs. 192.38.109.188 (talk) 16:23, 29 June 2009 (UTC)[reply]

Actually, Phantom types should probably not exist (WP:SINGULAR), but Phantom type can always be written as an article and not redirect here; since it has not been, there is no harm it being a redirect right now (unless its target is seen as misleading). Si Trew (talk) 12:26, 5 April 2011 (UTC)[reply]

GADTs where initially named "first-class phantom types" by Hinze et al. Phantom type should be a separate article, though. 131.211.84.85 (talk) 12:14, 1 June 2011 (UTC)[reply]

The redirects Phantom type and Phantom types have now been deleted. See Wikipedia:Redirects for discussion/Log/2018 July 13#Phantom type. – Tea2min (talk) 08:27, 25 July 2018 (UTC)[reply]

What is the a in (Fix a)?[edit]

What is the a in (Fix a)? — Preceding unsigned comment added by 80.177.53.242 (talk) 16:47, 17 January 2012 (UTC)[reply]

I have no idea what I was thinking when I wrote that. Clearly there is no 'a' in scope. I've fixed the example. —Ruud 18:55, 17 January 2012 (UTC)[reply]

Difficult to understand[edit]

This article is *extremely* difficult to understand. It really needs work from the perspective of introducing the subject to somebody who is unfamiliar with it. As I read it, it seems clear that it is saying something that ought to be meaningful, but the actual meaning of it remains beyond my grasp - and I say this as someone who ought to be able to understand a topic like this with relative ease, holding as I do a BSc in CS with a good grade from a top-10 university in the UK.

I think mostly the problem is that the example is unclear. That I'm not familiar with Haskell doesn't help, I imagine, but I have used other similar languages (albeit ones that lack this particular feature), so ought to be able to make some sense of it... but I don't see how the declarations work exactly, and the example of how they would be used is too complex to be informative.

Additionally, some contrast with the features offered by traditional ADTs would be helpful. The text describing the example simply states that trying to implement it using ADTs would run into problems, but doesn't say what those problems would be. JulesH (talk) 18:52, 19 February 2015 (UTC)[reply]

+1 The lede is incomprehensible, as written. 67.198.37.16 (talk) 18:25, 12 January 2016 (UTC)[reply]

If Hasklel doesn't support GADTs natively, and OCaml does, shouldn't the example be in OCaml? 2600:8806:3403:BE00:2AB2:BDFF:FE02:3370 (talk) 22:30, 1 April 2019 (UTC)[reply]

A parametric ADT that is not a GADT[edit]

The code example claims, there is a parametric ADT that is not a GADT. How can this be? If GADTs are a generalisation of parametric ADTs, then every parametric ADT is a GADT by definition. They are trying to say: there are GADTs which are not ADTs and this isn't one of those. A better wording would be "A parametric ADT ~~that is not a GADT~~". I am not a native speaker and I hope, my thinking isn't off here. If I'm right, this wording makes it more difficult to grasp how the two concepts relate to each other. --2A01:C23:6125:B800:8947:F7CB:54C5:3E6A (talk) 15:00, 21 June 2023 (UTC)[reply]