https://datadosen.com/fa/Comparision_of_programming_languages_with_dependent_types