characteristic of functional programming languages in general. Some languages that include type inference include C (since C23), C++ (since C++11), C (starting with version 3.0), Chapel, Clean,