Take the 2-minute tour ×
English Language & Usage Stack Exchange is a question and answer site for linguists, etymologists, and serious English language enthusiasts. It's 100% free, no registration required.

I'm working on some software programming documents where certain types can be inferred from the code*. I have this tendency to then called these inferred types the implicit type. This makes sense because it's a contrast to an explicit type.

What bothers me is that the word implicit appears to have imply as its root. Knowing these types are inferred and not implied makes it odd to use the word implicit. It might however just be the history of the word and thus no longer relevant.

Is it okay to call these inferred types an implicit type?

*In non-programming terms: I have a document which describes an object. Some of the properties of the object are not actually written down, but can be inferred from the other listed properties.

share|improve this question
    
Can they not be inferred because they are implied? –  Andrew Leach Dec 11 '13 at 6:51
    
@AndrewLeach, I suppose they could. –  edA-qa mort-ora-y Dec 11 '13 at 6:58
add comment

2 Answers 2

up vote 1 down vote accepted

According to google:

implicit adjective

  1. suggested though not directly expressed.

"comments seen as implicit criticism of the policies"

  1. always to be found in; essentially connected with.

"the values implicit in the school ethos"

Looking at the above two definitions, implicit can be used as the qualities are 'indirectly' expressed and hence would have to be inferred. Also, these are qualities, as per my understanding, though not obvious, are an integral part of the code, hence implied.

share|improve this answer
    
Is it fair to say that the "code implies the implicit types" and the compiler "infers the implicit types"? –  edA-qa mort-ora-y Dec 11 '13 at 7:13
    
If you are asking for your clarity, then yes. –  Preetie Sekhon Dec 11 '13 at 7:15
    
Please read the second '1.' as '2.'. It simply is not reflecting in the final text! –  Preetie Sekhon Dec 11 '13 at 7:22
add comment

A speaker or writer can imply something ,and the listener or reader can infer it . imply means suggest that something is true without saying or showing it directly . infer means to form an opinion that is probably true because of other information that you already know .

So by these definitions implicit can not be used.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.