Anonymous user
Talk:Type detection: Difference between revisions
added a section header to have the TOC in the correct location.
(added a section header to have the TOC in the correct location.) |
|||
| (5 intermediate revisions by 2 users not shown) | |||
Line 1:
==start of a draft task?==
Hi, Is this the start of a draft task? --[[User:Paddy3118|Paddy3118]] ([[User talk:Paddy3118|talk]]) 12:57, 7 October 2015 (UTC)
:# '''Questions:''' Is ''type detection'' itself a task ? What problem might I be trying to solve by detecting a type (at run-time) in the compiled version of a statically typed language ? Are you, for some reason, thinking of a class of problems which can't be solved in terms of an untyped lambda calculus ? If so, what are they ? Does this sound like a Rosetta task (the value of which is that languages turn out to be '''unexpectedly similar beneath the surface''', if you set them all to the same task) ? Or is it a stamp-collector, list-maker or grammatical librarian's task (simply absorbed in the cataloguing of notational '''differences''') ?
Line 22 ⟶ 23:
:: The language was just what i happened to be working on at the time and not meant as a challenging exercise. It was fairly easy for me to contribute with it, since i was already working on it. I must admit, it's also a selfish reason, cause i believe i might benefit from having this article here for future reference and hopefully others do too. The fact that others saw it as an invitation to expand it with more languages, is really a testament to the community on this wiki and it's really nice to see. I can understand your worry about spam, but people are clearly maintaining this wiki very nicely, so it should hopefully be detected fairly quickly and efficiently if it actually happens. --[[User:Bugmenot2|Bugmenot2]] ([[User talk:Bugmenot2|talk]]) 10:10, 19 October 2015 (UTC)
::: As "you" say ''i can't guarantee this account won't be used by others'' … Perhaps taking the 30 seconds it requires to get a consistent username is actually a ''sine qua non'' of anything resembling constructive conversation. It could be construed as quite impolite to lazily expect others to 'talk' to a reusable ersatz name without any sense of whether the same person is behind it from one sentence to another. There's not even any coherent 'body corporate' or 'legal person' behind a mutable string that's simply been picked up somewhere in a public space and very possibly dropped again, perhaps several times. Any one of the sentences that have been typed under the various bugmenot1-Ns took longer than simply getting a username. [[User:Hout|Hout]] ([[User talk:Hout|talk]]) 11:14, 19 October 2015 (UTC)
:::: I can see that this was posted by [[User:Hout|Hout]], but you forgot to add a signature. I'm not sure how to add a signature for someone else, so i'm at least mentioning it.
::::: I've added it now, and perhaps 'you' see my point … '''Not one''' of the "BugmenotN" sentences have anything that actually constitutes the signature of a persistent 'person', individual or corporate. [[User:Hout|Hout]] ([[User talk:Hout|talk]]) 11:28, 19 October 2015 (UTC)
:::: I didn't expect to use this account for discussions. I merely wanted to create a few small contributions where i saw i could help. When i saw there was a discussion about me, i felt i should at least respond. --[[User:Bugmenot2|Bugmenot2]] ([[User talk:Bugmenot2|talk]]) 10:47, 19 October 2015 (UTC)
::::: Good. Get yourself a username and do that. [[User:Hout|Hout]] ([[User talk:Hout|talk]]) 11:19, 19 October 2015 (UTC)
==Delete?==
| |||