F # интерактивное развитие

Question

Исходя из фона Matlab и R, где процесс разработки очень интерактивен (выберите, запустите выбор, исправьте, выберите, запустите выбор, исправить и т. Д.), Я пытаюсь понять, как F # обрабатывает этот стиль развития, что представляется весьма важным в научных приложениях. Вот несколько вещей, которые просто сразу приходят на ум, чтобы кто-нибудь новые для F #:

1. Выбор несколько строк дают различные результаты, чем по одной строке за раз.

   let add x y = x + y 
   add 4.1 2.3 
   

   Выбор обеих линий результатов в то время как float -> float -> float выбирая первые результаты строки в int -> int -> int. В более общем плане, пользователи Matlab/R используются для распечатки результатов после каждого утверждения, а не в конце.

2. Теневое копирование может стать обременительным.

   let file = open2GBfile('file.txt') 
   process file 
   

   Если запустить эту интерактивно снова и снова, файл 2 Гб является теневой скопированой, и вы быстро запустить из памяти. Создание файла mutable не похоже на подходящее решение, так как окончательный запуск программы никогда не изменит его.

Учитывая эти проблемы, это невозможно для системы, основанной fsi.exe для поддержки Matlab/R стиль интерактивного развития?

[Edit: Я предполагаю, что около 2. Do объекты получают помечаются для удаления, как только они затенены]

Answer 1

Я бы не ожидал, что F # станет заменой для Matlab/R, потому что в отличие от них F # является языком программирования общего назначения. Не все, что вам нужно для определенного типа работы, будет в стандартных библиотеках. Но это не означает, что «интерактивное развитие», которое вы описываете, невозможно, может потребоваться некоторое усилие для создания функций библиотеки, от которых вы зависите.

Для # 1, как упоминалось ранее, в некоторых случаях, к сожалению, необходимо добавить аннотации типов, но также ключевое слово inline и «типы шляп» могут give you duck-typing.

Для # 2, я не знаю, что ваши open и process функции делают, в отличие от того, что вы хотите от них делать.Например, функция open может:

• Читать весь файл сразу, вернуть данные в виде массива/список/и т.д., а затем закройте файл
• возвращающих FileStream объекта, который вы звоните process, но забудьте закрыть.
• Возвращение выражение последовательности, так что вы можете лениво перебирать содержимое файла
• Memoize результат одного из выше, так что последующие вызовы просто возвращают кэшированный результат
• Один из Gazillion других способов создания абстракции доступ к файлам.

Некоторые из них лучше подходят для вашей задачи, чем другие. По сравнению с Matlab & R, язык общего назначения, такой как F #, дает вам больше возможностей стрелять в ногу. Но это потому, что это дает вам больше возможностей сделать все.

Answer 2

Для # 1

В FSI, вы должны ввести ;; на конец каждого оператора и получить результаты непосредственно:

> 1 + 2;; 
val it : int = 3 

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

Для # 2:

Это, как представляется, проблема самого кода: Сделайте file функцию, поэтому чтение/копирование выполняется только когда и где действительно необходимо (в противном случае пусть связывание будет оцениваться в начало).