Abstract Wikipedia/Wiki of functions naming contest/Wikimonad
Wikimonad
[edit]Voting
[edit]- Proposed by the wub
Support Leibniz for the win! --denny (talk) 18:29, 25 September 2020 (UTC)
Support A monoid in the category of wikis is exactly what we need! --Mormegil (cs) 09:57, 28 September 2020 (UTC)
Support Also sounds good --Info-Screen (talk) 19:45, 30 September 2020 (UTC)
Support .. for purely aesthetic reasons .. KaiKemmann (talk) 11:51, 3 October 2020 (UTC)
Discussion
[edit]- I'm no expert on programming terminology, but according to w:Monad (functional programming): "a monad is an abstraction that allows structuring programs generically" which sounds a lot like what this project is intended to do. See also the various philosophical concepts of monads, especially Leibniz's elementary particles. Plus it just sounds nice to me :) the wub "?!" 21:23, 24 September 2020 (UTC)
- @Mormegil: It would be kind of funny if the function Z1 (or however the identifiers will be formatted) would be just the identity. 𝟙𝟤𝟯𝟺𝐪𝑤𝒆𝓇𝟷𝟮𝟥𝟜𝓺𝔴𝕖𝖗𝟰 (𝗍𝗮𝘭𝙠) 10:51, 29 September 2020 (UTC)
- @1234qwer1234qwer4: I thought the identifiers would be just the Gödel numbering of the functions? (ducks) --Mormegil (cs) 10:58, 29 September 2020 (UTC)