Несмотря на то, что понятие внутренних типов может сбить с толку читателя, я не буду определять их сразу, так как хочу представить концепцию на практическом примере. Я бы хотел начать статью со следующего вопроса, который я задавал себе в разных формах на протяжении многих лет: В идеальном языке со статической типизацией, как можно определить строковый тип использования заглавных букв, используя свойства его системы типов? Я мог бы заменить заглавные буквы на перестановку строк , и..