Я думаю, можно. Надо попробовать.

ага, хочу чтобы мог вызывать BinaryDeserialize с любым типом из того что предлагает перегрузка

а кстати в inline if ы на типы нельзя писать в теле функции?

В FSharp.Core даже специализации можно писать!

В FSharp.Core даже специализации можно писать!

не понял :(

Да. Типизируй.

вот пока и не могу понять как)

если инлайн то ты ^Type писать должен

вот пока и не могу понять как)

let BinaryDeserialize<'T> (bytes:byte[]) =... вроде

если инлайн то ты ^Type писать должен

Необязательно

если инлайн то ты ^Type писать должен

Да, так и собираюсь

let BinaryDeserialize<'T> (bytes:byte[]) =... вроде

да, это если я ограничусь только одной перегрузкой

@Lanayx Стандартный трюк - через вспомогательный тип и операторы.

а что за ошибка подчеркнута?

что or там нельзя писать

интересно что and там разрешается

интересно что and там разрешается

let inline replace_instance< ^a, ^b, ^c, ^d when (^a or ^c): (static member replace: ^b * ^c -> ^d)> (a: ^b, f: ^c) = ((^a or ^c): (static member replace: ^b * ^c -> ^d) (a, f))

в доку я тоже уже залез) но там не то немноо

@Lanayx Стандартный трюк - через вспомогательный тип и операторы.

подскажешь?)

подскажешь?)

Когда у компьютера буду.

пасиб

or низя, да

Мы тут периодически мусолим тему с анонимными DU

Вот or - это к этому

Привет, Василий!

Вечно вы, Григорий, с ботами здороваетесь

@Lanayx Есть стандартный паттерн, но для него нужно бойлерплейт писать. http://bit.ly/sharplab-2xiB2Dr

Вечно вы, Григорий, с ботами здороваетесь

Привет, Василий!

@Lanayx Ну, ты, наверное, видел это в TaskBuilder, только там еще приоритеты были.

Я не знаю, как это иначе можно решить с помощью SRTP.

Пасиб, надо это сохранить куда-нибудь

Привет, Олег!

Правда выглядит так, что проще руками все перегрузки прописать для своего класса

Правда выглядит так, что проще руками все перегрузки прописать для своего класса

Да, пожалуй. А какая изначально была задача?

Задача вызывать свою обёртку десериализатора, чтобы не привязываться к конкретной имплементации, в то же время не потерять перегрузки

Ок. Другой вариант — передавать десериализатор через тип-параметр, но это синтаксически некрасиво. :(

Ладно. Доброй ночи.

Доброй!

Ну, да, такое себе. Зато обобщенно. :) let inline BinaryDeserializeGeneric< ^Deserializer, ^In, ^Out when ^Deserializer : (static member Deserialize : ^In -> ^Out)> (input: ^In) : ^Out = (^Deserializer : (static member Deserialize : ^In -> ^Out) (input)) let bar : obj = BinaryDeserializeGeneric<MessagePackSerializer, _, _> bytes

Читаю https://swlaschin.gitbooks.io/fsharpforfunandprofit/content/posts/understanding-fsharp-expressions.html там в конце есть такой пример // create a clone of if-then-else that accepts functions rather than simple values let test b t f = if b then t() else f() // call it with two different functions test true (fun () -> printfn "true") (fun () -> printfn "false") и подпись The problem with this is that now the "true" function might be evaluated twice by mistake, when we only wanted to evaluate it once! Как это первая лямбда может быть вызвана дважды ?

и дальше советуется использовать lazy // create a clone of if-then-else with no restrictions... let test b t f = if b then t else f // ...but call it with lazy values let f = test true (lazy (printfn "true")) (lazy (printfn "false"))

или я путаю eval и call ? ?

Читаю https://swlaschin.gitbooks.io/fsharpforfunandprofit/content/posts/understanding-fsharp-expressions.html там в конце есть такой пример // create a clone of if-then-else that accepts functions rather than simple values let test b t f = if b then t() else f() // call it with two different functions test true (fun () -> printfn "true") (fun () -> printfn "false") и подпись The problem with this is that now the "true" function might be evaluated twice by mistake, when we only wanted to evaluate it once! Как это первая лямбда может быть вызвана дважды ?

все верно пишут) два раза если вызовешь test два раза вызовется лябмда

все верно пишут) два раза если вызовешь test два раза вызовется лябмда

А , все, дошло , спасибо

@fvnever System.IO.FileLoadException: Could not load file or assembly 'FSharp.Core, Version=4.5.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a'. Could not find or load a specific file. (Exception from HRESULT: 0x80131621) ---> System.IO.FileLoadException: Could not load file or assembly 'FSharp.Core, Version=4.5.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a'. не знаешь в чем бага флюент мигратора?

Ну, похоже, FSharp.Core не тот

@fvnever System.IO.FileLoadException: Could not load file or assembly 'FSharp.Core, Version=4.5.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a'. Could not find or load a specific file. (Exception from HRESULT: 0x80131621) ---> System.IO.FileLoadException: Could not load file or assembly 'FSharp.Core, Version=4.5.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a'. не знаешь в чем бага флюент мигратора?

Ох блин, там же с этим жопа какая-то

Они даже специально добавляли референс на FSharp.Core зачем-то.

Но, кажись, это добавило ещё больше проблем, чем решило :)

С фиксированной версией добавляли?

https://github.com/fluentmigrator/fluentmigrator/issues/883

Ох блин, там же с этим жопа какая-то

Я ща попытаюсь внутри стартапа запустить их

Мб там заработает

@fvnever System.IO.FileLoadException: Could not load file or assembly 'FSharp.Core, Version=4.5.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a'. Could not find or load a specific file. (Exception from HRESULT: 0x80131621) ---> System.IO.FileLoadException: Could not load file or assembly 'FSharp.Core, Version=4.5.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a'. не знаешь в чем бага флюент мигратора?

Собственно, а у тебя у самого-то есть референс на FSharp.Core?

https://github.com/fluentmigrator/fluentmigrator/issues/883

Совет чувака внизу не помог, пытался

Собственно, а у тебя у самого-то есть референс на FSharp.Core?

Да

В стародавние времена я его лечил тем, что добавлял референс.

Но щас многое поменялось уже...

Попробуйте из нугета пакет поставить

слава коммунизму, миграция прошла

services.AddFluentMigratorCore() .ConfigureRunner( fun run -> let assembly = typeof<CreateTablesMigration>.Assembly run.AddPostgres().WithGlobalConnectionString(connectionString).ScanIn(assembly) |> ignore) |> ignore и let migrateUp() = use serviceScope = app.ApplicationServices.CreateScope() let runner = serviceScope.ServiceProvider.GetRequiredService<IMigrationRunner>() runner.MigrateUp() migrateUp()

примерно так

Здравствуйте

Для чего нужен фи шарп ?

Чтобы на нём писать код!

Философский вопрос

Фи-шарп :D

Для чего нужен фи шарп ?

Я сам не могу понять

Ох уж эти понацейщики: аджаил, проектирование (патерны, диаграммы классов, логическая модель бд), тдд, функциональщина

Ничего из этого не работает

А универе говорили, что работает

Обманули

че у тебя там в функциональщине не работает то?

https://github.com/LykkeCity/

Низя юзать фи-шарп

Он плохо совместим с нашими месными либами

Да и просто нельзя

ну так лапки ваши виноваты. он то тут причем. а фунциональщины и в с# выше крыши

ну так лапки ваши виноваты. он то тут причем. а фунциональщины и в с# выше крыши

Как бы да

https://github.com/LykkeCity/

О, у меня в этой конторе товарищ работает через кроссовер

О, у меня в этой конторе товарищ работает через кроссовер

И как доволен?

И как доволен?

Кроссовером или конторой?)

И тем и тем

Доволен. Говорит по началу жопа горела

Доволен. Говорит по началу жопа горела

+

ну так лапки ваши виноваты. он то тут причем. а фунциональщины и в с# выше крыши

https://ru.wikipedia.org/wiki/%D0%A4%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D0%BE%D0%BD%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D0%B5_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5

Ну вот как бы, я не про-то

Да, я тоже делаю неизменяеммые классы

И т.д.

Но от фи-шарпа мне нужна только система типо и сравнение с образцом

А про всякую лямбда-муть я знать не хочу

и. проблема то где?