Проверьте, пожалуйста, перевод, кто может и кому не лень: https://github.com/fsharplang-ru/translations/pull/29

Я почитаю.

@fvnever Удалось вчера посмотреть свежий EAP?

@fvnever Удалось вчера посмотреть свежий EAP?

Мне чёт кажется, что нету никакого свежего EAP.

Это про предыдущий написали, который вышел 29 сентября.

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

Хорошо.

Вчера я им открыл проект, и сразу после загрузки ничего не отломалось. Может, и правда уже всё починили :)

Я еще надеюсь, что там mixed C# and F# projects работают лучше, чем в VS.

Я еще надеюсь, что там mixed C# and F# projects работают лучше, чем в VS.

А они даже в релизе хорошо работают.

А они даже в релизе хорошо работают.

GoToDef работает туда-обратно?

Ага.

Ух!

И правда, хорошо. Потому что в VS работает только из F# в C#.

https://twitter.com/Thoriumi/status/917906515859791873

https://twitter.com/Thoriumi/status/917906515859791873

SQL Provider не нужен, Rezoom.SQL - нужен

Привет!

Это какой-то флудер

Ребят, как переименовать скомпилированную программу Visual Studio?

Чтоб потом проект выполнялся без ошибки?

Ребят, как переименовать скомпилированную программу Visual Studio?

Общие вопросы лучше в @csharpchat или @dotnetchat.

SQL Provider не нужен, Rezoom.SQL - нужен

Всё нужно.

А можно как-то нагенеренные типы через провайдер использовать в C#?

А можно как-то нагенеренные типы через провайдер использовать в C#?

Типы Generative провайдера можно

Erased - нет

А можно как-то нагенеренные типы через провайдер использовать в C#?

Ты посмотрел JsonSchemaProvider, кстати?

Я сегодня попробую написать свой тестовый провайдер, чтоб было на чём проверять потом.

Ты посмотрел JsonSchemaProvider, кстати?

Мельком, пока еще времени особо не было. Я думал эта штука JsonProvider справится с моей задачей. Я где-то на конфе .next вроде услышал как Сошников сказал, что он может нагенерить этих типов и в C# юзать, может мне конечно послышалось или он ошибся

Мельком, пока еще времени особо не было. Я думал эта штука JsonProvider справится с моей задачей. Я где-то на конфе .next вроде услышал как Сошников сказал, что он может нагенерить этих типов и в C# юзать, может мне конечно послышалось или он ошибся

Наверное, Сошников имел в виду именно генеративный провайдер. Не все провайдеры — генеративные.

Я сегодня попробую написать свой тестовый провайдер, чтоб было на чём проверять потом.

Ответь в CIL чате)

Наверное, Сошников имел в виду именно генеративный провайдер. Не все провайдеры — генеративные.

Я не совсем понимаю, что это значит)

Я не совсем понимаю, что это значит)

Ну, это значит, что Сошников не обманывал, но мог нечаянно ввести в заблуждение.

Недостатки Generative-провайдеров в том ,что их сложнее писать и они медленнее работают, так?

Недостатки Generative-провайдеров в том ,что их сложнее писать и они медленнее работают, так?

Я бы не сказал, что их сложнее писать.

Просто generative-провайдеры сами сложнее. :)

Наверное, они влияют на скорость компиляции. Но я не бенчмаркал никогда.

Ну просто скорость — получается, единственная веская причина не писать generative-провайдеры всегда.

Ну просто скорость — получается, единственная веская причина не писать generative-провайдеры всегда.

Их можно из шарпа дергать, erased - нет

Ну так а я о чём

@artemy_b Есть, наверное, пара вещей, которые делают erased интересными в некоторых задачах: 1. С помощью erased-провайдеров можно "генерировать" бесконечные типы. 2. Обращаться к erased-провайдеру можно прямо на месте, не объявляя предварительно тип.

> бесконечные типы Например?

Чтобы понимать точно, о чём речь

> Обращаться к erased-провайдеру можно прямо на месте, не объявляя предварительно тип. И такого, вроде, тоже не пробовал.

Ну просто скорость — получается, единственная веская причина не писать generative-провайдеры всегда.

Сейчас ещё сгенерированный код в таких провайдерах будет работать медленно.

Код в обычной сборке (или полученный после применения erased-провайдера) проходит оптимизацию компилятором F#, который со своей работой справляется неплохо.

А код из generative-провайдеров, как мы теперь понимаем, этой оптимизации не подвержен.

Задача провайдера — реализовывать этот код оптимально.

> бесконечные типы Например?

У меня на примете есть только безумные примеры. http://bit.ly/2wNI5lo

Это у PeziPink безумные примеры :)

Да.

А код из generative-провайдеров, как мы теперь понимаем, этой оптимизации не подвержен.

Я правильно понимаю, что весь код из quotations просто переносится в сборку без оптимизаций?

Или все-таки при компилации провайдера происходит частичная оптимизация?

Я правильно понимаю, что весь код из quotations просто переносится в сборку без оптимизаций?

Мне кажется, что это неверно. Но надо проверять, наверное :)

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

Почему в fsharpforfunandprofit пишут, что математическая функция может иметь только один аргумент? Есть же функции нескольких переменных. Да и в любом случае можно трактовать пару аргументов как один обьект типа "пара" и строить отображение нормально. Понятно что все сделано для каррирования, но зачем писать то такое.

С точки зрения лямбда-исчисления все функции - унарные. Мультиарность - синтаксический сахар

> все сделано для каррирования Нет. Каррирование - модель исполнения, а не синтаксический сахар для частичного применения

Все ML-подобные языки всегда имеют функции от одного аргумента, ибо именно так редукция термов происходит

Все ML-подобные языки всегда имеют функции от одного аргумента, ибо именно так редукция термов происходит

У нас это, гмм, не совсем так, если вдаваться совсем глубоко в детали :)

Ну это особенности реализации. Но реализация реализует семантику "как в МЛ" :)

У нас это, гмм, не совсем так, если вдаваться совсем глубоко в детали :)

а не дадите ссылочку?

Но по большому счёту F# старается делать вид, что всё именно так. Все функции принимают по одному аргументу. Если была функция «от нескольких аргументов» — она условно считается принимающей пару/кортеж.

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

Ребят, те кто с Минска. Есть желание собраться на такой же ивент как в Москве? (Знакомство-пиво-разговоры)

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

так и знала, что где-то подвох ?

а не дадите ссылочку?

Ссылки у меня нет, а есть просто взгляд на модель исполнения. Я считаю, что F# именно пытается скрыть от нас функции от нескольких аргументов (которые объективно существуют в CLR). Получается у него не всегда, и у Дона есть даже подборка багов про это :) См. https://github.com/Microsoft/visualfsharp/issues/3362 (и дальше по ссылкам)

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

Не, там ещё хитрее.

F#-функции — в основном честные, с каррированием.

Потому что CsharpLR! (шутка)

Ребят, те кто с Минска. Есть желание собраться на такой же ивент как в Москве? (Знакомство-пиво-разговоры)

почему все потенциально интересные ивенты с пивом :(

Но - есть ещё C#-функции, которые принимают несколько аргументов, и на модель типов F# они отображаются некоторым образом, который не всегда совпадает с их видением с точки зрения C# (там, где абстракция протекает, получаются баги типа того, на который я указал) - для F#-функций есть всякие хитрые хаки, которые позволяют их вызывать более оптимально, если вызыватель сразу предоставляет все аргументы

почему все потенциально интересные ивенты с пивом :(

Ну пиво же никто вливать насильно не будет. =)

почему все потенциально интересные ивенты с пивом :(

всегда хожу на мероприятия и пью там лимонады и чай :)

почему все потенциально интересные ивенты с пивом :(

Можно провести в СПб с винишко (все умолкаю)

P.S я так понял у нас в Минске девушка F#-dev? Ничоси!

я не F# dev, я сочувствующая

У нас тут все сочувствующие.

Хехе. В хаскелечяте много тех, кто за деньги на оном пишет :P

Хотя казалось бы

Согласно лурку, в мире есть порядка 8 вакансий для программистов хаскель

Но наверное инфа устарела

Лурк местами неатуален, да :)

Хехе. В хаскелечяте много тех, кто за деньги на оном пишет :P

Ну, если в этом смысле, то я пишу на F# за деньги.

И бесплатно тоже :)

О! Бесплатных ФП-прогеров вообще немало :)

В каком-то смысле и мне немного платят за то, что я немного пишу на F#

но это не разработка

Тут дело такое — (в моём окружении) чистых F#-проектов вообще нет. Как и чистых F#-программистов. Когда есть возможность и желание — некоторые компоненты программ делают на F# или на чём-нибудь ещё более весёлом — на каком-нибудь CIL или прологе.

Хехе. В хаскелечяте много тех, кто за деньги на оном пишет :P

Ну да хаскель для работы, f# для души ?

Тут дело такое — (в моём окружении) чистых F#-проектов вообще нет. Как и чистых F#-программистов. Когда есть возможность и желание — некоторые компоненты программ делают на F# или на чём-нибудь ещё более весёлом — на каком-нибудь CIL или прологе.

Тебе хотя бы разрешают.

Я не вижу будущего у гомогенных экосистем. Должна быть возможность вести разработку на многих языках!

Ну да хаскель для работы, f# для души ?

Странная душа, похоже :)

Я не вижу будущего у гомогенных экосистем. Должна быть возможность вести разработку на многих языках!

Хаскель - отличный императивный язык :) Так что норм

Странная душа, похоже :)

(когда хочется сайд эффектов и классов :)

Не хочется (в чистом коде)

Мне за F# в проде будут больно бить лицо.