Когда мы думаем в функциональном мышлении, учитывая, что функции должны быть чистыми, можно заключить, что любая функция без аргументов является в принципе просто значением.
Тем не менее, повторное использование мешает, и с разными входами мне может не понадобиться определенная функция, и если эта функция является дорогостоящей с точки зрения затрат, я бы не хотел ее оценивать, если она не нужна.
Я нашел обходное решение, используя let func _ = ...
и назвав его с помощью func 1 или что-то еще, но это очень неидиоматично и сбивает с толку читателя.
Это сводится к одному вопросу: В F # существует ли способ объявить функцию с нулевыми аргументами, не оценив ее при объявлении?