38

has a little more than 2k questions, the tag info starts with

Type inference is the process of inferring types for programs automatically, using rules defined by a type system, thereby allowing the programmer to omit writing (sometimes very extensive) type annotations.

has 61 questions, the tag info starts with

Type inference refers to the automatic deduction of the type of an expression in a programming language.

Given that the tag info starts with the exact two words, the former tag is made up from, it seems like a logical step to merge the two. If I understand correctly, this search shows that at least 12 of the questions tagged , are also tagged , leaving 49 questions only tagged with .

Following a question by 1201ProgramAlarm in the comments: I think should also become a synonym of .

3
  • 6
    Should inferred-type be made into a synonym of type-inference? Commented Dec 13, 2020 at 21:07
  • I knew I missed something; yes, I think that would make sense, given the similarity. Commented Dec 13, 2020 at 21:38
  • Came across these two recently as well. Merging them seems like a no-brainer.
    – InSync
    Commented Jul 23 at 8:54

1 Answer 1

2

is now a synonym of , and the tags have been merged.

This seems clear-cut: +36/-0, no objections in the comments, seems correct to me as well.

updating post history, 109 rows affected (pipe delimited)
updating posts, 99 rows affected  (pipe delimited)
updating PostTags associations, 79 rows affected
updating ForYou nudges, 0 rows affected
destroying 'inferred-type': [inferred-type] removed from (0 post, 0 history, 1 tag)
total: 1 tags deleted, 0 posts modified, 0 post histories modified
0 history records for type Question had empty tags; retagged to [untagged]
0 post records of type Question had empty tags; retagged to [untagged]
0 history records for type Announcement had empty tags; retagged to [untagged]
0 post records of type Announcement had empty tags; retagged to [untagged]
0 history records for type Collectives Discussion had empty tags; retagged to [untagged]
0 post records of type Collectives Discussion had empty tags; retagged to [untagged]
updating count for target tag, new count: 2797
tag remapping of [type-inference] and [inferred-type] complete!
remapping 0 synonyms
1 favorite and ignored tags remapped!
1 tracked tag badges were remapped!
Tag Synonym inferred-type -> type-inference was approved!

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .