title_body: Can programming languages be categorized as conlangs? Would it be correct to say that the majority of computer programming languages (such as functional or procedural) are the form of constructed languages? If so, what makes it a constructed language in this case?
  
  Let say a "Hello, World!" program as the example.
  
  
  
  
    Hello World! by Brian Kernighan, from Artsy's Algorythm Auction based on a 1978 Bell Laboratories internal memorandum by Brian Kernighan, Programming in C: A Tutorial, which contains the first known version. 2 lines of C Code. -
     Wikipedia
upvoted_answer: No. "Constructed languages" on this site refers to artificially created languages for intelligent beings, not machine languages. In the absence of another qualifier a "language" is, as I wrote on another site, a system for communicating propositional and conceptual information to other beings. This is different from communication. Programming languages can definitely be used to communicate - and they carry meaning - but that doesn't make them languages. Purely referential communication (using symbols to directly refer to things in the world without metaphorical extension) is not enough to be a language, language must be able to communicate abstract concepts that are beyond any sensory or referential basis. Programming languages are systems for encoding instructions for machines, and not general purpose concept exchange systems.