Алгебраические типы данных. Ну то бишь DU и т.п.

// Поиск ведет к "Абстрактный Тип Данных".

Я в лс книжки кину

@Dolfik хм, но мы в контексте F#

Может не F# Темы в @dotnet_chat перенесём?

Сорян, не тот чат кинул)

Есть тематический чат по математике: @comput_math

@gsomix хм, а там можно про математику в контексте программирования говорить?

@gsomix хм, а там можно про математику в контексте программирования говорить?

Нужно.

аригато за чатик

В Слэке, конечно, удобнее: множество чатов в одной группе.

Artemy @Kleidemos Вас тоже приглашаю. :)

+ в F# можно лаконично граф описать с помощью АТД

Можно

http://fssnip.net/7Tz полезный снипет :)

А что, в студии 17.3 не только неткор не впилили, так ещё и совсем F# выпилили, что ли?

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

Ну в версии 15.3.1 у меня всё работает

В т.ч. WPF + F#

А VF# Nightly подключено?

А то у меня с Nightly

так-то "поддержка F#" раньше и была найтли

чот вчера аж на 2 машинах (из двух) студия после апдейта сломалась

У меня студия перестает подсвечивать синтаксис, когда первый раз сохраняю скрипт вне проекта. Приходится его закрывать и открывать. Видимо из той же оперы.

У меня студия перестает подсвечивать синтаксис, когда первый раз сохраняю скрипт вне проекта. Приходится его закрывать и открывать. Видимо из той же оперы.

открыл sln

А, да. У меня тоже бывало, подсветка ломалась. Решалось презапуском студии.

По-моему, эта фигня случалась иногда после переключения между Folder View и Solution View

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

не помогло

решил установкой райдера

Гайс, а я где-то видел как над функцией писали [<Pure>], но у меня райдер жаловался

Что-нибудь меняется если над функцией написать что она чистая?

Что-нибудь меняется если над функцией написать что она чистая?

Вроде это позволяет использовать какие-то фичи из диагностики. Но в общем случае ничего не изменится. Ответственность за чистоту функции несет ее автор.

На счет райдера не знаю, возможно он умеет отсекать явно нечистые функции.

Привет!

Здраствуй)

привет

Привет!

https://finai.com/en/newsroom/there-is-no-such-thing-as-a-free-free-monad/

Любопытная статья

или я дурак?

Чо ему не нравится в общем то? Вроде код валидный же.

Привет

@fvnever @gsomix объясните, тут или я дурак, или компилятор упрлс ?

Ну а что такое Table? Наверное, нету такой перегрузки

@fvnever если нету, то оно бы ругалось на этапе написания прямо в редакторе, не?

вот я если там выбираю что-то не подходящее, оно меня ругает

Ничего не знаю про редактор. Я вижу, что ругается компилятор.

хм

напрягает, что декомпилятор встроенный в Rider отбражает cs код =)

хотя либа написана на fs =)

Так декомпиляция — это чтение IL кода.

@fvnever а как пройтись по Seq.groupBy коллекции ? Оно возвращает талпу string*Seq

я к примеру хочу пройтись по ключам

@fvnever а как пройтись по Seq.groupBy коллекции ? Оно возвращает талпу string*Seq

И в чём же проблема?

нууу, я не знаю, как подойти к талпе

Ну, попробуй так: xxx |> Seq.groupBy yyy |> Seq.map fst |> Seq.iter printf "%A"

fst извлекает первый элемент из туплей (ключ), дальше делай с ним что хочешь.

а можно как-то более привычно?

нууу, мол через точку

НѢТ!

и да, а как это ты так хитро группанул?

я к примеру пишу функцию для этого

Я никак не группанул. Я решил, что ты и так знаешь, что тебе надо группировать, и написал там просто "yyy" :)

table.Rows |> Seq.groupBy (fun r -> r.Country)

я к тому, а могу я как-то опустить этот fun ?

Ну а вот в моём примере выше была бы let yyy r = r.Country

freepoint или как оно там называется

(ну, с аннотацией типов, если надо)

Посмотри в информации об ошибке, какие перегрузки для Chart.Table оно видит.

Посмотри в информации об ошибке, какие перегрузки для Chart.Table оно видит.

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

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

И помогает явное указание типов.

хм

А там в сигнатуре опциональные параметры есть.

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

Я такие ошибки встречал, когда пытался юзать перегруженный метод. F# не всегда умеет нормально делать method group conversion (наверное, при этом вывод типов бы сильно затормозился, не уверен).

А Seq.groupBy возвращает seq<('k * ('v seq)) seq> или seq<('k * 'v) seq>?

А Seq.groupBy возвращает seq<('k * ('v seq)) seq> или seq<('k * 'v) seq>?

Второе, вроде.

Seq.groupBy<'T, 'Key> : projection:('T -> 'Key) -> source:seq<'T> -> seq<'Key * seq<'T>>

Table(data, Labels, Options) Signature: (data:seq<'?7835> * Labels:seq<string> option * Options:Options option) -> GoogleChart Type parameters: '?7835, 'K, 'V Table(data, Labels, Options) Signature: (data:seq<'?7832 * '?7833> * Labels:seq<string> option * Options:Options option) -> GoogleChart Type parameters: '?7832, '?7833

Как видишь, нету перегрузки, принимающей seq<'Key * seq<'T>>

Преобразуй в коллекцию пар

Очень странно себя ведёт в таком случае редактор кода

он должен ругаться.

мол "нету типа с такими аргмументами"

а оно молчком пропускает

Ну так-то да. Но поддержка F# в Rider ещё не допилена же.

Хотя, там, наверное, те же средства, что и в VS, используются.

ага

запустил VSCode

там ругается =)

А, ну вот

Значит, они в Rider по-своему сделали.

всё же да, каким бы не был удобным и быстрым Rider - писать кодец на F# лучше пока в VSCode

Вообще, следует верить комплиятору всегда. Он лучше знает, чем проверялка уровня редактора. :)