А ты не питонист?

Неа

Какой у нас сегодня ажиотаж, два человека пришло в один день. Признавайтесь, кто-то чатик рекламирует :)

Не я.

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

?50 ?

Ура.

Довольно живой чат. :)

/me

/me

Разбавлю скуку: у кого проекты в продакшене на f# и какого типа проекты?

Мне тоже было бы интересно послушать.

Разбавлю скуку: у кого проекты в продакшене на f# и какого типа проекты?

Это не у нас здесь "скука", а C# чате сплошные флудеры.

Разбавлю скуку: у кого проекты в продакшене на f# и какого типа проекты?

У меня один "домашний" проект - "телеграм бот на f# coreclr"

Интересует реальное использование, а не так: дома накидал для интереса

Интересует реальное использование, а не так: дома накидал для интереса

А зачем тебе? У тебя же знаний 0, ты и код не поймешь.

Разбавлю скуку: у кого проекты в продакшене на f# и какого типа проекты?

Уже было)

Интересует реальное использование, а не так: дома накидал для интереса

На официальной работе сейчас не использую. Но на неофициальной, использую, в основном вебсервер.

Ты вернулся

У кого есть идеи для интересных провайдеров типов? :)

Неплохо было бы иметь провайдер, который генерирует байндинги к нативному коду.

Например, с помощью CppSharp.

что за провайдеры типов?

https://docs.microsoft.com/en-us/dotnet/articles/fsharp/tutorials/type-providers/

Не знаю, как правильно на русском это должно звучать. :)

Батюшки, Freya-то уже портировали на неткор!

@fvnever С разморозкой!

Например, с помощью CppSharp.

так есть же вроде

Покажи!

@fvnever Ты, наверное, и доклад про Freya+Hopac не смотрел еще с F# eXchange?

Я вообще ничего ещё оттуда не смотрел. Я пока только до dotnext добрался.

Ок.

@fvnever Я еще в новостях ссылку кидал на вот эту доску. https://trello.com/b/9npZ71q8/run-on-net-core

Много работы!

А вот это я видал.

Покажи!

не находится((

Ну, это хорошо, понемножку перетащим весь стек.

@fvnever Стек на дотнеткор, компилятор в одну репу, и заживем. :)

В смысле‚ в отдельную репу?

В одну.

В одну репу с чем?

Хотят слить fsharp/fsharp, visualfsharp и FCS.

Плохо!

Почему?

В visualfsharp там же тулинг от студии.

Сейчас плохо.

Это наоборот, надо его оттудова выносить!

Тулинг, возможно, вынесут из репы.

Но не факт.

Только хуже будет :(

Не будет.

Сейчас хуже всего ситуация, когда чуваки пишут в три репозитория.

Хотят пока, чтобы в visualfsharp все было.

А дальше можно думать будет, чтобы вынести тулинг VS отдельно.

Хотят пока, чтобы в visualfsharp все было.

А именно, вмержить все изменения из fsharp/fsharp и FCS.

И сделать так, чтобы все собиралось и тестировалось на любых платформах.

Ну, вот в таком описании звучит не страшно.

@fvnever Я вчера кидал план.

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

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

Кароч, они там в Freya всё разломали!

Лол, в 4.1 чтоли поменяли тип для Option.orElse?

У меня раньше работал код someOptionString |> Option.orElse ""

А теперь перестал!

И непонятно, нафиг вообще такой оператор нужен :(

У меня раньше работал код someOptionString |> Option.orElse ""

Option.defaultValue (или defaultWith с функцией)?

Да, я с этим разобрался сразу. Просто странно, что поменялась сигнатура у функции.

В общем, с Freya на коре всё хорошо, я пока что в ней багов не нашёл.

Правда, RazorEngine не портировали на кор. Это вызывает неудобства :( (но к Freya не относится, это отдельный проект)

@fvnever Какая сейчас сигнатура у orElse?

@fvnever Какая сейчас сигнатура у orElse?

'a option -> 'a option -> 'a option

Занятно.

Но зачем -- понятно.

Если выбираешь из нескольких option.

@fvnever Я тебе больше скажу, раньше такой функции в Core не было.

Интересно, а откуда я её тогда брал?

Может в Freya была?

Щас разберёмся.

Может в Freya была?

Да, ты прав. Это была Freya.Core.Prelude.Option.orElse.

На FSharp.Core я жаловался напрасно. Туда просто добавили эту функцию, а совместимость не трогали :)

В F# есть аналог using()? Хотя это тоже не по функциональному

Use

use stream = new FileStream("xxx")

Автоматически задиспозит в конце блока.

Если вдруг нужен отдельный скоуп, используй do: do use x = new FileStream("xxx") // ... // ... (тут будет Dispose)

Хотя такое вот уже совсем редко когда требуется.

Ок, спасибо

Мне нужно создать список объектов подобного типа: type Projection<'a when 'a : comparison> = string -> 'a Но такой, что 'a может быть различным для элементов этого списка. Есть способ как-то это реализовать?

Хороший вопрос.

@Kleidemos Я бы, наверное, сделал тип Projection без дженерика, и все в него паковал.

Ну, и список Projection соответственно.

А как сделать его без дженерика, но с ограничением на 'a?

Сек.

@Kleidemos Сложно получается, конечно. Короче, идея была в том, чтобы сделать как в TypeShape, через экзистенциальные типы. По сути там визитор обычный. https://pastebin.com/0T9RrTTG