а, ну да, публичность-то таким образом регулируется, так что не бесполезная

И для документации можно использовать.

Да, это, кстати, мне кажется особенно полезным, когда док-комменты большие.

Но вот интересно, как будет работать автогенерация fsi-файла, когда он уже есть и вручную исправлен. Неуж-то будет перезаписывать его полностью? Или-таки может добавлять лишь то, что появилось в соответствующем файле с реализацией?

Но вот интересно, как будет работать автогенерация fsi-файла, когда он уже есть и вручную исправлен. Неуж-то будет перезаписывать его полностью? Или-таки может добавлять лишь то, что появилось в соответствующем файле с реализацией?

как я понял из msdn описание по работе с .fsi, то их можно автосгенерировать по уже имеющемуся .fs. Файл .fsi будет требовать, чтобы реализация из .fs соответствовала его описанию из .fsi

как я понял из msdn описание по работе с .fsi, то их можно автосгенерировать по уже имеющемуся .fs. Файл .fsi будет требовать, чтобы реализация из .fs соответствовала его описанию из .fsi

https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/signatures

Вот смотрю на Haskell, в нем пишется объявление функции и реализация отдельно? А можно так же на F#?

А почему хочется в F# сигнатуры отдельно писать?

А почему хочется в F# сигнатуры отдельно писать?

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

как я понял из msdn описание по работе с .fsi, то их можно автосгенерировать по уже имеющемуся .fs. Файл .fsi будет требовать, чтобы реализация из .fs соответствовала его описанию из .fsi

Да, я в курсе. А мне интересно, как оно будет автоегенировать файл, если он уже был ранее сгенерирован и отредактирова (например, добавлены док-комменты, всякие публичности настроены, да и просто форматирование более красивое сделано).

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

Ладно, задач вопрос иначе. Почему хочется разделить сигнатуру и реализацию?

Например, в файл с реализацией новая функциональность добавлены и нужно обновить соответствующий файл fsi-файл, чтоб настроить внешнее API и задокумментировать эту новую функциональность.

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

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

Ладно, задач вопрос иначе. Почему хочется разделить сигнатуру и реализацию?

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

А в файле с реализацией уже информацию о типах получать из всплывающих подсказок.

Отдельный файл -- это далеко. :)

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

вообще было бы удобно, если бы сигнатуру функции, которую выводит редактор, например, тот же vs code, можно было подправить и тебе показало где что подправить в реализации функции

вообще было бы удобно, если бы сигнатуру функции, которую выводит редактор, например, тот же vs code, можно было подправить и тебе показало где что подправить в реализации функции

Так оно так и работает сейчас

Если есть fsi-файл, то в файле с реализацией при несоответствии типа сигнатуре выводится ошибка.

И оно даже не скомилится

Вот же пример ошибки, собственно: https://camo.githubusercontent.com/e14158266ad2cad335da6ac4ad84a0d343ebcc3f/687474703a2f2f692e696d6775722e636f6d2f57594b79327a5a2e706e67

Так оно так и работает сейчас

я про подсказки в vs code когда ты уже написал функцию, он тебе показывает сигнатуру функции над ней

чтобы ее можно было редактировать

А, ну это, как я понимаю, чисто к тулингу относится.

А, ну это, как я понимаю, чисто к тулингу относится.

это да

Но спорная фича

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

Громоздкое определение можно разбить на сигнатуру и реализацию через лямбду.

но по сути та же аннотация перед функцией

По крайней мере, однозначно не приоритетная на данный момент.

Громоздкое определение можно разбить на сигнатуру и реализацию через лямбду.

Признаться, не очень понял, о чём речь

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

Да, failwith. Можно ещё дырки сделать.

Признаться, не очень понял, о чём речь

let foobar : TypeA -> TypeB -> TypeC = fun x y = ...

А, понятно

Такое себе

let foobar : TypeA -> TypeB -> TypeC = fun x y = ...

впринципе то что я хотел =)

впринципе то что я хотел =)

точнее почти =)

type FooBar = A -> B -> C let foobar : FooBar = ...

Такое себе

Зато локально. :)

Другое дело, что действительно громоздкая сигнатура -- это повод задуматься.

Ребят

Нужен умный ответ на глупый вопрос

Я С# до мозга костей. Хочу F# попробовать. НО никак не могу придумать проект который нужно реализовать

Нету ли у вас запасных идей? Как вы начинали этот путь, или быть может есть OpenSource прикольный?

Я С# до мозга костей. Хочу F# попробовать. НО никак не могу придумать проект который нужно реализовать

Калькулятор на обратной польской нотации

Я С# до мозга костей. Хочу F# попробовать. НО никак не могу придумать проект который нужно реализовать

Блог-платформу с хранилищем в Монге

Я С# до мозга костей. Хочу F# попробовать. НО никак не могу придумать проект который нужно реализовать

свой dsl, аля https://habrahabr.ru/post/116301/ =), нейронка, парсер страниц, морской бой, блек джек, своя виртуальная машина + свой простой язык, плагин к Компасу 3d (внезапно), админка для сайта

можно ещё кусок существующей бизнес лапши на C# переписать на F#

между прочим, что сейчас актуально для веба на F#? Всё ещё Suave? Или что-то ещё подтянулось? Как дела с ASP.NET на Core?

Если хочется проникнуться духом ФП, то стоит написать какой-нить парсинг на парсер-комбинаторах

Калькуляторы и блогплатформы не дадут ощущения paradigm shift

между прочим, что сейчас актуально для веба на F#? Всё ещё Suave? Или что-то ещё подтянулось? Как дела с ASP.NET на Core?

Для .NET Core сейчас, как минимум, такое используют: https://github.com/giraffe-fsharp/Giraffe https://freya.io/

Для WebSharper тоже обещают в скором времени поддержку .NET Core завезти

В Roadmap написано, что в 1-м квартале 2018

можно ещё кусок существующей бизнес лапши на C# переписать на F#

Ребят спасиб ;)

Для .NET Core сейчас, как минимум, такое используют: https://github.com/giraffe-fsharp/Giraffe https://freya.io/

А Freya vs Giraffe - есть какие-нибудь принципиальные нюансы, различия? Просто ни то, ни другое не пробовал, лишь с Suave знаком

Ну различия-то в подходах есть, вроде

Но я не пробовал

Сам бы хотел узнать мнения по поводу обеих библиотек

Как раз собираюсь Web API описать и думаю, что выбрать

Вообще, Giraffe очень на Suave похожа

По крайней мере, на первый взгляд

а что за task в Жирафе? Где почитать теорию по концепции?

Я С# до мозга костей. Хочу F# попробовать. НО никак не могу придумать проект который нужно реализовать

advent of code!

а что за task в Жирафе? Где почитать теорию по концепции?

Computational expression для Task<'T> вместо async{ ... }

Нету ли у вас запасных идей? Как вы начинали этот путь, или быть может есть OpenSource прикольный?

Какого нибудь полезного бота для телеграма или мобильное приложение на fable + ReactNative

Какого нибудь полезного бота для телеграма или мобильное приложение на fable + ReactNative

React - TRIGGERED !!0!00

Я С# до мозга костей. Хочу F# попробовать. НО никак не могу придумать проект который нужно реализовать

Идеоматическую обёртку над CNTK!

React - TRIGGERED !!0!00

Ну или Xamarin ?

Ну или Xamarin ?

Во, норм)

Если С# стек, то Xamarin

Кстати, вчера буквально смотрел, Xamarin + F# уже более-менее

Не так больно

Кстати, вчера буквально смотрел, Xamarin + F# уже более-менее

Есть примеры?

Есть примеры?

Доберусь до ноута, поищу. Но я из семпла развернул просто, посмотреть

Кажется там был F# + Fable

Но это не точно

Но имхо делать либы из F# и юзать в С# пока намного удобнее

А много тут кто прямо на работе F# использует?

или вообще фп ЯП?

Видимо нет

Унизил и оскорбил

или вообще фп ЯП?

Эрланг

Каждый день)

Каждый день)

любимец богов

Ну дык он решает проблемы

А ну и лисп немного, потому что мсье емаксер

Привет!

https://twitter.com/theimowski/status/944337910219886592

https://twitter.com/theimowski/status/944337910219886592

Ееее!

или вообще фп ЯП?

Haskell only каждый день :)

А много тут кто прямо на работе F# использует?

Использую F# немного, но я инженером работаю. Наверное, мой опыт нерелевантен.

Я просто заметил, что фп - болезнь. Как попробовал, уже не хочешь использовать что-то другое. А применения как-бы хер найдёшь.

¯\_(ツ)_/¯

Я просто заметил, что фп - болезнь. Как попробовал, уже не хочешь использовать что-то другое. А применения как-бы хер найдёшь.

Области применения ровно те же.

+1

Главное сагитировать окружение и руководство

Или открыть стартап?

https://twitter.com/MokoSharma/status/944447583711264768

@nevoroman Завтра твой пост? :)