Скорее через возврат option<'a>

obj -> option<'a>?

Ну и создавать надо в файлах выше по списку

Ну и создавать надо в файлах выше по списку

о, важный момент)

'a->

'a->

можешь набросать? Я не понимаю как это будет работать

Мне очень не хочется, чтобы сделали определение типов не по порядку. Код будет в разы труднее читать

Мне очень не хочется, чтобы сделали определение типов не по порядку. Код будет в разы труднее читать

уже сделали namespace rec NameSpaceName

А как явно задать Record, который я создать хочу?

надеюсь до порядка файлов не дойдет.

можешь набросать? Я не понимаю как это будет работать

Match v with |?: string as s ->Some s

Я с телефона :(

Some v

А как явно задать Record, который я создать хочу?

type MyRecord = { value: sometype } {MyRecord.value = Sometipe()}

Всем привет! Никто случаем не сталкивался с ситуацией, когда UWP дев-билды не ставятся на телефоны тестировщиков?

Released http://FSharp.NET .Sdk v1.0.3 The new fsproj now works with others msbuild (.NET FW and #mono) #fsharp https://github.com/dotnet/netcorecli-fsc/releases/tag/v1.0.3

Вот вопрос в чате F# разработчиков прозвучал как обидно с учетом того что UWP до сих пор не поддерживает F# ))))

Вот вопрос в чате F# разработчиков прозвучал как обидно с учетом того что UWP до сих пор не поддерживает F# ))))

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

хотя наверно пойду ещё в ксамарин схожу

Match v with |?: string as s ->Some s

static member inline Test (someId: ^a) = match someId with | :? string as s -> Some s | :? int as i -> Some i | :? BigInt -> Some i | _ -> None как-то так?

А что за ошибку выдает?

При попытке установки?

static member inline Test (someId: ^a) = match someId with | :? string as s -> Some s | :? int as i -> Some i | :? BigInt -> Some i | _ -> None как-то так?

Угу

А что за ошибку выдает?

Симптомы: переводим телефон в режим developer или sideload, закачиваем appxbundle на трубку, инсталируем - и ничего не происходит, хоть минуту жди, хоть час.

Виснет или не запускается вообще?

Главный вопрос-везде себя так ведет?

Второй вопрос -после каких изменений викодовой базе/процессе сборки это началось?

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

https://t.me/uwp_ru

Ну а дальше кропотливый анализ

https://t.me/uwp_ru

ооо, ребят :) вы супер! Спасибо!

static member inline Test (someId: ^a) = match someId with | :? string as s -> Some s | :? int as i -> Some i | :? BigInt -> Some i | _ -> None как-то так?

This runtime coercion or type test from type 'a to string involves an indeterminate type based on information prior to this program point. Runtime type tests are not allowed on some types. Further type annotations are needed.

This runtime coercion or type test from type 'a to string involves an indeterminate type based on information prior to this program point. Runtime type tests are not allowed on some types. Further type annotations are needed.

Да. Но если someId будет obj, то заработает.

Не, это фигня

Не, это фигня

Ага. Длеай нормальный DU)

Зачем нам тогда статическая типизация?)

Тогда du

На самом деле есть трюк, чтобы заработало

Тсапалис недавно показывал

TypeShape?

Я хочу, чтобы выглядело так: let a = someFunc 123 let b = someFunc "123" С du я так понимаю не получится

Вместо a->some a надо a-> option r

Vasily Царьпалис! Или цареборец.

Я хочу, чтобы выглядело так: let a = someFunc 123 let b = someFunc "123" С du я так понимаю не получится

Это только перегрузкой знаю как решить)

Укажи явно тип возвращаемый как b , например

Надмозг, да. :)

Vasily Царьпалис! Или цареборец.

Ипать мой лысый череп.Но товарищ реально крут.У него классный стиль мышления

Ага.

Всем привет! Никто случаем не сталкивался с ситуацией, когда UWP дев-билды не ставятся на телефоны тестировщиков?

Лучше в С# Тут рили как троллирование выглядит

Бтв девю на увп, не сталкивался.

Ипать мой лысый череп.Но товарищ реально крут.У него классный стиль мышления

О чем вы?

Лучше в С# Тут рили как троллирование выглядит

я туда вообще боюсь писать, вы там все какие-то недобрые))

О чем вы?

Nessos streams, например

я туда вообще боюсь писать, вы там все какие-то недобрые))

Да вроде после репрессий только добрые остались (кроме админов)

Nessos streams, например

аа.

Пока в код въедешь,аж употеешь

Да вроде после репрессий только добрые остались (кроме админов)

ааа, тогда супер :) благодарю. Не видела, что были репрессии

Причем никакой перегрузки операторов

https://gist.github.com/Dolfik1/fa70485b8b4d88e231c177947e275f6c

Короче ужас)

Все на чистых языковых конструкциях

Короче ужас)

Я бы шел другим путем

https://gist.github.com/Dolfik1/fa70485b8b4d88e231c177947e275f6c

А что делает Helpers.toString?

Вместо a->some a надо a-> option r

т.е. static member inline Test (someId: ^a):option<'r> = match someId with | :? string as s -> Some s | :? int as i -> Some i | :? BigInt -> Some i | _ -> None ?)

Угу

А что делает Helpers.toString?

let inline toString arg = arg |> Option.map string |> Option.defaultValue ""

т.е. static member inline Test (someId: ^a):option<'r> = match someId with | :? string as s -> Some s | :? int as i -> Some i | :? BigInt -> Some i | _ -> None ?)

This runtime coercion or type test from type 'a to string involves an indeterminate type based on information prior to this program point. Runtime type tests are not allowed on some types. Further type annotations are needed.

@Dolfik Трюк! https://hastebin.com/idebolawok.fs Осторожно! Не использовать в продакшене!

This runtime coercion or type test from type 'a to string involves an indeterminate type based on information prior to this program point. Runtime type tests are not allowed on some types. Further type annotations are needed.

match box someId with

match box someId with

На int as i: This expression was expected to have type 'string' but here has type 'int'

@Dolfik Трюк! https://hastebin.com/idebolawok.fs Осторожно! Не использовать в продакшене!

валшебно. А почему не?)

валшебно. А почему не?)

копипаста же

ваще самый норм вариант эт перегрузки же

На int as i: This expression was expected to have type 'string' but here has type 'int'

А вот это мне не вылечить.

@neftedollar Лишняя нагрузка на голову при чтении кода. И сообщение об ошибке стремное.

Кстати, есть в F# какой-нибудь аналог nameof из C#? Чтоб однострочный INotifyPropertyChanged написать.

@Worldbeater Еще не сделали. :(

https://github.com/fsharp/fslang-design/blob/master/RFCs/FS-1003-nameof-operator.md

ваще самый норм вариант эт перегрузки же

type private MyUnion = | Int of int | String of string | BigInt of int64 type Util = Util with static member ($) (Util, x:int) = Int(x) static member ($) (Util, x:int64) = String(x) static member ($) (Util, x:string) = BigInt(x) let private doWork = function | Int x -> CharpClass.Method(x) //int перегрузка | String x -> CharpClass.Method(x) //string перегрузка | BigInt x -> CharpClass.Method(x) //int64 перегрузка // мб можно как-то короче let inline Test x = Util $ x |> doWork и нет копипасты

На int as i: This expression was expected to have type 'string' but here has type 'int'

(someId:'a)

ваще самый норм вариант эт перегрузки же

Перегрузки создают копипасту)

С du ужасно получается: let a = { Types.MessageArgs.ChatId = Types.IntOrString.I 32 }

Ну можно сократить до: let a = { ChatId = IntOrString.I 32 }

Но всё равно стрёмно

Ну можно сократить до: let a = { ChatId = IntOrString.I 32 }

почему?

Нужно знать, что у тебя значит I, S и I64

почему?

Перегнул)

Нужно знать, что у тебя значит I, S и I64

а ты хотел по сквозному?

а ты хотел по сквозному?

Да

Мне кажется, что это немного странно, что ChatId -- это или int, или string.

Хм.

А этот тип в случае string что содержит?

С перегрузками плохой вариант, если у тебя будет например 2 аргумента

А этот тип в случае string что содержит?

Unique identifier for the target chat or username of the target channel (in the format @channelusername)

Может их разделить в Record?

Два поля.

Одно с id, другое с username.

Одно с id, другое с username.

В целом норм вариант, но не очевидно будет

+ даст возможность не указывать chat_id, а он обязательный

Итого: полтора часа обсуждаем, как сделать красиво какую-то фигню :D

Unique identifier for the target chat or username of the target channel (in the format @channelusername)

А не проще все в строке хранить?