Дано: две функции, например: let fn1 a b c = a + b + c let fn2 d e = d * e Требуется сконструировать функцию fn3 как комбинацию fn1 и fn2 так, чтобы результат, возвращенный fn3 был функцией вида (fun a b c d e f -> ...), при этом сама функция объявлялась бы без аргументов (т.е. чтобы не копировать состав аргументов комбинируемых функций). fn3 должна быть универсальной и не знать о сигнатурах fn1 b fn2. Возможно ли это сделать?

Очень противоречивые условия

Хотя можно,наверное,через квотейшны попробовать

Дано: две функции, например: let fn1 a b c = a + b + c let fn2 d e = d * e Требуется сконструировать функцию fn3 как комбинацию fn1 и fn2 так, чтобы результат, возвращенный fn3 был функцией вида (fun a b c d e f -> ...), при этом сама функция объявлялась бы без аргументов (т.е. чтобы не копировать состав аргументов комбинируемых функций). fn3 должна быть универсальной и не знать о сигнатурах fn1 b fn2. Возможно ли это сделать?

А я не понял, как требуется скомбинировать функции. Тебе нужна функция о пяти аргументах, которая вернёт пару (fn1 a b c), (fn2 d e)?

А я не понял, как требуется скомбинировать функции. Тебе нужна функция о пяти аргументах, которая вернёт пару (fn1 a b c), (fn2 d e)?

А есть разница? Если будет тупл, то дальше уже что угодно можно наворотить.

А есть разница? Если будет тупл, то дальше уже что угодно можно наворотить.

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

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

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

Да тут сама задача по описанию не понятна

Да тут сама задача по описанию не понятна

Скорее тут человек пытается решать задачу не самым подходящим способом

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

Доброе утро.

Теперь у нас есть онлайн логи. http://telegrammy.net/group/Fsharp_chat

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

Обновляются раз в день, кажется.

Норм.

Норм.

Они достаточно тру, даже ссылочки для ответов работают.

Я добавил ссылку в описание. Пришлось пожертвовать Xamarin чатиком. :c

Возвращаюсь к своему вопросу. В его изначальной формулировке я думаю решить его невозможно. Спрошу по-другому. Можно ли как-то универсализировать функции combine (скриншот выше). Например, сделать не 3, а одну универсальную?

Возвращаюсь к своему вопросу. В его изначальной формулировке я думаю решить его невозможно. Спрошу по-другому. Можно ли как-то универсализировать функции combine (скриншот выше). Например, сделать не 3, а одну универсальную?

Я думаю, можно сделать polyvariadic function на SRTP.

Но ты этого не хочешь, поверь. ;)

SRTP - что это?

SRTP - что это?

Statically Resolved Type Parameters. Есть вот такой пример. https://gist.github.com/gusty/b6fac370bff36a665d75

Но лучше такими извращениями не заниматься.

Возвращаюсь к своему вопросу. В его изначальной формулировке я думаю решить его невозможно. Спрошу по-другому. Можно ли как-то универсализировать функции combine (скриншот выше). Например, сделать не 3, а одну универсальную?

Какую задачу хочешь решить?

Задача - убрать копипаст. В более простом виде задача сформулирована - как вместо трех функций combine (см. скриншот выше) сделать одну универсальную? В более общем виде так: let combine fn1 fn2 = {fn1} + {fn2} {} - означает взять результат. Оператора такого нет, просто для наглядности. Если fn1: int -> int -> int а fn2: int -> int -> int -> int то combine fn1 fn2 должно вернуть функцию пяти каррируемых аргументов int -> int -> int -> int -> int -> int А результат выполнения этой функции - сумма результатов fn1 и fn2.

Statically Resolved Type Parameters. Есть вот такой пример. https://gist.github.com/gusty/b6fac370bff36a665d75

Это, кстати, не компилируется. foldArgs может вызываться только с тремя аргументами. А в примере вызывается и с бОльшим количеством - это и не компилируется.

Это, кстати, не компилируется. foldArgs может вызываться только с тремя аргументами. А в примере вызывается и с бОльшим количеством - это и не компилируется.

Какая версия F#? На что ругается?

а как версию узнать?

мм.. не сразу понял идею. т.е. foldArgs (+) 2 3 возаращает функцию, в которую мы передаем еще аргумент. Тогда непонятно почему не компилируется

мм.. не сразу понял идею. т.е. foldArgs (+) 2 3 возаращает функцию, в которую мы передаем еще аргумент. Тогда непонятно почему не компилируется

Точно не компилируется? Может просто редактор тупит?

Ха!

И правда, не компилируется в F#4.1.

Потому что в 4.0 все нормально.

хм. внутри fsi в VSCode - не выполняется код. А мой fsc скомпилировал.

Но только как версию узнать?

fsc --version?

Это оказалось сложнее, чем я думал. .__.

Но только как версию узнать?

А если fsi запустить, то что пишет в приветствии?

И правда, не компилируется в F#4.1.

Фигасе, неужто сломали?

Фигасе, неужто сломали?

У меня на работе нет F#4.1, но я пробовал в sharplab.io

Я щас на домашней машине проверю.

fsi консольный выполнил. В VSCode не выполняет и в linqpad не выполняет

А у меня чёт и в 4.0 не компилируется.

Хотя похоже, что в студии просто селектор версий языка сломан :)

У меня есть пример попроще.

https://pastebin.com/bfjFKrM5

И он работает в sharplab.io

В случае с SRTP еще и ошибку тяжело обнаружить. .__.

Теперь у нас есть онлайн логи. http://telegrammy.net/group/Fsharp_chat

ого!

@nevoroman а как там твой доклад про ТайпПровайдеры поживает ?

@nevoroman а как там твой доклад про ТайпПровайдеры поживает ?

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

@nevoroman ого, очень жду, да и думаю не один я =)

Компилятор мне предъявляет ворнинг за [<StructLayout>] :(

Компилятор мне предъявляет ворнинг за [<StructLayout>] :(

Спроси на гитхабе.

https://connect.microsoft.com/VisualStudio/feedback/details/643668/f-structlayout-attribute-always-produces-a-possibleunverifiablecode-warning > we get this is annoying, but we may not be able to fix this due to other higher prio bugs and work items we have

2011!

Какой-то Bill (Gates??) в 2011 году за нас всё решил.

Предлагаю поднять вопрос снова.

Хорошо. Куда мы такое постим, в suggestions?

Да.

Предлагаю поднять вопрос снова.

https://github.com/fsharp/fslang-suggestions/issues/596

Дон очень быстр. Уже апрувнул :)

Дон очень быстр. Уже апрувнул :)

Твой шанс отправить PR в компилятор.

А ведь я собираюсь, да.

А ведь я собираюсь, да.

Для тех, у кого нормальное железо. ;)

Это я так отмазываюсь.

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

Всё же Data Science очень интересная вещица. Из Riot API узнал, что у ребят очень сильный разброс по Id у персонажей, и он не совпадает с их датами релиза. Наводит на мысль, что пропуск Id означает замыслы создать на этом месте нового персонажа.

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

Я выкачивал историю программой на шарпе

Вчера где-то 3 часа выгружало 250к сообщений

Ух, чувствую статья на хабре моя будет крайне спойлерная для Riot'ов =)

Кстати особенность: в vscode в fsx файлах не нужно "руками" заставлять рисовать графики.

По TensorFlowSharp годных статей вообще нет?

В Rider'е нужно пинать отрисовку через методы.

Тем временем, Rider не умеет ставить в нужное место в проекте новые файлы, придётся лезть в proj руками.

Нужно таковой фич-реквест отправить в JetBrains.

Может кто на пальцах объяснить отличие неймспейсов от модулей в контексте F# ?

Заметил, что вроде работают одинакого... Но в чём соль?

По памяти: модуль — статический класс

в модуле можно создавать переменные, а в неймспэйсе — нет

Хммм

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

Ну я сейчас работаю с модулем, код пишется наитивно, без лишней мысли о структурировании и всё работает =)

а если попробуешь неймспэйс, то сразу почувствуешь ненативность )

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

хм, интересно даже, зачем они это разделили в действительности.

Ибо на мой взгляд - модуль то удобный.

Я выкачивал историю программой на шарпе

Выкачать всю историю нескольких сот каналов, а потом парсить. А в следующий раз опять всю историю выкачивать или можно выкачать только часть?

Насколько я помню, модуль - это статический класс, а неймспейс это неймспейс. В последнем нельзя объявлять функции и переменные.

А я тем временем разобрался как в райдере пускать интерактивный F# (fsi)

Жопой чую, что я тут накостылял по не знанию F#. Пните, как написать по человечески =) ChampionName= structedChampions|>List.find (fun c -> c.Id.Equals(m.ChampionId)) |> fun c ->c.Name

Жопой чую, что я тут накостылял по не знанию F#. Пните, как написать по человечески =) ChampionName= structedChampions|>List.find (fun c -> c.Id.Equals(m.ChampionId)) |> fun c ->c.Name

А что за проект?

Ну, логичным выглядит передать в find просто m.ChampionId.Equals