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

Интересно, что показывает отношение числа вопросов на стэковерфлоу к числу репозиториев? Что это за метрика - коэффициент непонятности?

Интересно, что показывает отношение числа вопросов на стэковерфлоу к числу репозиториев? Что это за метрика - коэффициент непонятности?

коэффициент заинтерсованности )

http://sogrady-media.redmonk.com/sogrady/files/2018/03/lang.rank_.118-1024x726.png Смотря как мерить) По redmonk они примерно близки

Ещё одна бесполезная метрика

согласно этой статистике f# бесконечно популярнее 1с

Нужна помощь с ``Async<Obj>`` |> Async.RunSynchronously https://fsharpforfunandprofit.com/posts/concurrency-async-and-parallel/ Что-то материалов маловато, мб есть ещё ссылки? Вылетает такое вот исключение: System.AggregateException: <Timeout exceeded getting exception details>

Нужна помощь с ``Async<Obj>`` |> Async.RunSynchronously https://fsharpforfunandprofit.com/posts/concurrency-async-and-parallel/ Что-то материалов маловато, мб есть ещё ссылки? Вылетает такое вот исключение: System.AggregateException: <Timeout exceeded getting exception details>

А что внутри Aggregate?

А что внутри Aggregate?

Не понимаю вопроса

Aggregate Exception обычно содержит в себе несколько ошибкой. Интересно понять в чем ошибка. Сколько ошибкой, стэктрейс и т.д. сможешь куда-нибудь выложить?

Aggregate Exception обычно содержит в себе несколько ошибкой. Интересно понять в чем ошибка. Сколько ошибкой, стэктрейс и т.д. сможешь куда-нибудь выложить?

Есть такой метод в C# async Task<Application> Show(Type appType, ..) {...} , который я не знаю чем запустить без краша, но точно известно, что до инициализации типа appType не доходит https://github.com/xamarin/urho/blob/b6bf7e874bb11d75b6b2b30410cd998842a2195e/Bindings/Android/UrhoSurface.cs#L140 ^ @EgorBo

Aggregate Exception обычно содержит в себе несколько ошибкой. Интересно понять в чем ошибка. Сколько ошибкой, стэктрейс и т.д. сможешь куда-нибудь выложить?

Буду сейчас то же самый вызов через C# пробовать, чтобы понять что там не нравится

@yerumaku Если тебе нужно с Task работать, то рекомендую библиотеку: https://github.com/rspeele/TaskBuilder.fs

Привет!!

@yerumaku Если тебе нужно с Task работать, то рекомендую библиотеку: https://github.com/rspeele/TaskBuilder.fs

Есть какие-то причины использовать ее, если для текущих нужд хватает Async.StartAsTask?

Есть какие-то причины использовать ее, если для текущих нужд хватает Async.StartAsTask?

Например, перфоманс.

Привет.

Привет)

Есть какие-то причины использовать ее, если для текущих нужд хватает Async.StartAsTask?

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

Но посмотреть рекомендую!

ну в боевых условиях перфоманс не тестил

http://sogrady-media.redmonk.com/sogrady/files/2018/03/lang.rank_.118-1024x726.png Смотря как мерить) По redmonk они примерно близки

интэрэсненько

улыбнул 1С в этом графике

Ой, ступил https://fsharp.github.io/FSharp.Data/reference/fsharp-data-httpresponsebody.html

Интересно было поробовать F# -> Rust compiler. Gc правда нет. Но есть сырые библиотеки..

По сравнению с Dart Rust сильно выигрывает по аудитории.

Интересно было поробовать F# -> Rust compiler. Gc правда нет. Но есть сырые библиотеки..

Зачем, можно же сразу в LLVM (все равно у раста нет своего байткода) На самом деле, крендец как хочется под JVM (шобы под android кодить на F# ?)

а как же ксамарин?

Ну так то да, еще можно на RN+Fable

а вообще под jvm уже есть котлин

Казалось бы, что между ними общего)) (я еще понимаю если бы скалу вспомнили). Как недавно рассказал Бреслав "C# был одим из главных языков, откуда они идеи черпали".

Back в LVVM есть в моно.

И кор собственно работает через LVVM

И кор собственно работает через LVVM

Это еще откуда взялось?

LLILC вроде бы еще не допилили.

Привет.

?

Это еще откуда взялось?

Типо clang в зависимости вписан

Как повесить атрибут Preserve на конструктор по умолчанию? Разделение типа [<Preserve; type: Preserve>] type А () ... ругается на повторение, а судя по докам, ключевого слова на методы нет (повесить можно на мембер, но не в такую конструкцию, как конструктор по умолчанию).

Как повесить атрибут Preserve на конструктор по умолчанию? Разделение типа [<Preserve; type: Preserve>] type А () ... ругается на повторение, а судя по докам, ключевого слова на методы нет (повесить можно на мембер, но не в такую конструкцию, как конструктор по умолчанию).

Вешай прямо перед конструктором.

type A [<Preserve; type: Preserve>] () ...

Вешай прямо перед конструктором.

Спс, не пробовал, только так делал: type [<Preserve; type: Preserve>] A () ...

Привет. А как быть когда я описал интерфейс, а там int -> int -> string и я не помню в каком порядке оно должно быть. Для это нужно писать более специфичные типы?

@yerumaku Если тебе нужно с Task работать, то рекомендую библиотеку: https://github.com/rspeele/TaskBuilder.fs

А что за <магия> с объявлением ключевого слова task?

Ну скорее всего там билдер

Ну скорее всего там билдер

В смысле Builder как Attribute, опускаемая часть названия определения при использовании?

В смысле Builder как Attribute, опускаемая часть названия определения при использовании?

Почитай про computation expressions

В смысле Builder как Attribute, опускаемая часть названия определения при использовании?

Там ниже ответили

Привет. А как быть когда я описал интерфейс, а там int -> int -> string и я не помню в каком порядке оно должно быть. Для это нужно писать более специфичные типы?

Уточни вопрос пожалуйста

https://twitter.com/zaid_ajaj/status/992079660635869185?s=09

Уточни вопрос пожалуйста

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

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

Задавай type алиасы когда пишешь Ф-цию Типа type Count = int type Sum = int

Задавай type алиасы когда пишешь Ф-цию Типа type Count = int type Sum = int

о, круто) спасибо

И тип ф-ции будет, например Count -> Sum -> string

Задавай type алиасы когда пишешь Ф-цию Типа type Count = int type Sum = int

Это не аналог using из c#?

Вроде то что ты хотел сказать делается через type Count = Count of int

Вроде то что ты хотел сказать делается через type Count = Count of int

Можно и так тоже

Это не аналог using из c#?

-

Это не аналог using из c#?

Не совсем

у меня тут непонятки: на ideone Async.StartImmediate работает в том же потоке, а на моей машине — в разных, что я не понимаю? =D https://ideone.com/BuEB5R

ну и в доках к StartImmediate написано "Runs an asynchronous computation, starting immediately on the current operating system thread." https://msdn.microsoft.com/visualfsharpdocs/conceptual/async.startimmediate-method-%5Bfsharp%5D?f=255&MSPPError=-2147217396

Вроде то что ты хотел сказать делается через type Count = Count of int

Зачем тут DU?

Зачем тут DU?

чтобы был новый тип, а не алиас.

Алиасы ничего хорошего не привносят, одна путаница.

в данном случае еще лучше int<count>

Это не аналог using из c#?

Это аналог typedef из С++ typedef int Count

в данном случае еще лучше int<count>

Для счетчика самое то, но бывают же случаи, когда типа такого плохого примера: type Ob1 = IObservable<obj>, так что синонимы иногда полезны. Юзал в основном при объявлении всяких shared_ptr, так как очень много синтаксиса

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

да, краткие алиасы на большой дженерик тип работают хорошо

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

Сотни <_> конструкций читать невозможно, например opt<_,_,_,_,_,_> или opt6, что лучше?

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

Да

(_,_,_,_,_,_) opt ;)

Привет. А как быть когда я описал интерфейс, а там int -> int -> string и я не помню в каком порядке оно должно быть. Для это нужно писать более специфичные типы?

type IA = abstract foo : a:int -> b:int -> int

Мне больше всего лодки в делегатах нравится: Func<_,_,_,_>

type IA = abstract foo : a:int -> b:int -> int

Крутой вариант

https://twitter.com/verdonckflorian/status/992310640965373952

(_,_,_,_,_,_) opt ;)

Не понял

ML style generic type notation

У кого какой proxy/vpn открывает или в какой стране? https://www.slideshare.net/egorbogatov/net-core-21-performance-improvements

У кого какой proxy/vpn открывает или в какой стране? https://www.slideshare.net/egorbogatov/net-core-21-performance-improvements

надо было вчера приходить на митап :)

+ вот тут запись https://www.facebook.com/eventspace.by/videos/1611213598977950/

он там много рассказывал

ооо, Спейс :)

https://github.com/enricosada/paket-netcore-testing-as-tool

@fvnever

он там много рассказывал

Дошел до дергадации производительности при вызове SequenceEqual для неизменяемых списков, словно камень в огород ФП.

Дошел до дергадации производительности при вызове SequenceEqual для неизменяемых списков, словно камень в огород ФП.

ну тип все равно медленно чего париться)

Немного оффтоп, но не совсем

https://docs.wavesplatform.com/technical-details/waves-contracts-language-description.html

@VagifAbilov, расскажи! https://twitter.com/Thoriumi/status/992064143128776704

We see the syntax of our language as functional, similar to F#: strong and statically typed.

@VagifAbilov, расскажи! https://twitter.com/Thoriumi/status/992064143128776704

@vshapenko @Liminiens Вам, наверное, тоже может быть интересно.

@vshapenko @Liminiens Вам, наверное, тоже может быть интересно.

Звучит интересно, надо посмотреть