тоже с акцентом?))

ну тип того)))

Чет райдер плохо переваривает файлы на 25к+ строк...

Чет райдер плохо переваривает файлы на 25к+ строк...

а 25к строк это законно?

О_О что за наркомания в 25к строк.

О_О что за наркомания в 25к строк.

Автогенерация кода

ужас.

Не говори

Но тот же тп писать, например, такое себе развлечение

Так, а кто мне расскажет, как дернуть статический метод без параметров?

Точнее статик мембер

Так, а кто мне расскажет, как дернуть статический метод без параметров?

Сртп?

Сртп?

Угу

Угу

Ну так напиши как обычно но со словом static

проблема в том, что мне не нужно там имя типа

Так, а кто мне расскажет, как дернуть статический метод без параметров?

hm

Я его хочу в Active pattern подставлять

(^a : (static member Foo: unit -> unit), a)

А без ()?

Да как хочешь вообще.

(^a : (static member Foo: unit -> unit), a)

(^a : (static member Foo: unit -> unit), (a))

вроде

вроде

Дада

Я уже пофиксил

У меня сигнатура Foo:int

а

если мембе

р

то просто : int

У меня сигнатура Foo:int

Бля, ну так и напиши Foo: int

let inline (|TypeId|) (x:int)= fun()->(^a:(static member constructor:int)) НЕ ПАШЕТ

let inline (|TypeId|) (x:int)= fun()->(^a:(static member constructor:int)) НЕ ПАШЕТ

Логично

Ты ж инстанс не передал

А его нет

боже храни сайма за синтаксис сртп

Чиво

Мне нужно поведение конста

А его нет

у кого конструктор то дергать собрался)

Точнее литерала

Чтобы матчить

а

Я нихуя не понял

Чтобы везде не писать |x when x=y.constructor

щас

Я нихуя не понял

щас

Чтобы везде не писать |x when x=y.constructor

Так вот у тебя есть инстанс - у

Так вот у тебя есть инстанс - у

Это тип

Да, я наркоман немного

Это тип

Создай анчекд дефолт

И подай туда

Это кстати в рефлексии так же рабоатает

Ты передаешь null

Ну реально хуйня тогда

Как объект на статические методы

Ну реально хуйня тогда

Нет

let a = Unchecked.defaultOf<>

А чо, null туда можно ебануть?

Хотя можно и просто null

А чо, null туда можно ебануть?

Не знаю, но почему нет

А вот хуй тебе, а не null

Хуйни туда типизированный нулл

Пусть компилятор будет довольными

Чет не взлетает

let inline (|TypeId|) (x:int)= fun()->(^a:(static member constructor:int)) НЕ ПАШЕТ

А откуда выводится тип ^a?

А откуда выводится тип ^a?

Ну вот я и думаю, откуда его вывести

И будет ли это вообще работать

Пример желаемого использования есть?

Точнее литерала

https://stackoverflow.com/a/41017541/5232946

Неясно, как применить

В общем, у меня у типа есть static member x:int

на константы нельзя натравить сртп

А можно написать | TypeId<MyType> p -> ... ?

И я хочу писать match x with |Type1.x

пока приходится писать |y when y=Type1.x

И вот я думаю, можно ли так сделать вообще?

Ну можно хотя бы частично упростить через let (|Eq|_|) expexted actual = if expexted = actual then Some () else None | Eq Type1.x -> ...

А, ну так можно

попробовать

С дженериками в матчинге жопа какая-то. Вчера столкнулся с тем, что не мог засунуть статический проп дженерик-типа в качестве параметра частичного шаблона.

Синтаксически не распознавалось.