Куда же проще?

О, точняк

@Liminiens респект

А теперь вопрос, как это сделать не статик мембером :)

Т.е. есть member x.Value

Где x как раз Value x

Точнее V

Можешь описать что ты хочешь?

А теперь вопрос, как это сделать не статик мембером :)

не статик или статик?

если статик то: type V = | V of int static member private GetValue (V x) = x member this.Value = V.GetValue(this) [<EntryPoint>] let main argv = let v = V 100 printf "%i" v.Value 0 // return an integer exit code

Ишь ты

Ну так еще длиннее

Интересует вопрос, как правильно описать деконструкцию

Можно статику приватным сделать

А точнее, можно ли из нее достать тип значения

member x.V = x???

Что надо написать вместо x???, чтобы взять значение

Пока получается две строки

Первая - деконструкция, вторая собственно возвращение значения

Вопрос, можно ли результат деконструкции запайпить

И сразу его вернуть, например

можно же x |> V написать

или я неправильно понял задачу?

Хммм

Минуту

или я неправильно понял задачу?

Задача обратная насколько я понял

Интересует вопрос, как правильно описать деконструкцию

в плане, узнать тип в методе объекта члена объединения?

или я неправильно понял задачу?

Обратная

в плане, узнать тип в методе объекта члена объединения?

Угу, но скорее значение интересует

Угу, но скорее значение интересует

когда вариантов несколько?

В целом, можно не заморачиваться и тупо объявить модуль, конечно

когда вариантов несколько?

Да не, вариант один

я бы просто так написал и не парился: type V = V of int module V = let getValue (V x) = x

Ну я ща так и написал

Старые ооп привычки дают о себе знать

Можно даже универсальный деконстракт написать по идее

ну так-то моя штука на 2х методах работает

Угу

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

Храбрые ребята, которые запиливают фичи мимо RFC! https://github.com/Microsoft/visualfsharp/pull/4673

Храбрые ребята, которые запиливают фичи мимо RFC! https://github.com/Microsoft/visualfsharp/pull/4673

Не самая полезная фича

Какой @fvnever злой

Какой @fvnever злой

?

?

Ему не понравилось, что я написал критику в комментариях к PR!

Да я комменты к пулл реквесту читаю :)

Человек старался, а его мордой об стол хрясь :)

И ничо не хрясь, я просто предложил пересмотреть как минимум один аспект.

Хотя пропозал мегастранный

Кстати, вы читали код? Я не понял, как это вообще работает.

Чувак из Явы,видать

В частности, я там не вижу этого подчёркивания.

Чувак из Явы,видать

Синтаксис очень похож на Scala.

Там только скобки фигурные.

import xxx._ import yyy.{Zzz, Yyy}

Ну скальный,да

Там любят partial import

(не помню только, можно ли совмещать _ и {} — вроде бы такого нет)

В частности, я там не вижу этого подчёркивания.

А, всё, нашёл где подчёркивание: https://github.com/Microsoft/visualfsharp/pull/4673/files#diff-f684cd54cc6b2765be570b976a252d3cR4692

логичнее было бы квадратные, это же массив неймспейсов

Пробовал когда-то писать анализаторы и рефакторинги на Roslyn для C#. Куда смотреть чтобы сделать подобное на F# в большой VS?

Пробовал когда-то писать анализаторы и рефакторинги на Roslyn для C#. Куда смотреть чтобы сделать подобное на F# в большой VS?

https://fsharp.github.io/FSharp.Compiler.Service/

Вопрос, если метод назвать так, то либра C# его не видит. Почему не превращает в UpdateUid? this.``update uid``() = ...

Вопрос, если метод назвать так, то либра C# его не видит. Почему не превращает в UpdateUid? this.``update uid``() = ...

Ну ты же специально его так назвал, чтоб из C# нельзя было вызвать, правда же? :)

Никто не обещал его преобразовывать.

Вопрос, если метод назвать так, то либра C# его не видит. Почему не превращает в UpdateUid? this.``update uid``() = ...

атрибут я CompileName ставь

атрибут я CompileName ставь

То есть только ручками?

То есть только ручками?

конкретно такие имена, да

это же F# онли

Ну ты же специально его так назвал, чтоб из C# нельзя было вызвать, правда же? :)

То есть это такой уровень безопасности для F# от рефлексии?

То есть это такой уровень безопасности для F# от рефлексии?

От рефлексии-то ты не защитился. И это не безопасность, это просто, гм, возможность такая. C# её не поддерживает.

От рефлексии-то ты не защитился. И это не безопасность, это просто, гм, возможность такая. C# её не поддерживает.

С помощью рефлексии можно добраться до него из C#?

С помощью рефлексии можно добраться до него из C#?

Попробуй, я специально не пробовал. Было бы интересно посмотреть

https://fsharp.github.io/FSharp.Compiler.Service/

Есть hello world по вкорячиванию сего в VS?

С помощью рефлексии можно добраться до него из C#?

Да, конечно.

Есть hello world по вкорячиванию сего в VS?

Не, не думаю.

Я недавно думал над утилиткой, которая работает с дырками как в Haskell.

Интересно, насколько сложно ее будет реализовать с помощью FCS.

Я недавно думал над утилиткой, которая работает с дырками как в Haskell.

с чем?

с чем?

https://wiki.haskell.org/GHC/Typed_holes

Я бы не сказал, правда, что это будет сильно полезная фича.

Кстати

Модули могут быть типизированными?

Модули могут быть типизированными?

Было бы круто, но почему-то нет

Вопрос снимается

Скорее всего там типизированы методы во всяких List

Модули могут быть типизированными?

Как классы?)

Ну я ща не туда подался, походу

Я недавно думал над утилиткой, которая работает с дырками как в Haskell.

Если будет нужна помощь по вкорячиванию в редакторы — свистни.

круто

Есть несколько объектов (до ≈20), которые нужно периодически сортировать после добавления новых/удаления старых. Что лучше использовать, спискок, массив, что-то ещё?

Сортировка таже? Или меняется?

Сортировка таже? Или меняется?

В смысле? Внутри DU, которые сортируются по типу сначала, и по содержанию между собой. Пока что лежат списком, но вот возникает трабл с синтаксимом удаления элементов. static member ``sort by type`` obj = match obj with | A (record) -> 0b000001 <<< 26 ||| record.uid >>> 5 | B (record) -> 0b000010 <<< 26 ||| record.uid >>> 5 | C (record) -> 0b000100 <<< 26 ||| record.uid >>> 5 | D (record) -> 0b001000 <<< 26 ||| record.uid >>> 5 | E (record) -> 0b010000 <<< 26 ||| record.uid >>> 5

Тебе по списку часто бегать надо? Если да, то юзай SortedList какой-нибудь.

Если нужна иммутабельность, то возможно зиппер подойдет.

Тебе по списку часто бегать надо? Если да, то юзай SortedList какой-нибудь.

Бегать нужно, да, но порядок не важен. Порядок важен только для вьюшки.

Тогда вопрос

ПОчему надо держать отсортированный список

Если он только для вьюхи