Да, это патерн вида Что угодно типа стринг или null

Капец. Я вообще забыл о том, что в подобных выражениях можно юзать несколько паттернов.

Но видимо все же знак вопроса

Это ужасно

Это ужасно

да. Из сишарпа только какое-то говно приходит

Привет

Привет

Привет

Ionide на маке требует моно, или все таки нет кора достаточно?

Ionide на маке требует моно, или все таки нет кора достаточно?

вообще с неткором поставляется сейчас

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

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

?

dotnet add package FSharp.Compiler.Service

^ у меня без этого не пашет, даже указывая прямой путь к fsi, хотя на работке все норм, переменные среды не менял, хз, как это объяснить

попробуй полный путь в vscode сначала указать для fsi

Привет

Привет

May the f#rce be with you!

May the f#rce be with you!

may the drink be with you!=)

А это ты в зелёненьком?

72 из Спартанцев знаешь?

А это ты в зелёненьком?

aga, kto zh eshe:)

72 из Спартанцев знаешь?

nea...

Дарт Ведер в чорном должен быть :)

Дарт Ведер в чорном должен быть :)

moya zhizn na stolko chernaya, chto esli ugovorit komandu smenit tsvet - menua v etom mire voobshe ne budet zametno)

С этим - в параллельный чатик

:(

Привет!

Ку-ку, котята

Ку-ку, котята

Это тематический чат. С котятами - в параллельный

С котятами в Scala понв

Или как это у них там называется

У них кошки. Котятки - kittens

Ааа, точно, у них cats

kittens тоже есть)

Когда нужно скрестить cats и shapeless

kittens тоже есть)

Я же не могу всё на свете знать :)

Есть функция многих аргументов fn. Возможно ли написать общую ф-цию (не зависющую от количества аргументов fn), которая будет маппить результат fn?

Есть функция многих аргументов fn. Возможно ли написать общую ф-цию (не зависющую от количества аргументов fn), которая будет маппить результат fn?

Ты про такую? fn : a1 -> a2 -> ... an -> result

Есть функция многих аргументов fn. Возможно ли написать общую ф-цию (не зависющую от количества аргументов fn), которая будет маппить результат fn?

Можно на основе билдера

Ты про такую? fn : a1 -> a2 -> ... an -> result

да

Можно на основе билдера

@fvnever

да

Тогда нет. Шейплесс в скале умеет абстрагироваться от арности функций и типов вообще

Плебеи в фшарпе не могут

пичаль. в билдеры пока не погружался

Да там все просто

Пишешь билдер

Можно на основе билдера

Не очень представляю, как. Что конкретно имеется в виду под билдером? Computation expression builder как-то не вяжется с задачей

Который на вход принимает твою функцию

Плюс пустое значение объекта, которое надо получить

У билдера можно задать внутреннее состояние, к которому последовательно применять результаты custom operations

Ща

да

То есть ты хочешь обобщённый вариант curry? Или что?

Короче, идея такая

У тебя есть функция вида 'a->'b

Где 'a это длинная цепочка параметров 'c->'d->'e

А 'b соответственно результат фукнции

То есть ты хочешь обобщённый вариант curry? Или что?

Например, val fn1: 'a -> 'b -> 'c -> int val fn2: 'd -> 'e -> int val mapper: int -> float Как сделать универсальную функцию, которой можно будет передать любую fn и mapper и получить функцию, которая принимает все аргументы fn и результат пропускает через mapper

Далее тебе надо написать несколько кастомных операций

На каждый тип аргумента

type C<'b>(f:'a->'b) = [<CustomOperation("apply")>] member this.M(ctx,a)=ctx a member this.Yield(())=f

Что-то похожее на это

И в билдере потом {apply 1} этц

Например, val fn1: 'a -> 'b -> 'c -> int val fn2: 'd -> 'e -> int val mapper: int -> float Как сделать универсальную функцию, которой можно будет передать любую fn и mapper и получить функцию, которая принимает все аргументы fn и результат пропускает через mapper

Окей. Давайте найдём обобщённый uncurry для n аргументов, и тогда можно из него сделать решение.

Наверняка на SRTP можно такой состряпать каким-нибудь наркоманским способом.

Наверняка на SRTP можно такой состряпать каким-нибудь наркоманским способом.

Читай выше. По факту нам нужен function expression :)

Читай выше. По факту нам нужен function expression :)

Я не понимаю, как будет выглядеть применение твоего решения

Попробую пока состряпать на CRTP.

Хотя вряд ли получится, конечно.

let builder =Builder (f) let res= builder{ apply 123 applyStr "124" }

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

Да

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

Ок, это довольно симпатичная штука.

Там проблема, что под каждый аргумент, похоже, надо писать свою кастомную функцию. Но это не точно

А если fn возвращает тоже функцию ? мы же не можем понять, докуда декаррировать

Можем

У нас в билдере надо явно задать

ну если только явно это задать

универсально же никак

Универсально тут не работает, к сожалению

а fn >> mapper не сработает?

Ну маппер не универсальный, поэтому будет цепочка

Например, val fn1: 'a -> 'b -> 'c -> int val fn2: 'd -> 'e -> int val mapper: int -> float Как сделать универсальную функцию, которой можно будет передать любую fn и mapper и получить функцию, которая принимает все аргументы fn и результат пропускает через mapper

А ты не можешь сам эти функции раскаррировать? Тогда не будет никакого гемора.

Потому что у них у всех будет сигнатура 'a -> 'b, и задача тогда решится автоматически.

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

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

по идее хорошоб иметь возможность в языке

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

Кто это потом будет поддерживать?

Код надо писать понятный

тема понятности - отдельная. стремясь что-то упростить мы неизбежно усложняем что-то другое. Другими словами - делая более простой прикладную логику, усложняется ядро. Делая более простым язык программирования - усложняется компилятор/интерпретатор. Или же добавив такую функцию (»») мы упростим написание кода, но добавится сложная функция маппинга.

и вообще я бы предпочел иметь такую функцию маппинга в саммо языке F#. Тут выше говорили, что такая возможность есть в скала, кажется.

Короче , походу ,во флудилке пора заводить игру "норкоман дня"

Не, тут без высоких абстракций не написать. А Дон против высоких абстракций!