почитал её (и предшествующие ей две статьи тоже, их как раз понял на 100%), спасибо

а по вот этой статье есть вопрос, например: в этом куске статьи сказано, что вторая функция всегда будет возвращать истину. а почему?есть же конкретные типа данных, для которых можно реализовать первую функцию (func) так, что вторая theorem будет возвращать false (Int, например)

или суть как раз в том, что первую если функцию оставить полиморфной, а не конкретной, то её тело никак невозможно будет написать таким образом, чтобы theorem не обращалась в true?

(в скале есть одна поправка. на самом деле любой полиморфизм - ограничен сабтайпингом A <: Any, но этим принятно не пользоваться)

Странно, что Тони не написал этого

почитал её (и предшествующие ей две статьи тоже, их как раз понял на 100%), спасибо

а по вот этой статье есть вопрос, например: в этом куске статьи сказано, что вторая функция всегда будет возвращать истину. а почему?есть же конкретные типа данных, для которых можно реализовать первую функцию (func) так, что вторая theorem будет возвращать false (Int, например)

или суть как раз в том, что первую если функцию оставить полиморфной, а не конкретной, то её тело никак невозможно будет написать таким образом, чтобы theorem не обращалась в true?

Помогло? если нет, попробуйте написать, что смущает в этом.

а ответ на второй вопрос - нет, ибо в предыдущем посте мы о типах А, В, С тоже ничего не знали, но оставляли количества возможных вариантов значений этих типов равными самим буквам, а не единице (из-за того что не знаем о них ничего)

например вот (ссылка на этот пост в самом посте, в начале)

здесь A B C не параметры в том же смысле, как в вашем вопросе

функция на скриншоте: forall A B: (A, B) => A