Надо запилить.

Например, поддержка Elm. https://github.com/quicktype/quicktype/blob/master/src/language/Elm.ts

F# Weekly #21, 2018 – .NET Core 2.1 & F# Relaxation achieved, 200% https://sergeytihon.com/2018/05/26/f-weekly-21-2018-net-core-2-1-f-relaxation-achieved-200/

Чуваки, идёмте бухтеть! https://github.com/Microsoft/visualfsharp/issues/5019

Чуваки, идёмте бухтеть! https://github.com/Microsoft/visualfsharp/issues/5019

Прочитал как бухать и не понял повода

Чуваки, идёмте бухтеть! https://github.com/Microsoft/visualfsharp/issues/5019

По какому поводу?

По какому поводу?

Ну тип у нас всё тормозит

Но это можно пофиксить!

Ну тип у нас всё тормозит

А почему ты сравниваешь две разные функции?

А почему ты сравниваешь две разные функции?

А чем они отличаются?

А чем они отличаются?

> let typeOfSeqInt = typeof<seq<int>>;; val typeOfSeqInt : System.Type = System.Collections.Generic.IEnumerable`1[System.Int32] > let typeDefOfSeqInt = typedefof<seq<int>>;; val typeDefOfSeqInt : System.Type = System.Collections.Generic.IEnumerable`1[T]

> let typeOfSeqInt = typeof<seq<int>>;; val typeOfSeqInt : System.Type = System.Collections.Generic.IEnumerable`1[System.Int32] > let typeDefOfSeqInt = typedefof<seq<int>>;; val typeDefOfSeqInt : System.Type = System.Collections.Generic.IEnumerable`1[T]

Окей, это код второй функции. И чем он отличается от первой?

Там же у меня тоже написано typeof(List<>)

Вроде то же самое. Или ты видишь разницу?

Да, пропустил.

Мб у нас на F# можно вызывать typedefof у всякой ерунды, и оно в рантайме будет пытаться получать GetGenericTypeDefinition?

Да, действительно. member this.M<'T>() = typedefof<'T>

На C# такое выражение не существует и не имеет смысла.

@fvnever Придется в компиляторе костыли городить.

Будто что-то плохое. Там уже столько костылей, что никто и не заметит, если я чуть больше добавлю!

А ты добавишь?

Дак ну наверняка остальным пофиг!

Впрочем, енто дело побенчить надо будет сперва, конечно.

?

@fvnever Есть идеи как?

Что «как»?

Как добавить.

Как исправить? Ну, в CIL-то понятно, что делать. Можно оптимизировать кейсы, когда передаваемый тип заранее известен (я думаю, это 95% всех реальных использований typedefof).

Сложно. Получается, тебе нужно будет сделать так, чтобы компилятор знал о typedefof.

Хорошо, что у нас нету HKT, а то было бы сложнее ?

@fvnever А как это в CIL выглядит, кстати?

Сложно. Получается, тебе нужно будет сделать так, чтобы компилятор знал о typedefof.

А разве он сейчас не знает? Мне казалось, это конструкция языка, а не просто функция где-то в FSharp.Core

А разве он сейчас не знает? Мне казалось, это конструкция языка, а не просто функция где-то в FSharp.Core

Это функция.

Это функция.

Странно, что она инлайнится даже в дебажной сборке!

let inline typeof<'T> = let tok = (# "ldtoken !0" type('T) : System.RuntimeTypeHandle #) System.Type.GetTypeFromHandle(tok) let inline typedefof<'T> = let ty = typeof<'T> if ty.IsGenericType then ty.GetGenericTypeDefinition() else ty

Странно, что она инлайнится даже в дебажной сборке!

Может потому, что она inline? ;)

@fvnever А как это в CIL выглядит, кстати?

А я же там в репорте написал

Ок, я имел в виду наш inline CIL в F#.

Но ты его уже сам нашёл ?

Да, и он работает не так, как нам нужно.

Без костыля в компиляторе точно не обойдется.

Я не уверен, что тут можно будет ввернуть как нужно

Разве что если оптимизатором?

Ну, оптимизатор может же разрезолвить эти IsGenericType статически.

Ну, оптимизатор может же разрезолвить эти IsGenericType статически.

Пожалуй.

Но это усложняет все дело. :)

Делает его интереснее!

Привет! Подскажите, как при декомпозиции списка, сохранить ссылку на весь список? например let foo fullList@(x::xs) = ...

Привет! Подскажите, как при декомпозиции списка, сохранить ссылку на весь список? например let foo fullList@(x::xs) = ...

x::xs as fullList

благодарю

​​Pearls of Functional Algorithm Design (2015) Автор: Ричард Берд #algorithms #books Проектирование и использование алгоритмов является неотъемлемой частью профессионального программирования. Из этой книги вы узнаете о проектировании алгоритмов в функциональном стиле на языке программирования Haskell. Основные алгоритмы, рассмотренные в книге, применяются в создании игровой логики, головоломок, комбинаторных построениях, сжатии данных и сопоставлении строк. В книге рассматриваются следующие темы: ✔️ наименьшее отсутствующее число; ✔️ задача о выборке; ✔️ сортировка попарных сумм; ✔️ поиск знаменитостей; ✔️ преобразование Барроуза-Уилера; ✔️ простой алгоритм решения судоку; ✔️ упорядоченная вставка и многое другое. Преимущества: ➕ обзор многочисленных популярных алгоритмов; ➕ множество примеров; ➕ подходит начинающим. Недостатки: ➖ плохой перевод.

Всем привет, можно как-то посчитать количество вариантов в DU ? Предположим есть: type Data = A | B | C countElement(Data) ///output 3

Можно превратить его в enum и посчитать

Можно превратить его в enum и посчитать

а есть другой способ?)

Всем привет, можно как-то посчитать количество вариантов в DU ? Предположим есть: type Data = A | B | C countElement(Data) ///output 3

open FSharp.Reflection let countElement<'a>() = FSharpType.GetUnionCases(typeof<'a>).Length

Правда, он упадёт в рантайме, если ему передать плохой тип (не являющийся F# union). Констрейнт на такое нельзя написать

спасибо!

Правда, он упадёт в рантайме, если ему передать плохой тип (не являющийся F# union). Констрейнт на такое нельзя написать

Там if нельзя поставить?

Там if нельзя поставить?

Да можно, наверное.

Зачем иф когда можно опшн с исключением

Или резалт , что кошернее

Или резалт , что кошернее

Да просто option. Тут же только одна возможная ошибка - что тип не является DU. Если я не путаю

Он ещё случайно может быть енамом

Он ещё случайно может быть енамом

Enum упадет с тем же исключением.

Люди, привет. А есть что актуальное по связке Mongo+F# с нетривиальнымми штуками (типа аггрегатные запросы и прочие хитрые фильтры)?

Люди, привет. А есть что актуальное по связке Mongo+F# с нетривиальнымми штуками (типа аггрегатные запросы и прочие хитрые фильтры)?

Обычно используется c#драйвер. Чисто фшарповых штук нет

Попробовал я тут лайтдб сунуть внутрь мейлбокса...

Не работает :(

Хотя ещё повнимательнее гляну, там вообще странное поведение

Ещё вопрос - а какое встраиваемое key-val хранилище в .NET есть (и чтоб с F# красиво могло)? типа как в Go есть BoltDB

Ещё вопрос - а какое встраиваемое key-val хранилище в .NET есть (и чтоб с F# красиво могло)? типа как в Go есть BoltDB

А нужно kay-value обязательно? Есть document-oriented LiteDB.

Попробовал я тут лайтдб сунуть внутрь мейлбокса...

Случайно let! и do! не юзал на асинхронных операциях?

Мемы. https://twitter.com/kot_2010/status/1001153071085445120

Случайно let! и do! не юзал на асинхронных операциях?

Да нет.Простой let внутри. Должен возвращать none,возвращает null

Причем в дебаге смотрю,ну none же.В мейлбокс реплай ченнел же улетает null

В общем, магия какая-то

Без кода тебя все равно никто не поймет.

Ну ща до дома доеду,постараюсь воспроизвести

https://pastebin.com/sELZxTqA

ЛОвите

Вот я фиг знает, как такое поведение трактовать

Причем в дебаге смотрю,ну none же.В мейлбокс реплай ченнел же улетает null

а как ты смотришь что возвращается null?

В дебаге

а попробуй поставить в конце такое: printfn <| match a with | Some _ -> "Some" | None -> "None"

Проблема в том,что в reply null идёт

Функция вроде нормально отрабатывает

ты попробовал?

Минуту

Очень странно