Talk:Church numerals: Difference between revisions
RankNTypes
GordonBGood (talk | contribs) (→Created a stub for a Church Numerals: added several language variants...) |
(RankNTypes) |
||
Line 95:
: (I moved your comment here – given the essentially anonymous/collective character of contributions, the talk page seems the more natural home for it) [[User:Hout|Hout]] ([[User talk:Hout|talk]]) 17:39, 13 September 2018 (UTC)
:: OK [[User:Petelomax|Pete Lomax]] ([[User talk:Petelomax|talk]]) 19:02, 13 September 2018 (UTC)
===RankNTypes & coercion===
This is a nice task, it is good at showing different type systems. Several examples refers to Haskell's RankNTypes. What does it do? Does it make all Church numerals the same type? In the C++ implementation of division, I had trouble with 4-2 and 3-1 being different types even though they are both 2. Is that the cause of needing coercion? [[User:Garbanzo|Garbanzo]] ([[User talk:Garbanzo|talk]]) 21:14, 23 December 2022 (UTC)
| |||