User talk:Hout: Difference between revisions
Content added Content deleted
| Line 304: | Line 304: | ||
::::: No need to revive this thread :-) All my code is pylinted (to a higher standard than most), and claims of Pythonicity are less subjective and more rigorous if referred to the tooling. The informal type commments in Hindley Milner idiom are not in fact, as you appear to imagine, 'in another language'. HM is the language-independent notation in which the type of pure functions is most commonly discussed, both inside and outside the ML tradition. (RamdaJS is an interesting JS project which uses it, for example). |
::::: No need to revive this thread :-) All my code is pylinted (to a higher standard than most), and claims of Pythonicity are less subjective and more rigorous if referred to the tooling. The informal type commments in Hindley Milner idiom are not in fact, as you appear to imagine, 'in another language'. HM is the language-independent notation in which the type of pure functions is most commonly discussed, both inside and outside the ML tradition. (RamdaJS is an interesting JS project which uses it, for example). |
||
In addition, all my functions include explanatory docstrings (as preferred by pylint). |
:::::In addition, all my functions include explanatory docstrings (as preferred by pylint). |
||
::::: The value of Rosetta Code is comparative (as the landing page puts it: ''to aid a person with a grounding in one approach to a problem in learning another''), and the most valuable form of Rosetta commentary is simply an alternative draft. I have no objection at all to anyone else code. My only comment is the code I add. Enjoy adding some of your own ! [[User:Hout|Hout]] ([[User talk:Hout|talk]]) 13:03, 4 February 2020 (UTC) |
::::: The value of Rosetta Code is comparative (as the landing page puts it: ''to aid a person with a grounding in one approach to a problem in learning another''), and the most valuable form of Rosetta commentary is simply an alternative draft. I have no objection at all to anyone else code. My only comment is the code I add. Enjoy adding some of your own ! [[User:Hout|Hout]] ([[User talk:Hout|talk]]) 13:03, 4 February 2020 (UTC) |
||