M
Ладно, специфический код
Size: a a a
2021 June 20
VP
Как называется функция, принимающая 0 аргументов?
HK
В F# таких не бывает. Возможно, тебя интересует функция, которая принимает значение unit.
VP
А как же Set.empty?
VP
Или такое
HK
Это не функция, а экземпляр пустого set'а.
Если я не ошибаюсь, это Set.empty — это статическое поле, которое инициализируется единожды таким экземпляром, чтобы не делать лишних аллокаций.
Если я не ошибаюсь, это Set.empty — это статическое поле, которое инициализируется единожды таким экземпляром, чтобы не делать лишних аллокаций.
VP
А как оно тогда возвращает сет нужного типа?
HK
А это просто статическое свойство. Но выглядит хитро за счёт геттера, да:
let inline unimplemented<'T> = Unimplemented<'T>.get_Unimplemented()
HK
Оно не возвращает, это просто обращение до экземпляра.
HK
Мол, ты же не возвращаешь ничего в таком примере:
let i = 1
HK
let s = Set.empty
VP
let a : Set<int> = Set.empty
let b : Set<float> = Set.empty
a и b не могут быть одинаковыми
VP
Вообщем, там тоже статическое свойство
HK
Для каждого типа там будет один и тот же инстанс.
VP
А, да. Но оно обёрнуто в статическое свойство которое потом в функцию, которая ведёт себя как свойство (568 и 793 строки)
https://github.com/fsharp/fsharp/blob/d6244d4a1b7bc4efce42bc050ad08384cdce0320/src/fsharp/FSharp.Core/set.fs#L568
https://github.com/fsharp/fsharp/blob/d6244d4a1b7bc4efce42bc050ad08384cdce0320/src/fsharp/FSharp.Core/set.fs#L793
https://github.com/fsharp/fsharp/blob/d6244d4a1b7bc4efce42bc050ad08384cdce0320/src/fsharp/FSharp.Core/set.fs#L568
https://github.com/fsharp/fsharp/blob/d6244d4a1b7bc4efce42bc050ad08384cdce0320/src/fsharp/FSharp.Core/set.fs#L793
I
В фарше таких нет, но если ты делаешь функцию, которая имеет дженерик параметр, го не имеет обычных, то фарш автоматически подразумевает что это unit -> 'a. При этом функция вызывается без параметра
I
Я даже не назвал бы это сахаром, скорее странной особенностью.
Dv
У этого даже специальное название было, но я его забыл.
I
Так работает Unchecked.defaultOf к примеру