Наверное.

Протестить пока не поулчается.

Я для TypeProvider'а делаю статический параметр своего типа (как раз ParamType). При сборке получаю ошибку
The type provider 'MyProvideImplementation+MyTypeProvider' reported an error : The design-time type 'MyProvideImplementation+InterfaceMethod' utilized by a type provider was not found in the target reference assembly set...

Хм. Кажется понял.

Провайдеры типов параметризуются только примитивными типами.

здраствуйте!
у меня вопрос по Giraffe, возможно кто стыкался с таким.

мне нужно передать параметры в redirectTo

что-то вроде этого

redirectTo false "/Challenge/External" {| scheme = vm.ExternalLoginScheme; returnUrl |} next ctx

возможно кто знает как это сделать?
офф дока не указывает как это сделать.

по идее мне надо менять контекст в таком случае?

redirectTo false "/Challenge/External" {| scheme = vm.ExternalLoginScheme; returnUrl |} next ctx

Сделай свой?

redirectToWithArgs

в натуре, так можно было?)
сейчас попробую.

чо там пробовать)))

Как указать количество цифр числа при интерполяции строк? Чтобы, например, число 1 было как 01?

Всё нашёл, d2 в данном случае. С телефона гуглить неудобно, но пришлось ..

ребят, изучаю тайп провайдеры и не могу понять эту строчку из примера:
https://github.com/fsprojects/FSharp.TypeProviders.SDK/blob/master/examples/BasicProvider.DesignTime/BasicProvider.Provider.fs#L25

а точнее, его invokeCode. во-первых, че за фигня "%%" перед args.[0], во-вторых, не понимаю что за :string - кастинг к стрингу что ли ? кастинг по-моему делается по-другому. ну и наконец, :> obj здесь даункастится к обджекту. И это получается код конструктора - а что конкретно присваивается и куда? конструктор по сути задаункастил первый аргумент к обджекту и больше ничего не сделал. Я не могу понять этого

обычно конструктор присвает чо-то куда-то. инициализирует обьект. а тут просто даункастит что-то  и нигде не использует?

Читай про quotations.

А :string просто хинт для компилятора.

а на F# есть skip без исключения?

Seq.skip