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.) |
|||
| (One intermediate revision by one other user 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 26 ⟶ 27:
:::: 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)
| |||