типа в качестве результата возвращать error?

Error — это одна из веток Result

type Result<'a, 'b> = | Ok of 'a | Error of 'b

ну понятно. Есть метод, который читает из файла, возвращает или строку с данными, или error

но не выбрасывает исключений

Как-то так, да

да, looks good

спасибо

Даже в Haskell, насколько я знаю, функции для работы с файлами выбрасывают исключения

Это же как раз и есть "Железнодорожно-ориентированное программирование" ?

https://github.com/gusty/FSharpPlus

Это же как раз и есть "Железнодорожно-ориентированное программирование" ?

был даже где-то на хабре перевод этой статейки

ну понятно. Есть метод, который читает из файла, возвращает или строку с данными, или error

Главное не забывать ещё про всякие функции в модуле Result, типа map, mapError, bind и т.п.

был даже где-то на хабре перевод этой статейки

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

Всё-таки забавный перевод (хотя непонятно, как это красиво перевести; разве что "рельсо-ориентированное" кто-то предлагал; но, по-моему, оно недалеко от 1-го варианта ушло)

https://fsharpforfunandprofit.com/posts/recipe-part2/

Я правильно понимаю, что использование исключений - не функциональный путь?

на самом деле в ответе много если, и спорных моментов https://eiriktsarpalis.wordpress.com/2017/02/19/youre-better-off-using-exceptions/ и даже если почитать https://pragprog.com/book/swdddf/domain-modeling-made-functional от автора Chessie http://fsprojects.github.io/Chessie/ и Railway-oriented programming то он пишет о том что в своем коде и бизнес логике не стоит кидать ексепшены (т.е. если вы знаете что может что-то пойти не так и вам надо это обрабатывать - то юзать надо Result) но системные ексепшены и и те случае которые вы по бизнес логике не обрабатывает в коде - не нужно ложить и заварачивать в Result - это очень даже ок если такая ситуация крашнет приложение. Ексепшены это норма для .NET и нету нужны лечить их все в каждом приложении

и всем у кого есть возможность почитать https://pragprog.com/book/swdddf/domain-modeling-made-functional - рекомендую, оно как-то ставит все на свои места в этим ROP

на самом деле в ответе много если, и спорных моментов https://eiriktsarpalis.wordpress.com/2017/02/19/youre-better-off-using-exceptions/ и даже если почитать https://pragprog.com/book/swdddf/domain-modeling-made-functional от автора Chessie http://fsprojects.github.io/Chessie/ и Railway-oriented programming то он пишет о том что в своем коде и бизнес логике не стоит кидать ексепшены (т.е. если вы знаете что может что-то пойти не так и вам надо это обрабатывать - то юзать надо Result) но системные ексепшены и и те случае которые вы по бизнес логике не обрабатывает в коде - не нужно ложить и заварачивать в Result - это очень даже ок если такая ситуация крашнет приложение. Ексепшены это норма для .NET и нету нужны лечить их все в каждом приложении

ну да. Ещё есть момент, что твой F# код можно использовать в C# приложении

и там короче обратно

из result в exception

Там ещё, вроде, кто-то отмечал, что перехват исключения работает быстрее

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

ну да. Ещё есть момент, что твой F# код можно использовать в C# приложении

да. про это есть в статье у Ерика. интероп и дизайн паблик АПИ это вообще отдельная тема)

да. про это есть в статье у Ерика. интероп и дизайн паблик АПИ это вообще отдельная тема)

а можно ссылочку?)

а можно ссылочку?)

да, была в моем длинном сообщении выще https://eiriktsarpalis.wordpress.com/2017/02/19/youre-better-off-using-exceptions/

и еще есть не плохие советы по тому как делать public API https://pblasucci.wordpress.com/2016/12/30/betterapi/

всем спасибо за ответы) Будет терь, что почитать на вечер

и еще есть не плохие советы по тому как делать public API https://pblasucci.wordpress.com/2016/12/30/betterapi/

О, значит-таки нормально типы-объединения типа Option и Result тоже в Public API выводить. А то в рекомендациях на fsharp.org написано, что так делать не стоит

Хотя они, когда я как-то смотрел сам, в C#-коде вполне нормально выглядят (по крайней мере Option)

О, значит-таки нормально типы-объединения типа Option и Result тоже в Public API выводить. А то в рекомендациях на fsharp.org написано, что так делать не стоит

если не ожидать использования из С# то нормально, если ожидать то нет

если не ожидать использования из С# то нормально, если ожидать то нет

> there’s no reason not to share these powerful constructs with C# and VB. In particular, using types like Option (rather than “null checking” or using a Nullable) can greatly improve the overall robustness of an API.

на сколько я видел C# API стараются делать без них, иначе код становится в C# cтрашноват для тех кто не знаком с F#

А, ну разве чтобы не пугать незнакомых с самим понятием Option-типа, да

В общем, спасибо за ссылочки на статьи

А, ну разве чтобы не пугать незнакомых с самим понятием Option-типа, да

Хотя в той же Джаве Optional тип есть

А, ну разве чтобы не пугать незнакомых с самим понятием Option-типа, да

FSharp.Core.Option для C# превращается в Microsoft.FSharp.Core.FSharpOption что уже не так красиво, + там нету |> и чтобы с ним что-то сделать надо написать что-то длинное, быстро начинаешь придумывать свои extension методы чтобы удобнее пиcать и код становится еще менее интуитивным для C# всетаки роднее Nullable ну и для тех кто скучает по прекрасному есть https://github.com/louthy/language-ext

О, спасибо за ссылочку

Даже Parsec есть

Даже Parsec есть

есть еще вот такая штука https://github.com/sprache/Sprache даже встречал ее в реальных проектах, хотя мне сложнее ее читать чем FParsec

Где можно почитать о code style на F#?

Где можно почитать о code style на F#?

http://fsharp.org/specs/component-design-guidelines/

спс

есть еще вот такая штука https://github.com/sprache/Sprache даже встречал ее в реальных проектах, хотя мне сложнее ее читать чем FParsec

Я использовал в реальном проекте, там где F# было не пропихнуть

Я использовал в реальном проекте, там где F# было не пропихнуть

тогда наверно вариант, я встречал один раз только и мне там дали вохможность переписать на FParsec =)

Привет.

Привет, @gsomix) Я уходил месяца 4 назад, теперь вернулся) А кто-нибудь тут mbrace в работе пробовал? А еще интереснее, mbrace vs spark)

Привет, @gsomix) Я уходил месяца 4 назад, теперь вернулся) А кто-нибудь тут mbrace в работе пробовал? А еще интереснее, mbrace vs spark)

Да, было бы интересно послушать. MBrace еще живой, кстати?

https://twitter.com/eiriktsarpalis/status/955135906872209409

Небольшая группа по совместному чтению TaPL и SF. Сейчас в основном обсуждают SF и interactive theorem proving.

https://t.me/joinchat/A8_s30LVQrNmQWBlBlJUKw

Господа, такая проблема: Есть проект с либой и проект-консоль, который его дергает. В первом проекте есть несколько файлов, если в одном из них объявляю типы, консоль их не видит. Стоит перенести в следующий файл и объявить их точно так же - все в порядке. Объявляю их в одном неймспейсе с одинаковой видимостью. Есть идеи?

Возможно, это баг в VS Code или Ionide, пушто CLI интерфейс не показывает ошибок

а либа на f#?

Да, все на фшарпе. И проблемы только в консольном проекте, внутри либы все в порядке

а типы находятся в модулях или нет?

нет, отдельно в обоих случаях

то есть типы находятся в namespace либы?

ага

а проект собирается в обоих случаях без ошибок или что-то пишет?

Если через CLI, то обоих случаях все ок. Через ионид - ругается, что типы не определены в одном случае

возможно порядок файлов нарушен, вот он и не может найти тип

нет, с ним все ок

Походу, это был косяк редактора. Закрытие табы помогло)

При том, что рестарт VS Code не помогал)

При том, что рестарт VS Code не помогал)

Бывало такое при работе с пакетом и ионидом

Бывало такое при работе с пакетом и ионидом

Может, и стоило бы зарепортить, но я даже не знаю, как это адекватно описать

https://twitter.com/dustinmoris/status/955479681398173697

в F# есть синтаксис для работы с методами и свойствами объекта наподобие `with` из Delphi?)

в F# есть синтаксис для работы с методами и свойствами объекта наподобие `with` из Delphi?)

А есть пример with из Делфи?

http://www.delphisources.ru/pages/faq/faq_delphi_basics/With.php.html

http://www.delphisources.ru/pages/faq/faq_delphi_basics/With.php.html

С натяжкой можно сказать, что есть для record'ов

прочитал внимательнее то, что сам скинул, это не то. Скажем, чтобы не писать вот такое: type A () = member this.Test() = .. member this.Test2() = .. ... let a = new A() a.Test() a.Test2()Хотелось бы, что-то вроде: with a do Test() Test2()

В F# нечасто такой код встречается.

согласен

но если используешь dotNet api, то возникает такая необходимость =)

Кстати, удобная фича, если бы тавкое завезли в C# можно было бы не строить fluent-api для изменяемых объектов.

Полезнее был бы Kotlin синтаксис для буилдеров, это бы реализовалось само.

Про FSPickler новость действительно важная. Один из быстрейших бинарных сериализаторов. Можно преписать Orleans на FSharp с идеоматическими возможностями

Полезнее был бы Kotlin синтаксис для буилдеров, это бы реализовалось само.

С наскока не понятно, чем kotlin билдеры лучше/хуже братьев из F#, что в пример были поставлены именно они?

У FSharp билдеров сложно делать вложенные. В том то и дело, что похоже, но по другому. В FSharp - билдер - спец класс. Содной стороны это круче, с другой бойлерплейт. И если Kotlin билдеры - это просто синтаксический сахар, наши - это монадные автоматы при компиляции. Так что палка о двух концах. АНо в котексте я говорил о C#

Было бы удобно, если бы описание функции: let f a b g = g a b

Позволяло записать ее вызов как

f 1 2 a + b

типо g вычисляется как a + b?

Или: let until cond body = while cond() |> not do body() Как: let mut s = 1 until s>5 s <- s + 1

попахивает макросами из си =)

Даже отдаленно - нет ? Попахивает сильно Nemerle ?

метапрограммирование с изменением состояния выглядит опасненько - накрутят новых конструкций и потом разгребай это при малейших изменениях

Котлин билдеры это совсем не для f#, да и не для фп в целом

Вот в c# бы пригодилось

Я пример приводил. Неудачный. Суть в м том, что у Котлина есть оч слабая модельмета расширений, абсолютно типобезопасная и простая. В немерле мета крайне могуч, но сложен.

И когда я говорил о Котлиновской модели, имел в виду C#

Да, для c# очень хочется

f 1 2 a + b

Не понятно

В F# все сложнее из за отсутсвия скобок. Компилятору не разобрать конца