bouldering

Силовые движения, мало перехватов, невысоко

Всем привет. Подскажите как определить класс который принимает тип 'T но только такой у которого определена функция, например ToInt()? Короче как обойтись без интерфейсов типа MyClass<'T when 'T implements ToInt(): int> =

SRTP

https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/generics/statically-resolved-type-parameters

Всем привет. Подскажите как определить класс который принимает тип 'T но только такой у которого определена функция, например ToInt()? Короче как обойтись без интерфейсов типа MyClass<'T when 'T implements ToInt(): int> =

это ты фцию сделал, а не класс

Все он правильно сделал

Все он правильно сделал

Всем привет. Подскажите как определить класс который принимает тип 'T но только такой у которого определена функция, например ToInt()?

Всем привет. Подскажите как определить класс который принимает тип 'T но только такой у которого определена функция, например ToInt()?

Надо вспоминать, работает ли сртп на типах

Надо вспоминать, работает ли сртп на типах

мне кажется, что нет. inline же

https://github.com/fsharp/fslang-suggestions/issues/641#issuecomment-361525358

Ну вот вопрос, зачем тут тип

Модуля должно хватить по идее

пишут, что оно и так работает

без интерфейсов

Почти получилось но не получилось

Почти получилось но не получилось

ты не красных червяков в редакторе показывай

собирается или нет?

там ещё один трик есть

неа, говорит не может разглядеть где у этого типа такая функция

сртп нельзя в дженерик параметры засовывать, потому что дженерики в РАНтайме, а сртп - в КОМПАЙЛтайме

на то они и СТАТИЧЕСКИ разрешимые параметры

ты даже такой код не скомпилишь type A< ^T when ^T : (member A: unit)> () = static member Test() = () тебе компилятор скажет This code is not sufficiently generic. The type variable ^T when ^T : (member Serialize : ^T -> string) could not be generalized because it would escape its scope.

победил

Надо было сделать ^T а не 'T, и лишний раз подсказать тип при вызове

Надо было сделать ^T а не 'T, и лишний раз подсказать тип при вызове

@omgszer как тибе такое Элон Маск?

member inline???

wtf

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

хорошо что мне не надо будет интеропиться

https://sharplab.io/#v2:DYLgZgzgPgtg9gEwK7AKYAIAqqIBd0C8AsAFDrq4CeADhgIIA86AepugO4AWqAdi2yHQAKGKhgAjVACd0dQUh4BLXAEoAfMJWFSpcuVETp6RT2AmMADwB02PEK0F0AIgCMTnWQo0MAMThxtT30xSRkAfTCrOkJND3I0fABDGMY/ODV7XXREmxxce3QoDQBlSjwxKwBhOB4IODQrAHUpZVQAGXMgA

ХМ

Оно одновременно инлайнит и сохраняет оригинальный inline метод рабочим для интеропа

Это какие-то новые горизонты говнокода

:))))

Это какие-то новые горизонты говнокода

Подумал о том же

Это какие-то новые горизонты говнокода

Мне простительно, я даже примерно не программист.

Мне простительно, я даже примерно не программист.

не, речь не про тебя. Про мои горизонты!!11

не, речь не про тебя. Про мои горизонты!!11

горизонт - воображаемая линия

Мне простительно, я даже примерно не программист.

да тут никто не программист!

Перспективы атомные (с)

Всё-таки интерфейс элегантнее.

Чего же они duck typing не завезли

Нет, рано радовались

это потому что в этом инлайне нет СРТП он в рантайме сохраняется

как только намазать туда - всё по пизде идёт

Кстати да

https://sharplab.io/#v2:DYLgZgzgPsCmAuACAlgO2G2j4AtkQEkIA5Ae3gGUBXABxtICd5YATAIQE8AlK1eZALZYAhogC8AWABQiWYgAUAPWEgFQgQCNYDRAEFVEeAzQBzAJSJhZ6dIGkWVOIgAqsQ+JszsHGll0AeREVnRAB3HFhUIJDVeXUtHX1EQ2NUcwA+BQtJKWk5RHjtFHRMRAB9MoA6V3dRHPyGpRU1WE0ipJTTCytPWXgfLAAxUlJ5bLy5Qp0Kyt1xRAAiMBGF3sQ4JGXSeeHR6y9cfCIySlp6JlZOHj5BLC3EKEyKDkNWyoBhUlQIUjhKgHVjMwADKYNYbSzzAK7dJjCbCapuTYjB5PF7MAQfL4/P6A5AgzBAA=

Не сртп же

Надо было сделать ^T а не 'T, и лишний раз подсказать тип при вызове

Это какие-то новые горизонты говнокода

как только намазать туда - всё по пизде идёт

Так оно работает?)

Так оно работает?)

Ну наверное да, но без интеропа

Ну наверное да, но без интеропа

Инлайн методы не видно?

Из сишорпа

Что это за финя?

https://7sharp9.github.io/2019/04/24/2019-04-24-applied-metaprogramming-with-myriad/

Короче всё зря. Попытался расширить существующий тип (Int32) этой функцией, и компилятор не принимает, походу все эти приаттаченные функции в счёт не идут :(

https://7sharp9.github.io/2019/04/24/2019-04-24-applied-metaprogramming-with-myriad/

Кодген для протобафа?

Кодген для протобафа?

но не только же

dotnet/spark .NET for Apache® Spark™ makes Apache Spark™ easily accessible to .NET developers. C# 666

666 жвежд

Слава сатане

Слава сатане

фу какие вы

Слава сатане

C#атане

изыдьте! демоны

изыдьте! демоны

https://github.com/dotnet/spark/blob/master/examples/Microsoft.Spark.FSharp.Examples/Sql/Basic.fs F# first class

https://github.com/dotnet/spark/blob/master/examples/Microsoft.Spark.FSharp.Examples/Sql/Basic.fs F# first class

Functions.Udf<Nullable<int>, string, string>(

Functions.Udf<Nullable<int>, string, string>(

нусорян

Functions.Udf<Nullable<int>, string, string>(

спряч за БИЛДЕРАМИ и все

нусорян

Да я не шеймю их)

Спасибо что есть

Вообще

ну таки дя

https://www.youtube.com/watch?v=fsF7enQY8uI

я думаю, что эти - что-то типа mechanical turk

Короче всё зря. Попытался расширить существующий тип (Int32) этой функцией, и компилятор не принимает, походу все эти приаттаченные функции в счёт не идут :(

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