#687583
В чем заключается суть модели типизацииХиндли-Милнера?
Варианты ответа:
- задает некоторые ограничения на смешение операций над разными типами данных
- позволяет создавать более гибкое программное обеспечение, хотя и ценой большей вероятности ошибок типизации
- механизм вывода типов выражений, который реализован в некоторых строгих функциональных языках программирования
- реализуется средствами статической типизации, если язык позволяет вывод типов
Курсы в категории:
Информационные технологии