В комментах ад :(

Говорят, тайп-провайдеров не будет в 2.0!

Да.

Как мы будем жить дальше?

Как до F#3.0!

А как мы до этого жили?

А erased-то будут работать?

Это же что-то вроде трюка.

Ну, они же, типа, не эмитят ничего?

Вообще, плохо, что Reflection.Emit не будет в Core 2.0. Это расстраивает.

У меня и свои планы были на этот API.

А где про erased почитать?

Интересно когда сделают подсветку типов как в VS Code ?

Vasily А что интересует? По тому, как все это внутри работает ничего не написано. Остальное, например, есть в спеке.

Эх, netcore только в июле

Vasily А что интересует? По тому, как все это внутри работает ничего не написано. Остальное, например, есть в спеке.

Что это,зачем,ссылочка на спеку :)

Vasily > Details about Erased Provided Types https://docs.microsoft.com/en-us/dotnet/articles/fsharp/tutorials/type-providers/creating-a-type-provider > 16.3.1 Generated v. Erased Types http://fsharp.org/specs/language-spec/4.0/FSharpSpec-4.0-latest.pdf

ага,спасибо большое

Чем-то похоже на свежий доклад Тсапалиса

Про генерики

У него там мелькает концепция упаковки-распаковки

Vasily У меня все это ассоциируется с джава дженериками.

Которые тоже erased.

Да, тоже верно

Ну, только тут не только параметры, а сами типы являются erased.

Угу.

@fvnever Ты хотел сказать: "Соу, только тут нот онли парамитерс, параметры, а сами тайпс являются ирэйзд".

Чоу? ._.

@fvnever Я просто все еще ору с доклада, который выкладывали выше.

А, я ещё не смотрел его :)

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

Говорят, тайп-провайдеров не будет в 2.0!

wtf?\

wtf?\

https://github.com/Microsoft/visualfsharp/issues/2833#issuecomment-293475299 см. этот коммент.

Говорят, тайп-провайдеров не будет в 2.0!

The team who owns that library will be taking a look at how to bring it up later this year.

The team who owns that library will be taking a look at how to bring it up later this year.

> It's a high priority for them post-2.0 release.

В 2.0 не будет :(

> It's a high priority for them post-2.0 release.

т.е. это все временно. темный времена конечно.

Ну, оно и понятно. За раз все пожитки на новый стек не получается перенести.

тут кстати много админов. Можете и сами модерить)

Кто Elm пробовал? Понравилось? Как в сравнении с Fable?

Я тут доклад создателя Elm посмотрел. Хорошие вещи говорит, взгляд на разработку языка мне нравится.

Покежь доклад.

https://www.youtube.com/watch?v=oYk8CKH7OhE

Спасибо.

https://github.com/fsharp/fslang-design/issues/125#issuecomment-293599560

Пацаны!

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

@fvnever Еще бы intrinsic type extensions добавили.

На них тоже POC есть.

Ыаыаыа, запилите нам тайп-провайдеры в дотнеткор!

@fvnever Это к другим чувакам, да.

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

Как это было с другими фичами, типа кастомных операторов, CE, SRTP...

Куча операторов в Hopac, немонадические CE в freya, высокие абстракции на SRTP в FSharpPlus.

Игры на тайппровайдерах. :)

Я так и не посмотрел доклад Росса про иммутабельную виртуальную машину на TP.

Hopac необходимо убить за такие операторы. Хорошо что все же есть поддержка monadic expression

смрите чо https://github.com/Porges/bege

и вот https://github.com/mastoj/BigQueryProvider

В стандартную библиотеку F# когда монадки завезут? Вон в крестах уже скоро будет: https://m.habrahabr.ru/post/205026/

@GnuFreedom Вопрос неясен. Нужны какие-то конкретные монады в стандартной библиотеке?

@GnuFreedom Вопрос неясен. Нужны какие-то конкретные монады в стандартной библиотеке?

Да хоть какие-то

@GnuFreedom async есть.

И все?

И все?

myMonad { let! hndrd = fromMyMonad 100 myCustomDoNotationOperator hndrd }

что угодно оборачивай в монадические выражения.

@GnuFreedom Это важная штука. Остальное в сторонних библиотеках.

Option, Result да тысячи их.

Зачем тащить различные реализации монад в стандартную библиотеку? :)

в С# вон SelectMany это bind для монады IEnumerable

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

Да, для Option и Result в стандартной библиотеке есть bind.

@GnuFreedom Так чего не хватает? Можно сюда написать. https://github.com/fsharp/fslang-suggestions

Ну, или может мы подскажем, где какую-то реализацию найти.

Да, для Option и Result в стандартной библиотеке есть bind.

bind : ('T -> 'U option) -> 'T option -> 'U option?

Да.

Так то не то. Как же без do сахарка да и вообще? Намного приятнее, когда все готовое. conT list reader

@GnuFreedom Политика такая, что за остальными ништяками в сторонние библиотеки.

Ну, и уж do-нотацию сделать для option -- дело пяти минут.

Так то не то. Как же без do сахарка да и вообще? Намного приятнее, когда все готовое. conT list reader

для опшн do сахарок это немного оверхед.

Ну, и уж do-нотацию сделать для option -- дело пяти минут.

и вот это плюсую.

Или можно FSharpx взять.

да с option всегд гораздо приятнее работать через let (>>=) = Option.bind

Установить библиотеку из нугета -- еще быстрее, чем CE написать.

Эти гугловые нейросети привели к тому, что чем больший текст я перевожу, тем он точнее )

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

@GnuFreedom В fslang-suggestions.

@GnuFreedom В fslang-suggestions.

Ну это не ответ. Похоже на крик отчаянья

Здесь просто нечего обсуждать.

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

она есть и называется monadic expressions

msdn в помощь.

да с option всегд гораздо приятнее работать через let (>>=) = Option.bind

А если в этом же модуле, где ты оператор объявил для MayBe я захочу еще и List использовать?

А если в этом же модуле, где ты оператор объявил для MayBe я захочу еще и List использовать?

используй для lsit

кто мешает?

я не понимаю вопроса

в целом видно что на F# написано мало кода. Поэтому и такие вопросы появляются.)