Здравствуйте, я только начала изучать F# и захотелось поиграться с примерами из книжки

в общем

откуда вывелся тип int, если тут его однозначно нельзя определить?

👀

к примеру, инит может быть строкой

А sum где-нибудь вызывается?

нет, это просто функция без контекста, если ее в репл вызвать, то она будет ругаться, если ей отдать массив из строк, например

для + дефолтно выводит int

Оу, вот как

Спасибо

+ сводится к инту по дизайну

Без let inline

хочешь что было общее - пиши let inline sum

Попробовала написать ниже применения, тип действительно начал на стринг меняться

Уф, спасибо, это тоже работает

Субботний вечер время напомнить, что у нас есть кроме этого чата сугобо про F# ещё пара тематических и не очень групп:
@fsharp_flood - флудильня на свободные темы, споры про то какой язык лучше, во что поиграть и тд и тп все тут, но так же дружелюбно;
@fsharp_jobs - вакансии на F#, не много, но всё зависит от вас, чем активнее мы как сообщество, тем больше вакансий;
@fsharp_news - канал с новостями, впрочем все новости так сюда транслируются, интересные ссылки из чата так же попадают в телевизор!

именно потому что его нельзя однозначно в рантайме определить (нет таких констрейнов на дженерик в CLR), фшарп выбирает первый попавшийся.

А первый попавшийся констрейн тут это оператор (+).
А первый попавшийся тип на этот констрейн тут - int32

поэтому компилятор первым делом резолвит что (+) применяется для интов, и результат тоже инт, а дальше он раскручивает клубок инфиренса до конца.

Чтобы сделать эту функцию "дженерик" по отношению типов оператора сложения, надо обмануть рантайм и отресолвить типы в компайл тайме.

Для этого в фшарпе есть возможность проверки типов в компайл тайме через инлайн функции по месту вызова и резолва там же.
Называется SRTP - statically resolved type parameters

Такие функции обладают странными сигнатурами, обязательно должны быть помечены как инлайн и их скомпилировать сможет только компилятор фшарпа.

Оператор (+) как раз и есть пример такой инлайн функции, но чтобы его магия работала и дальше, вызывающая функция тоже должна быть инлайн.

Поэтому тебе достаточно сделать:

let inline sum inputs init = ... 

и внезапно твою сумму можно будет вызывать для любого типа, который объявляет оператор (+), потому что такой дженерик констрейн уже будет чекать не рантайм (который не может), а компилятор фшарпа по месту инлайна (который может)

ебать я написал

Хорошо написал, не придерёшься