Для веба есть ещё Fable

Поэтому и заинтересовался

Тогда сразу порекомендую .NET Core и VSCode с плагином Ionide.

Но нужно учитывать, что на .NET Core еще не все библиотеки переехали.

> веб с Websharper У WebSharper пару проблемок есть: к некоторым штукам нет документации (ну сейчас уже получше, вроде: благо, они допиливают её постепенно); и довольно маленькое сообщество, так что ответы на некоторые вопросы можно долго ждать, а то и вовсе не получить.

Тогда сразу порекомендую .NET Core и VSCode с плагином Ionide.

Я с Emacs и Fake мучаюсь

Там, как я понял, нужно каждый файл добавлять

В fsproj

Там, как я понял, нужно каждый файл добавлять

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

Поэтому я все-таки рекомендую .NET Core и CLI тулзы, которые с ним идут.

В такой конфигурации можно удобно создавать и собирать проекты, не прибегая к помощи FAKE.

Завезли бы в F# 4.2 string interpolation

Завезли бы в F# 4.2 string interpolation

Завези. :)

Я нуб :)

RFC про string interpolation есть, но реализацию пока не осилили.

Даже PoC есть, вот.

https://github.com/Microsoft/visualfsharp/pull/921

Ну и посоветуйте книжку. Только желательно именно про F#, а не про ФП в целом. Без объяснений что такое карринг, Algebraic data types и прочее.

Ну и посоветуйте книжку. Только желательно именно про F#, а не про ФП в целом. Без объяснений что такое карринг, Algebraic data types и прочее.

Expert F#. Есть в документах этого чата.

@gsomix .net core же для F# слишком сыро ИМХО

@gsomix .net core же для F# слишком сыро ИМХО

Никаких проблем не испытываю.

type providers ?

или уже завезли?

type providers ?

Живу без них.

а я не живу =)

Expert F#. Есть в документах этого чата.

Благодарю

@Woskrese еще вот этот сайт полезный https://fsharpforfunandprofit.com/

Завезли бы в F# 4.2 string interpolation

Прикольно конечно, но без явных типов аргументов, как-то не ложится на вывод типов (в отличие от sprintf “%i” )

Прикольно конечно, но без явных типов аргументов, как-то не ложится на вывод типов (в отличие от sprintf “%i” )

А sprintf особо и не умеет ничего, кроме примитивных типов

Привет! o/

Пожалуйте.

Всем здрасте

Привет всем! Для core2.0 какие новости с TypeProviders?

Привет всем! Для core2.0 какие новости с TypeProviders?

Пока нормальной поддержки нету

Есть только ненормальная

а вообще работать будет когда?

а вообще работать будет когда?

Есть надежда, что до конца года хотя бы erased доделают.

а вообще работать будет когда?

Когда в последний раз смотрел, вроде не было точных сроков. Ждали вроде поддержки какой-то фичи в стандартной библиотеке, но в .Net Standard 2.0 так и не запилили её

https://github.com/Microsoft/visualfsharp/issues/2406

Когда в последний раз смотрел, вроде не было точных сроков. Ждали вроде поддержки какой-то фичи в стандартной библиотеке, но в .Net Standard 2.0 так и не запилили её

Для erased, кажется, все есть. Нужно какие-то минорные вещи починить и собрать новые пакеты.

Как я понял.

Для erased, кажется, все есть. Нужно какие-то минорные вещи починить и собрать новые пакеты.

Я так и не понял как работают erased :)

Очень просто они работают

Вроде как через Emit, но как тогда работает автодополнение

В скомпилированную сборку пишутся типы object

Но таблица виртуальных методов остается

Удаляется только информация о типе из конечной сборке

На этапе компиляции информация, естественно, есть

Так а автодополнение как работает? С Generative там вроде просто генерятся .fs файлики, и подтягиваются как обычный код, соответственно понятно как работает автодополнение

Ну дык стирается же в сборке уже

Так а автодополнение как работает? С Generative там вроде просто генерятся .fs файлики, и подтягиваются как обычный код, соответственно понятно как работает автодополнение

Generative не генерирует .fs

Поэтому, например, erased type providers нельзя использовать за пределами сборки, в которой они объявлены

Он сборку генерирует.

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

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

Сложная тема.

Я тоже пока не понимаю до конца, как это работает.

Кстати, я вам показывал провайдер из Brahma?

https://github.com/YaccConstructor/Brahma.FSharp.Examples/blob/master/src/Brahma.FSharp.TypeProviderExample/Program.fs

Умеет OpenCL файлы загружать и генерировать к ним враппер.

У меня была идея сделать что-то похожее для .cpp, но это большой объем работы.

Сложная тема.

Ну а ты думал я вам тут простые и вопросы задаю? ?

Ну а ты думал я вам тут простые и вопросы задаю? ?

Раньше-то я мог на твои вопросы отвечать!

Раньше-то я мог на твои вопросы отвечать!

Эволюционирую

Мне кажется, нужно пересмотреть свое отношение к стикерам. :)

Но пока это только для распространения в других чатах.

@the_RAMZAY Тебе понравится, я думаю. http://www.fssnip.net/7Tz/title/Winequality-decisiontree-using-AccordNet

гыгы!

F# ведь выводит тип рекорда по первому обращению к полю через точку? Нет ли каких-нибудь воркэраундов, что бы он смотрел на все использования рекорда?

F# ведь выводит тип рекорда по первому обращению к полю через точку? Нет ли каких-нибудь воркэраундов, что бы он смотрел на все использования рекорда?

Разве? Вроде он матчит по форме того что ты ему в литерале указываешь, ну или можно насильно имя типа перед полем ставить. Или это я не понял вопроса :)

Приведу пример. text1/test2 компилируятся, а test3 НЕТ тк выводится не тот тип (выводится который объявлен последним с нужным полем) type Record1 = { id: int; title: string } type Record2 = { id: int; name: string } let test1 x = let a = x.id let b = x.name () // Некомпилируется // let test3 x = // let a = x.id // let b = x.title // () let test2 x = let b = x.title let a = x.id ()

Приведу пример. text1/test2 компилируятся, а test3 НЕТ тк выводится не тот тип (выводится который объявлен последним с нужным полем) type Record1 = { id: int; title: string } type Record2 = { id: int; name: string } let test1 x = let a = x.id let b = x.name () // Некомпилируется // let test3 x = // let a = x.id // let b = x.title // () let test2 x = let b = x.title let a = x.id ()

это кривое поведение конечно.

Приведу пример. text1/test2 компилируятся, а test3 НЕТ тк выводится не тот тип (выводится который объявлен последним с нужным полем) type Record1 = { id: int; title: string } type Record2 = { id: int; name: string } let test1 x = let a = x.id let b = x.name () // Некомпилируется // let test3 x = // let a = x.id // let b = x.title // () let test2 x = let b = x.title let a = x.id ()

Возможно, стоит завести предложение для исправления.

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

Я тут недавно, так что не знаю, кидал ли тут кто, сам наткнулся случайно в выдаче ютуба - крайне годный доклад https://www.youtube.com/watch?v=E8I19uA-wGY

Главное чтоб не флуд со спамом. Так что отлично.

Я тут недавно, так что не знаю, кидал ли тут кто, сам наткнулся случайно в выдаче ютуба - крайне годный доклад https://www.youtube.com/watch?v=E8I19uA-wGY

А видел доклад про Dependency rejection?

ноуп

ноуп

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

https://sidburn.github.io/blog/2017/03/13/variable-arguments

Еще там с F# интероп ниочинь.

ParamArray чото не пайпится.

Да, ParamArray действительно не очень хорошо заходит в F# коде.

Да, ParamArray действительно не очень хорошо заходит в F# коде.

И даже оберточку не напишешь :(

При попытке передать функцию с ParamArray как аргумент Ионид вываливает несоответствие типов.

Никто не ловил такой баг? https://github.com/fsharp/FsAutoComplete/issues/205 10 минут не мог понять, почему у меня перестали работать подсказки, после того как просто сконкатенировал два списка через @ ?

Хм, а ";;" в шарпе оставили?

Я думал, убрали, как в ризоне, это же страшно

Это же только для репла, ну, в окамле только для репла

Ты указываешь конкретный тип.

Ну, вообще-то для downcast не указываешь, компилятор сам выводит. В том-то и смысл.

Ну, вообще-то для downcast не указываешь, компилятор сам выводит. В том-то и смысл.

Да, если сможет вывести.

Да, если сможет вывести.

А если не сможет — то, похоже, ты вообще с downcast обломаешься, и нужно что-то другое использовать.

Хм, а ";;" в шарпе оставили?

Ни разу в коде не использовал эти точки с запятой. Считай, что выпилили.

Это же только для репла, ну, в окамле только для репла

Зависит от репла. Например, в варианте F# Interactive, который встроен в Rider, это не нужно ставить.

Вчера в F# слакочате вспомнили прошлогоднюю статью про написание кода на Scala.

http://www.lihaoyi.com/post/StrategicScalaStylePrincipleofLeastPower.html

Хорошо написано, можно почерпнуть идеи.