В частности операторов

В FSharp.Extras точно есть эта функция. Только konst называется.

А почему konst? constant же?

const ключевое слово

+

И curry/uncurry/flip нету, странное решение.

http://fsprojects.github.io/FSharpx.Extras/reference/fsharpx-functional-prelude.html

Сайм говорит, что это часто приводит к нечитаемому коду.

Поэтому этого нет в стандартной библиотеке.

Поэтому когда на стыке си и эф оказывается нужен кортеж его приходится собирать руками

Что там на Build интересного?

@greenest_pig ...или подключать FSharpx.Extras ?

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

Хорошо хоть отдельно батарейки продают :D

Здесь, кстати, повторяется ситуация с OCaml.

У него тоже довольно небольшая стандартная библиотека.

И пачка альтернативных.

Все ништяки в батарейках, типа Core и Batteries.

А можно как-то установить Visual F# Tools которая альфа с поддержкой .Net Core?

Поэтому когда на стыке си и эф оказывается нужен кортеж его приходится собирать руками

Если я правильно понимаю, уже не приходится

Пробую сейчас, отпишусь потом

Что-то не радует: - биндинг для ReactNative пилить только начали https://github.com/BuckleTypes/bs-react-native и они неполные - синтаксис биндингов не лучше чем у Fable - с IDE тоже непонятно ?

@neftedollar Можно попытать счастье и в WSL установить vscode.

С плагином для OCaml/Reason.

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

if data.Message.ForwardFrom.IsNone printf "None" elif data.Message.ForwardFrom.Value.Username <> "Dolfik" printf "Not dolfik" else // other code Как такой код оформить красиво? :)

match data.Message.ForwardFrom with | None -> printf "None" | Some v when v.Username <> "Dolfik" -> printf "Not dolfik" | _ -> // other code

щас бы в Ф# юзать elif

прям антипаттерн даже в с# не юзаю

100 и 101 :)

Привет

щас бы в Ф# юзать elif

Это просто для примера, дабы мысль показать

Привет сотый.

И сто первому привет)

module UpdateType = /// Indicates that the received update is a Message let (|Message|_|) (update: Update) = update.Message match update with | UpdateType.Message msg -> processMessage bot msg | _ -> () Это норм? Или можно проще?)

Красиво и понятно

Имхо

Если что, update.Message это option

Option.iter (processMessage bot) update (* или *) update |> Option.iter (proccessMessage bot)

Можно так, если вторая ветка будет просто возвращать ()

module UpdateType = /// Indicates that the received update is a Message let (|Message|_|) (update: Update) = update.Message match update with | UpdateType.Message msg -> processMessage bot msg | _ -> () Это норм? Или можно проще?)

Кстати

Авторы вроде как рекомендуют писать без идентов в матчах и пайпах: match smth with | 0 -> () | 1 -> () вместо match smth with | 0 -> ()

Погоды не делает конечно, но мы за единый кодстайл!

Позже отрефакторю)

module UpdateType = /// Indicates that the received update is a Message let (|Message|_|) (update: Update) = update.Message match update with | UpdateType.Message msg -> processMessage bot msg | _ -> () Это норм? Или можно проще?)

это ок

Прочитал хорошее. In object-oriented theory, applications tend to be extended "downward from the bottom". [...] The users of your code are expected to modify and add classes with specific interfaces on a lower level, and then your upper-level main classes automatically glue everything together through dynamic dispatch. In functional programming, we often extend applications "at the top". Your application is written as a library that consists of a set of "lower-level" modules, and then the user creates the main functions that glue your lower-level functions together. [...] With the functional approach, think of the user more as a curator of components, and less as an implementer of contracts.

https://two-wrongs.com/dynamic-dispatch-in-haskell-how-to-make-code-extendable

И кое-что от Дона Сайма. Crucially, the focus in F# OO is not at all on “hierarchies of types” – the F# programmer almost never thinks about “the class hierarchy” (which is mentioned often in that linked paper). That’s a very, very good thing and central to the productivity benefits of F#. Java/C# programmers who don't understand this tend to produce bad F# code and/or generally don't grok why F# is asking them to forget/unlearn/disavow/repent what they have spent so long learning. Hierarchy-oriented thinking is “horrible OO” and is the kind of thinking we really want people to avoid in F#. https://github.com/dotnet/csharplang/issues/288#issuecomment-288114545

Глупый университет (на самом деле я). Никак не доберусь до перевода Why OO matters.

Хороший коммент Сайма

Глупый университет (на самом деле я). Никак не доберусь до перевода Why OO matters.

Учеба в первую очередь!

Нельзя научить, можно научиться

Я тут подумал, что с моей вчерашней проблемой может помочь Decision tree

Скажите пожалуйста, а почему у меня на Маке нельзя сколмпилировать проект использующий FSharp.TypeProviders WsdlService?

Смотрели MS Build? Там видео было про Jet.com (в контексте Cosmos DB), так там на паре кадров засветился код на F#

Потому что type providers не поддерживаются в net core?

jet сильно форсит f#

@edvail .Net Core или Mono?

mono

The type provider 'FSharp.Data.TypeProviders.DesignTime.DataProviders' reported an error: The .NET SDK 4.0 or 4.5 tools could not be found

https://github.com/fsprojects/FSharp.Data.TypeProviders/issues/1

Может в WsdlService как раз зависимости от .Net Fx торчат?

похоже на то

жаль

ERROR: S client not available

спасибо

Блин, грустно.

Кто-то должен их переписать. :(

Есть ли примеры decision tree для множеств?

Есть ли примеры decision tree для множеств?

Для множеств?

Угу

Поясни

Есть объект из трех полей - верхняя граница, нижняя граница, имя

Я не очень понимаю как можно строить деревья решений для множеств, а главное в каких случаях это нужно

Мне нужно из множества таких объектов найти аномальные

Аномальными считаются следующие

1. У которых дублируются границы

2.У которых дублируется верхняя или нижняя граница

3. Пустое имя

Ну и соответственно анализ по цепочке вних

А обычные фильтры не подходят?

ну и почему не написать 4 предиката и сделать конкат?

"границы" - это что-то совпадает с соседними объектами?

*вниз

ну и почему не написать 4 предиката и сделать конкат?

++

Шаг первый - определить полные дубликаты

Т.е. те, у которых верхняя и нижняя граница совпадают

Шаг два - из тех, кто остался, вычленить неполные дубликаты(совпадающие по верхней или нижней границе)

Шаг три - из тех, кто остался, вычистить пустые записи

пока выглядит как рекурсивный партишнинг

а на моменте создания этого множества нет возможности это делать, так как было бы легче

Нет

Это сторонний файл

Который надо проанализировать

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

Ну вот я его и читаю