Wikidata:Property proposal/Typing discipline

From Wikidata
Jump to navigation Jump to search

typing discipline[edit]

Originally proposed at Wikidata:Property proposal/Generic

Descriptionspecifies the typing discipline implemented, used, or mandated in a programming language
Representstype system (Q865760)
Data typeItem
Template parameterInfobox programming language
Domainprogramming language (Q9143)
Example 1Python (Q28865)duck typing (Q374282)
Example 2Python (Q28865)Q65183123
Example 3Python (Q28865)gradual typing (Q16965428)
Example 4C++ (Q2407)Q65183461
Example 5C++ (Q2407)nominative typing (Q3509459)
Example 6C++ (Q2407)partial inference typing (Q65184347)
Example 7Go (Q37227)partial inference typing (Q65184347)
Example 8Go (Q37227)Q65183461
Example 9Go (Q37227)structural type system (Q936724)

Motivation[edit]

This property is important for the classification of programming languages and to be compatible with the mentioned infobox. The Wikipedia article en:Type system has a box with a list of items that can be used within this property. It could be simplified to "typing" if the property could be useful in other areas. Premeditated (talk) 21:36, 8 July 2019 (UTC)

Discussion[edit]

Tobias1984
Emw
Zuphilip
Danrok
Bene*
콩가루
TomT0m
DrSauron
Ruud Koot
Andreasburmeister
Ilya
Toto256
MichaelSchoenitzer
Metamorforme42
Pixeldomain
User:YULdigitalpreservation
Dipsode87
Pintoch
Daniel Mietchen
Jsamwrites
Tinker Bell
FabC
Jasc PL
putnik
Dhx1
Tris T7
Peb Aryan
lore.mazza004
Rc1959
Premeditated
Pictogram voting comment.svg Notified participants of WikiProject Informatics

  • Symbol support vote.svg Support David (talk) 07:01, 9 July 2019 (UTC)
  • Symbol strong support vote.svg Strong support --Tinker Bell 22:14, 9 July 2019 (UTC)
  • Symbol support vote.svg Support StudiesWorld (talk) 17:19, 15 July 2019 (UTC)
  • Symbol support vote.svg Support MartinPoulter (talk) 14:36, 16 July 2019 (UTC)
  • Symbol support vote.svg Support but why "typing discipline" and not "type system" which is the English label for Q865760? ArthurPSmith (talk) 20:45, 16 July 2019 (UTC)
  • @ArthurPSmith: Given that you added a new open question, why do you consider the property to be ready? Wouldn't it make more sense to wait till the concern is answered before marking it ready? ChristianKl❫ 08:09, 17 July 2019 (UTC)
    • @ChristianKl: The label in Spanish seems fine. I don't think properties need to wait to settle the exact label in one specific language. ArthurPSmith (talk) 13:35, 17 July 2019 (UTC)
      • @ArthurPSmith: Given that the English name gets used as basis for most translations I feels to me like having a consensus for a good English name is central before creating a property. ChristianKl❫ 14:00, 17 July 2019 (UTC)
    @Premeditated: Can you explain the choice of label here? ArthurPSmith (talk) 18:56, 17 July 2019 (UTC)
@ArthurPSmith, ChristianKl: The choice of label is the same as used in Infobox programming language. Typing discipline is kind of a nicer way to say typing system. I don't have any strong opinions on the name, other than it should be easy to understand for fellow contributors. - Premeditated (talk) 21:09, 17 July 2019 (UTC)
Makes sense - I hadn't looked at the infobox directly. Thanks. ArthurPSmith (talk) 14:29, 18 July 2019 (UTC)

@ديفيد عادل وهبة خليل 2, ChristianKl, ArthurPSmith, StudiesWorld, MartinPoulter, Premeditated: ✓ Done: typing discipline (P7078). − Pintoch (talk) 20:55, 23 July 2019 (UTC)