Talk:Recursive data type
The theory part of this article is unfortunately rich in technical notation and jargon without references within Wikipedia or citations of references. It would
 | This article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||
| ||||||||||||||||||
 | 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)
Merge
I propose merging with Inductive type. I've started a discussion on that talk page. siddharthist (talk) 00:20, 18 January 2018 (UTC)
- 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)
- 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)
Content Disclaimer
Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.
- The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
- There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
- It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
- Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
- Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.