Wikidata:Property proposal/Typing discipline

typing discipline edit

Originally proposed at Wikidata:Property proposal/Generic

Done: typing discipline (P7078) (Talk and documentation)

Description	specifies the typing discipline implemented, used, or mandated in a programming language
Represents	type system (Q865760)
Data type	Item
Template parameter	Infobox programming language
Domain	programming language (Q9143)
Example 1	Python (Q28865) → duck typing (Q374282)
Example 2	Python (Q28865) → dynamic typing (Q65183123)
Example 3	Python (Q28865) → gradual typing (Q16965428)
Example 4	C++ (Q2407) → static typing (Q65183461)
Example 5	C++ (Q2407) → nominative typing (Q3509459)
Example 6	C++ (Q2407) → partial inference typing (Q65184347)
Example 7	Go (Q37227) → partial inference typing (Q65184347)
Example 8	Go (Q37227) → static typing (Q65183461)
Example 9	Go (Q37227) → structural typing (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)[reply]

Discussion edit

WikiProject Informatics has more than 50 participants and couldn't be pinged. Please post on the WikiProject's talk page instead.

Support David (talk) 07:01, 9 July 2019 (UTC)[reply]
Strong support --Tinker Bell ★ ♥ 22:14, 9 July 2019 (UTC)[reply]
Support StudiesWorld (talk) 17:19, 15 July 2019 (UTC)[reply]
Support MartinPoulter (talk) 14:36, 16 July 2019 (UTC)[reply]
Support but why "typing discipline" and not "type system" which is the English label for Q865760? ArthurPSmith (talk) 20:45, 16 July 2019 (UTC)[reply]
@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)[reply]
- @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)[reply]
  - @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)[reply]
@Premeditated: Can you explain the choice of label here? ArthurPSmith (talk) 18:56, 17 July 2019 (UTC)[reply]

@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)[reply]

Makes sense - I hadn't looked at the infobox directly. Thanks. ArthurPSmith (talk) 14:29, 18 July 2019 (UTC)[reply]

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