Почему делегаты считаются типобезопасными в программировании?

Делегаты считаются типобезопасными в программировании благодаря их строгой типизированности. ru.stackoverflow.com

Делегат можно упрощённо представить как указатель на функцию. ru.stackoverflow.com Но в отличие от обычного указателя, делегат кроме адреса функции хранит ещё и информацию о количестве параметров, их типах и порядке следования, а также о возвращаемом значении. ru.stackoverflow.com

Таким образом, делегату нельзя «подсунуть» какой-то метод, чья сигнатура не соответствует той, что представляет делегат. ru.stackoverflow.com Например, при попытке использовать делегат, предназначенный для ссылки на метод, принимающий целое число и возвращающий строку, с методом, который принимает строку и возвращает целое число, программа даже не скомпилируется. habr.com