+ 5

Why can't a programming language becomes both fully recursive and polymorphism

In my theory of computation class last Spring my professor said in passing that a programming language cannot be both fully recursive and polymorphism

22nd Jul 2018, 7:53 PM
Yesh Jadav
Yesh Jadav - avatar
3 Respuestas
+ 9
I wouldn't go so far as can't, but it hasn't been done as yet. The issue is that the data types must be allowed to change over the recursive calls and nobody has figured out a generic way to allow that so a single coded function supports it.
22nd Jul 2018, 9:40 PM
John Wells
John Wells - avatar
+ 2
I found your doppleganger. Seems like the professor has been sowing seeds of confusion. For some time now. https://cs.stackexchange.com/questions/44954/why-cant-a-programming-language-be-both-fully-recursive-and-polymorphic
22nd Jul 2018, 9:55 PM
Janning‚≠ź - avatar
2nd Aug 2018, 12:36 AM
4lrobert - avatar