Вы про нормализацию путей?

Ага.

Опять же, смутило то, что нет внятной доменной модели

Все размазано по файлам ровным слоем

В общем-то, данный код иллюстрирует одну из проблем F# - нет внятных стайлгайдов

Забыл сразу сказать, изучал язык с его идиомами. Многое унёс в c#

Опять же, смутило то, что нет внятной доменной модели

А можешь проиллюстрировать? Что бы ты назвал доменной моделью для данной программы, какие сущности там могут быть?

Когда есть описание предметной области - жить веселее

Например

Согласен.

Для билд системы основообразующим объектом обычно является таск

Опять же, смутило то, что нет внятной доменной модели

Над проблемой думал, один раз рефакторил серьёзно. До состояния "вроде хорошо". Но все равно рад критике

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

Для билд системы основообразующим объектом обычно является таск

Вроде есть такое, в types.fs

[<CustomEquality;CustomComparison>] type Target = | FileTarget of File | PhonyAction of string with member internal this.ShortName = match this with | FileTarget file -> file.Name | PhonyAction name -> name member internal this.FullName = match this with | FileTarget file -> file.FullName | PhonyAction name -> name override x.Equals(yobj) = match yobj with | :? Target as y -> stringCompare.Equals (x.FullName, y.FullName) | _ -> false override x.GetHashCode() = stringCompare.GetHashCode x.FullName interface System.IComparable with member x.CompareTo y = match y with | :? Target as y -> stringCompare.Compare(x.FullName, y.FullName) | _ -> invalidArg "y" "cannot compare target to different types" // structures, database processor and store

Для билд системы основообразующим объектом обычно является таск

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

Доменной моделью я бы это называть не стал

Таргет - это не обязательно файл

Это скорее набор артефактов

Но я бы хотел такой таргет как отправленное письмо-уведомление

Не вопрос

Как?

Артефакт можно рассматривать как param-> unit

Фри монадки, вот это вот все

Интересно, посмотрю. У меня было опасение, что нам важно дотянуться до артефакта, например проверить наличие

Я бы в терминах билд системы под артефактом понимал набор действий

Точнее функцию некоторую

У меня главное - это артефакты и зависимости. Действия и порядок какбэ не важны

Зависимость - тоже функция

Точнее, набор функций

Типа unit->string скорее всего

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

Их не всегда надо материализовывать

Их не всегда надо материализовывать

Да, и не все они материальны :)

Да, и не все они материальны :)

Поэтому и функцию надо

Короче

Билд система хорошо ложится в концепцию AST

Типа такого http://blog.ploeh.dk/2017/07/17/a-pure-command-line-wizard/

Кстати, продолжение плясок Симана с фри монадками

Спасибо, почитаю

На концепцию билд системы ляжет зашибись

И вот это еще

http://fsharpforfunandprofit.com/posts/13-ways-of-looking-at-a-turtle-2/#way13

http://fsharpforfunandprofit.com/posts/13-ways-of-looking-at-a-turtle-2/#way13

Этим сайтом с любой страницы зачитываюсь

Я там указал страничку :)

Ну, до такого уровня не очень-то хочется спускаться. Все таки фшарп много даёт и сам является отличным интерпретатором. У меня только state и reader монады в рецепте

Нету там монад

Что за глюк, дважды сообщение отправлено

Точнее, очень императивная имплементация

RecipeBuilder? Где ж там императивный под?

А, вижу

Да этот код мне стоил половины седых волос :) По ночам, после рабочего дня, когда мозг вообще отказывается что-либо понимать ?

Ладно, большое спасибо Vasily @fvnever за критику и идеи

@olegzee, тебе спасибо. Я всерьёз думаю, что на каких-нибудь небольших задачах попробую использовать эту билд-систему.

Ок, свежий и опытный взгляд - это что нужно

Ну тут понятно, что у человека в бэкграунде много цпп

Нет, нет и еще раз нет :) Последний раз в 99-м. Потом только C#

Нет, нет и еще раз нет :) Последний раз в 99-м. Потом только C#

А как до F# добрались?

А как до F# добрались?

Через Немерле :)

(вроде, у нас можно без <summary> писать, компилятор сам добавит)

у нас же /// считается саммари

кстати вот интересно, а как параметрам функций хмл доки добавлять, если без <summary> и <param name="%"/> ?

кстати вот интересно, а как параметрам функций хмл доки добавлять, если без <summary> и <param name="%"/> ?

В компиляторе через <summary>.

кстати вот интересно, а как параметрам функций хмл доки добавлять, если без <summary> и <param name="%"/> ?

https://github.com/Microsoft/visualfsharp/blob/master/src/fsharp/FSharp.Core/array.fsi

Сайм добрался до DiffSharp. А до этого он немного коммитил в TensorFlowSharp.

Кажется, ему понравились нейронные сети. :)

> gbaydin added dsyme to hypelib/Hype Ну, точно!

В F# оказывается такая магия возможна: let (|``R0..50``|_|) i = if i >= 0 && i <= 50 then Some() else None match someValue with | ``R0..50`` -> ... | _ -> ...

Только что-то не работает

У меня вопрос к залу! type 'a heap = | Empty | Node of int*'a* 'a heap * 'a heap * 'a heap module Heap = let priority = function | Empty -> failwith "empty" | Node(p,v,parent,left,right) -> p let value = function | Empty -> failwith "empty" | Node(p,v,parent,left,right) -> vМожно ли написать какую-то оберточную функцию, чтоб она принимала другую функцию, обрабатывающую только кейс Node(...)? Иными словами, можно ли как-то ограничить тип аргумента одной частью юниона? Ну или другой подход подскажете, чтоб не писать каждый раз | Empty -> failwith "empty"?

У меня вопрос к залу! type 'a heap = | Empty | Node of int*'a* 'a heap * 'a heap * 'a heap module Heap = let priority = function | Empty -> failwith "empty" | Node(p,v,parent,left,right) -> p let value = function | Empty -> failwith "empty" | Node(p,v,parent,left,right) -> vМожно ли написать какую-то оберточную функцию, чтоб она принимала другую функцию, обрабатывающую только кейс Node(...)? Иными словами, можно ли как-то ограничить тип аргумента одной частью юниона? Ну или другой подход подскажете, чтоб не писать каждый раз | Empty -> failwith "empty"?

Заверни код в '''

У меня вопрос к залу! type 'a heap = | Empty | Node of int*'a* 'a heap * 'a heap * 'a heap module Heap = let priority = function | Empty -> failwith "empty" | Node(p,v,parent,left,right) -> p let value = function | Empty -> failwith "empty" | Node(p,v,parent,left,right) -> vМожно ли написать какую-то оберточную функцию, чтоб она принимала другую функцию, обрабатывающую только кейс Node(...)? Иными словами, можно ли как-то ограничить тип аргумента одной частью юниона? Ну или другой подход подскажете, чтоб не писать каждый раз | Empty -> failwith "empty"?

Написать let value (Node(_,v,_,_,_)) = vНо тогда будет падать с исключением если Empty.

У меня вопрос к залу! type 'a heap = | Empty | Node of int*'a* 'a heap * 'a heap * 'a heap module Heap = let priority = function | Empty -> failwith "empty" | Node(p,v,parent,left,right) -> p let value = function | Empty -> failwith "empty" | Node(p,v,parent,left,right) -> vМожно ли написать какую-то оберточную функцию, чтоб она принимала другую функцию, обрабатывающую только кейс Node(...)? Иными словами, можно ли как-то ограничить тип аргумента одной частью юниона? Ну или другой подход подскажете, чтоб не писать каждый раз | Empty -> failwith "empty"?

Можно match-блок выделить в отдельную функцию: https://gist.github.com/gsomix/ee4325a18422eb51f33b2b010d3b90c7 Empty и Node — это значения типа Heap. В F# нельзя описать тип, на который наложено ограничение в стиле "только значение Node из Heap". Для этого понадобилась бы зависимая типизация, если я правильно понимаю. P.S. Мне не особо нравятся функции-геттеры, особенно бросающие исключения. ;)

В F# оказывается такая магия возможна: let (|``R0..50``|_|) i = if i >= 0 && i <= 50 then Some() else None match someValue with | ``R0..50`` -> ... | _ -> ...

Даже лучше завести параметризуемый паттерн Range a b i.

Даже лучше завести параметризуемый паттерн Range a b i.

Я попробовал, но он что-то тоже не сработал

Я попробовал, но он что-то тоже не сработал

Что значит "не сработал"? Джентльмены так не говорят, а показывают код и сообщения компилятора.

Что значит "не сработал"? Джентльмены так не говорят, а показывают код и сообщения компилятора.

Вот такой код: let (|NumRange|_|) i max min = if i >= max && i <= min then Some() else None let getWeatherEmoji id = match id with | 800 -> "☀️" | 801 -> "?" | 802 -> "⛅️" | 803 -> "?" | 804 -> "?" | NumRange 600 622 -> "❄️" | NumRange 300 531 -> "?" | NumRange 200 232 -> "⛈" | _ -> ""

Ошибок нет

Просто не срабатывают числа в интервале, возвращает пустую строку

Паттерн неверно написан.

Сначала идут параметры.

max min i?

Да, спасибо)

Можно match-блок выделить в отдельную функцию: https://gist.github.com/gsomix/ee4325a18422eb51f33b2b010d3b90c7 Empty и Node — это значения типа Heap. В F# нельзя описать тип, на который наложено ограничение в стиле "только значение Node из Heap". Для этого понадобилась бы зависимая типизация, если я правильно понимаю. P.S. Мне не особо нравятся функции-геттеры, особенно бросающие исключения. ;)

Спасибо, ща попробую

Господа, а кто-нибудь умеет работать с модулем NativePtr? У меня в переменной лежит указатель на структуру, а я хочу из неё получить указатель на поле этой структуры. В C# я бы сделал char* fieldPtr = &struct->field, а вот как в F# — не могу понять :( Оператор -> не работает на типе nativeptr<MyStruct>.

Никто не сталкивался с проблемой в SqlProvider, когда он вместо int ставит uint?

На гитхабе есть свежая issue, но там как-то тихо

https://github.com/fsprojects/SQLProvider/issues/437

Цитата из книги по F#. Не совсем понятно, что тут имеется в виду. «В языке C# существует возможность реализовать интерфейс лишь частично и предоставить производным классам недостающую реализацию. В языке F# такая возможность отсутствует. Если тип объявляет, что он реализует интерфейс, он должен реализовать все методы и свойства»

Имеется в виду, что в F# абстрактных классов нет чтоли? Я сомневаюсь, что в C# можно заимплементить интерфейс и предоставить не все реализации, если интерфейс не расширяет абстрактный класс

Абстрактные классы есть.

Мне эта цитата тоже непонятна.

Придётся в оригинале смотреть, непереведённый вариант

Вот этот момент ещё не совсем понятен, но скорее всего, мне нужно где-то про это почитать. «Операторы связывания let в действительности являются правилами сопоставления с образцом:» let x, y = (100, 200) // ... аналогична такой конструкции... match (100, 200) with | x, y -> ...

Что за книга то?

Что за книга то?

Программирование на F# - Oreily (русский перевод)