Что может предложить F # для управления недетерминизмом?

Question

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

В Haskell есть монада IO, которая устанавливает нечистый контекст, глядя на то, что мы знаем, что все вне его чисто. Что хорошо, если вы спросите меня, когда дело доходит до модульного тестирования, можно сказать, какая часть их кода в конечном счете проверяется, а какая нет.

Я не нашел ничего, что позволило бы отделить два в F #. Означает ли это, что это просто невозможно?

Answer 1

F # основан на OCaml, и, как и OCaml, он не является чистым FP. Я не верю, что вам удастся достичь своей цели на любом языке.

Answer 2

Различие между детерминированной и недетерминированной функцией не фиксируется системой типа F #, но типичная система F #, которая должна иметь дело с недетерминированностью, будет использовать некоторую структуру (или «шаблон проектирования»), которая четко разделяет два.

• Если ваша основная модель некоторого вычисления, которое не взаимодействует с миром (вам нужно только собрать входы и запустить расчет), то вы можете написать большую часть вашего кода, как функциональные преобразования на неизменных структуры данных и затем вызовите их из некоторого «основного» цикла ввода/вывода.

• Если вы пишете некоторые высоко интерактивные или реактивная приложения, то вы можете использовать F # агентов (здесь an introductory article) и структурировать приложение таким образом, что недетерминизм безопасно содержится в отдельных агентов (см more about agent-based architectures)

Answer 3

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