Talk:Recursive 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

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}}

This article is based on material taken from the Free On-line Dictionary of Computing prior to 1 November 2008 and incorporated under the "relicensing" terms of the GFDL, version 1.3 or later.

The theory part of this article is unfortunately rich in technical notation and jargon without references within Wikipedia or citations of references. It would be a significant task to fill in Wikipedia with appropriate information, but it would be very desirable to refer to external sources.

This subject is outside my real competence, but it looks like John Mitchell's book "Foundations for Programming Languages" would be a reasonable reference for some of the concepts and notation including the μ operator.

Hopefully someone with more competence can help fill out this topic to be more helpful to less knowledgeable readers. Crisperdue (talk) 19:09, 19 May 2017 (UTC)[reply]

Merge

I propose merging with Inductive type. I've started a discussion on that talk page. siddharthist (talk) 00:20, 18 January 2018 (UTC)[reply]

There are differences. The article Inductive type correctly emphasizes on structural recursion. While here, we have directed graphs as data, the graph of inductive types' data is restricted to terminating relations, i.e. acyclic and without infinite chains. -- Cobalt pen (talk) 09:45, 19 October 2020 (UTC)[reply]

The main difference between inductive and recursive data types is the latter admit contravariance in their definition. This is unfortunately not discussed at all. 128.237.82.2 (talk) 00:57, 21 October 2021 (UTC)[reply]