Может кто-нибудь объяснить, почему в F# вывод типа работает по-разному (или какой-то другой аспект, который я не понимаю?) между методами класса и функциями. Представьте себе следующее (упрощенно): type Node<'T> = Node2 of 'T * 'T type...

Это чисто академический вопрос, но он основан на этом вопросе об ограничениях типов. . Спрашивающий привел это в качестве примера: type Something<'a, 'b when 'b :> seq<'b>>() = member __.x = 42 который f# успешно...

У меня есть ситуация, когда мне нужен метод, который может принимать типы: Array[Int] Array[Array[Int]] Array[Array[Array[Int]]] Array[Array[Array[Array[Int]]]] etc... давайте назовем этот тип RAI для «рекурсивного массива целых чисел»...

У меня есть функции, которые представляют шаги в процессе. Каждая функция также знает следующий шаг, если он есть. Я хотел бы иметь возможность сделать что-то вроде: fun fooStep() : Step? { ... do something ... return ::barStep // the...

Я хочу иметь возможность повторить процесс, в котором коллекция, которую мы повторяем, изменяется n количество раз. n известен только во время выполнения и может быть указан пользователем, поэтому мы не можем жестко запрограммировать его в тип....

Предположим, у меня есть кортеж кортежей: type Example = [[3,5,7], [4,9], [0,1,10,9]]; Я хочу создать утилиту типа Flatten<T> , чтобы Flatten<Example> давала: type FlatExample = Flatten<Example>; // type FlatExample =...