Являются ли тИповые переменные в объявлении функции её неявными параметрами?

Question

Symbolic logic for math and destroy

Антонидзе Кучпилип

Являются ли тИповые переменные в объявлении функции её неявными параметрами?

0

10.02.2023

2 ответов

23 просмотра

Антонидзе Кучпилип Автор вопроса

А правильно ли я понимаю, что: 1. Аргументы для неявных параметров сначала выводятся, а потом подставляются. 2. Аргументы для явных параметров подставляются сразу. И вопрос: какие ещё бывают варианты?

0

10.02.2023

Владимир Иванов · Accepted Answer

Типы в строготипизированном языке всегда выводятся (в смысле type inference), благо для лямбда исчисления это всегда возможно. Благодаря чему становится возможным использовать неявные параметры типа. Явно указанные типы также должны проходить проверку на соответствие типов, нельзя просто взять и подставить абы какие. Иногда неявных типов может оказаться недосточно, например, если вы создали пустой список: элементов у него нет, а их тип есть.

Похожие чаты

Являются ли тИповые переменные в объявлении функции её неявными параметрами?

2 ответов

Похожие вопросы