Мне нравится F#. Но большой практики написания программ на нём не было. Писал только вспомогательные тулзы для проектов.

В этой теме хочу задавать вопросы по этому языку.


И так, первые вопросы:
1)Есть ли в F# функция высшего порядка, подобная std::find_if?
2)Как из тела цикла возвращать значение, если искомый результат обнаруживается в конце или в середине цикла? 
Пример, когда результат обнаруживается в конце цикла:

(Понятно, что тут должен быть поиск в каком-нибудь массиве, но это просто пример).
3)Как правильно получить последний элемент массива, не используя такую убогую конструкцию t.[t.Length-1]?
4)Как вы возвращаете значение из сложной функции с несколькими циклами и ветвлениями, ведь return нет в языке? Мне приходилось делать хак в виде присвоения мутабильной переменной result результата с последующим киданием исключения и отловом около последней строки функции, возвращающей этот сохраненный ранее result. Простите, мой испорченный императивными языками стиль программирования. Как сделать возврат значения из относительно сложной функции правильно по функциональному?

Это сообщение отредактировал(а) laMer007 - 28.12.2011, 01:12

наверное этот ответ(как и другие) легко найти в описании языка, впрочем можно и самому написать, заодно и попрактиковался бы

как же ты писал тулзы для проектов?

Не, не легко. Я думаю, в F# обобщённых функций в стандартной библиотеке нет. Про Array.find я знаю. Вы для List свой велосипед написали, но для него такая функция тоже есть. Но это все не то.

Ладно. А что с другими вопросами 2-4? Если они не очень понятны, то я могу объяснить подробнее с конкретными примерами.

Это сообщение отредактировал(а) laMer007 - 28.12.2011, 01:11

что значит "не то"? и что ты подразумеваешь под обобщенными функциями?

3) опять же, ищите или пишите функцию last

Добавлено @ 09:23
2,4) думаю смотреть нужно в сторону продолжений (continuations), как-то так

Это сообщение отредактировал(а) k0rvin - 28.12.2011, 12:59

Пример:Как видите функция std::find_if работает для любого типа контейнера и всегда тип контейнера можно поменять без необходимости каких либо изменений в коде. В F# же приходится, например по всему коду заменять Array.find на List.find, если поменял тип контейнера с массива на список.


Не нашёл такой функции что-то для массивов. Понятно, что всё можно написать самому, но наиболее приятно пользоваться языком, если такие мелочи, как last есть в стандартной библиотеке.


Спасибо:Лучше не написать?


А можете накатать примерчик решения 4го вопроса, пожалуйста?


Это сообщение отредактировал(а) laMer007 - 28.12.2011, 14:19

а, ты про это... это не "обобщенная функция", ну да не суть. я не знаю как там в F#, но наверное типы Array и List наследуются от одного какого-то общего предка Container или Collection, в котором определена find. иначе придется писать свои обертки.

мб просто преобразовывать в Sequence и юзать Seq.find

Добавлено @ 14:45

а зачем раздувать стандартную библиотеку кучей мелочей? может быть у майкрософт есть набор дополнительных библиотек, где собраны различные полезные утилиты, не вошедшие в стандартную?


хз, я не шарю в F#

Это сообщение отредактировал(а) k0rvin - 28.12.2011, 14:46

Нет, для каждого контейнера (array, list, seq, etc) надо реализовывать свой поиск. естественно, желательно с той же сигнатурой. Тогда типовыводилка тип выведет и будет визуально как в плюсах.

Про yeild_return для Ocaml в блоге JaneStreet Capitals

Думаю так и получать. Но мне ни разу это пока не пригождалось. можно ещё List.reverse + List.head

кидание исключений в Ocaml это норм, в диезе думаю тоже. Мутабельное значение иногда некрасиво. Ну и про yeild_return можно подумать.