Как сделать эквивалент соответствия шаблонов для родных типов .NET?

Question

Я пытаюсь построить примитивные цитаты F # для компилятора Cuda, и мне нужно выяснить, как переводить типы кортежей в типы C-структуры в объявлениях функций, но я действительно не знаком с тем, как работает техника .NET. Вызывает разочарование, что цитаты F # не возвращают вам хороший АСТ на основе дискриминированных союзов, которые сделали бы все явным, но если я не хочу самостоятельно выполнять проверку typechecking, у меня будет работа с этим.

То, что я прошу, - это путь к дерьмовому фрагменту кода выше с сопоставлением с образцом на .NET. Type s, потому что выше явно не работает.

Редактировать: вопрос не является дубликатом, потому что связанный вопрос задает вопрос о том, как печатать свойства записей F #, а я спрашиваю, как печатать типы родных типов .NET (включая функции) внутри цитат F #. Визуальное сканирование принятого ответа здесь и там должно показать, что они совершенно разные и даже не используют одни и те же функции.

Answer 1

Runtime type вывод? О типах, неизвестных во время компиляции? Нет, извините, не существует, вам придется строить один самостоятельно.

Чтобы проверить, является ли конкретный тип является экземпляром определенного универсального типа, вы должны увидеть, если это родовое в первую очередь, а затем получить его общее определение, и сравнить, что:

if x.IsGenericType && (x.GetGenericTypeDefinition() = typeof<System.Tuple<_>>.GetGenericTypeDefinition()) then "tuple" else "not" 

Примечание что есть не только один тип Tuple, но многие - Tuple<_>, Tuple<_,_>, Tuple<_,_,_>, и так далее - до 8.

то же самое относится и к FSharpFunc:

if x.IsGenericType && (x.GetGenericTypeDefinition() = typeof<FSharpFunc<_,_>>.GetGenericTypeDefinition()) then "function" else "not" 

Чтобы получить общие аргументы типа, используйте .GetGenericArguments():

if x.IsGenericType && (x.GetGenericTypeDefinition() = typeof<FSharpFunc<_,_>>.GetGenericTypeDefinition()) 
then 
    sprintf "function %s -> %s" (x.GetGenericArguments().[0].Name) (x.GetGenericArguments().[1].Name) 
else 
    "not function"