Functional Track talks from NDC Oslo 2017 https://gist.github.com/swlaschin/7bf9e8df8854ff964d9f85b6923c02b8

Доброго

Доброго

Привет! Какими судьбами?

Живы будем не забудем

Я больше про интерес в F# , опыт и тд)

О, а ты его куда-нибудь выложил?

Нет, все хочу переписать тк fantomas стартует 5 сек и надо его по хорошему держать запущенным, а это куда сложнее текущих 10 строчек)) На богомерзком NodeJS это не так тривиально, как в .NET Плюс надо бы еще с TS на F# Fable переписать, да еще и конфига форматирования добавить - короче работы еще полно.

Я интересного кода принес из слэка. let implicit (/) (s: string) (i: int) = int s / i

Никогда раньше такого не видел.

А это компилируется? (пишу с телефона)

А это компилируется? (пишу с телефона)

Ага.

А как в F# mock'аются функции?

Т.е., например функция возвращает какие-то данные, как для неё сделать тест?

Т.е., например функция возвращает какие-то данные, как для неё сделать тест?

Вызвать и сравнить значение?

FsUnit использую

Вызвать и сравнить значение?

Не совсем, именно "подделать" результат

Expecto

FSCheck

Foq ещё

Меня интересует именно сам механизм, как это работает?

И вообще, реализуемо ли это

Меня интересует именно сам механизм, как это работает?

https://jeremybytes.blogspot.ru/2016/11/simple-mocking-in-fsunit-i-like-this.html

Похоже на билдеры (но это неточно)

В fsharp mocki очень просты - если в функциональном стиле. Предположим, надо тестануть:

https://jeremybytes.blogspot.ru/2016/11/simple-mocking-in-fsunit-i-like-this.html

Я немного про другое, это более императивный подход

let f a b c = ...

Гду а и b - функции (() - int) (int -> int -> string).

Так с моками проблем нет: mocka () = 5 mockb a b = "6"

Допустим есть модуль: module RandomNumberGenerator let getRandomNumber min max = Random().Next(min, max) Как для функции getRandomNumber написать заглушку, типа такой: let getRandomNumber min max = Random(0).Next(min, max)

Похоже на билдеры (но это неточно)

Ты про object expressions?

Допустим есть модуль: module RandomNumberGenerator let getRandomNumber min max = Random().Next(min, max) Как для функции getRandomNumber написать заглушку, типа такой: let getRandomNumber min max = Random(0).Next(min, max)

Надо для начала сделать твой код тестируемым. :) Например, чтобы он не был завязан на определенные модуль и функции.

То есть нужна параметризация.

Иных выходов я не вижу.

В императивном стиле понятно как сделать, через интерфейс и DI, а вот в функциональном, хз

мне помог прийти в ML - Elm

В императивном стиле понятно как сделать, через интерфейс и DI, а вот в функциональном, хз

А что здесь мешает? Если в DI ты каким-либо образом доставляешь объект-зависимость, имеющий определенный интерфейс, то в функциональном подходе ты то же самое делаешь с функцией, имеющей определенный тип.

А что здесь мешает? Если в DI ты каким-либо образом доставляешь объект-зависимость, имеющий определенный интерфейс, то в функциональном подходе ты то же самое делаешь с функцией, имеющей определенный тип.

Разница только в том, что в случае функций это более гранулировано? Интерфейс содержит в себе больше

В императивном стиле понятно как сделать, через интерфейс и DI, а вот в функциональном, хз

Зачем ты тестируешь сайд эффекты? Как же DRej? Если ты хочешь тестируемый random, то в него надо передавать seed параметром, как в хаскель.

Я просто банально не могу придумать, как в данном кейсе обойтись без интерфейса

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

@Dolfik Чем не подходит описанное мной решение?

Разница только в том, что в случае функций это более гранулировано? Интерфейс содержит в себе больше

Если нужно больше, то есть 1) интерфейсы или 2) рекорды.

@Dolfik Чем не подходит описанное мной решение?

Я его не понял ?

Не понятно, что мешает написать в тесте функцию заглушку и передать ее в тестируюмую. Вроде ж проще чем с интерфейсами

Не понятно, что мешает написать в тесте функцию заглушку и передать ее в тестируюмую. Вроде ж проще чем с интерфейсами

Ну так тестируемая функция может использовать, например, 5 других функций, и передавать все - как-то не очень

можешь попробовать вариант с рекордом

А потом этот рекорд назвать контекстом и в reader монаду засунуть и приехали, твой рекорд юзается по всему коду.

@Dolfik Да, тут бы еще подумать, зачем тестируемой функции нужно вызывать функцию-рандом, а не просто принимать число. :)

Singleton Же :D

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

Но это лучше на конретных примерах смотреть. Я думаю, @angmarr поможет, как знаток dependency rejection. :)

Я интересного кода принес из слэка. let implicit (/) (s: string) (i: int) = int s / i

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

С таким переопределением функции куча способов отстрелить себе ногу

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

Оригинальный код еще менее понятный. https://github.com/Horusiath/Akkling/blob/master/src/Akkling/Extensions.fs#L48

Там даже передаваемый оператор (/) не используется.

А кто у нас ActorPath?

А кто у нас ActorPath?

Это позиционирование актора в дереве акторов.

Я с телефона просто пока

А кто у нас ActorPath?

А какая разница?

Считай что строка для простоты

А, там просто некий коэффициент считается

Что-то типа ранга,как я понимаю

И используется скорее всего при балансировке

Но вообще решение спорное

Vasily Мне кажется, ты пропустил то, то там не let inline, а let implicit. :)

Наверное, это опечатка. Плохо, что компилируется. :)

Не,не опечатка,думаю

В чем тогда смысл?

Хотя кейворда такого нет в языке

А смысл походу в преобразовании типов

Без прямого приведения

Нету такого в F#.

Смотри.

Вот это: let implicit (/) (s: string) (i: int) = int s / i Компилируется в: public static a @implicit<a>(FSharpFunc<int, FSharpFunc<int, a>> op_Division, string s, int i) { return FSharpFunc<int, int>.InvokeFast<a>(op_Division, LanguagePrimitives.ParseInt32(s), i); }

Это точно опечатка.

Если ты промахнулся и в определении оператора написал вместо inline что-либо, то такой код все равно скомпилируется.

Например, injline. %)

А, тогда опечатка

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

Ковыряюсь тут с Funogram, получилось что-то типа такого: let bot data = api botToken data |> Async.RunSynchronously bot (sendMessage chatId "Hello, World!") Мне кажется это лучше, чем: Telegram.SendMessage(token, chatId, "Hello, World!")

IntelliSence работать не будет!

Вот почему нельзя делать generic module?

Вот почему нельзя делать generic module?

А в чём профит?

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

В ML можно.

Привет!

Ковыряюсь тут с Funogram, получилось что-то типа такого: let bot data = api botToken data |> Async.RunSynchronously bot (sendMessage chatId "Hello, World!") Мне кажется это лучше, чем: Telegram.SendMessage(token, chatId, "Hello, World!")

А мне нравится)

Сейчас вот пишу систему конфигурирования. Предположим есть нечто обладающее свойствами. Тип именисвойства можно абстрагировать. Идентичность свойств определяется некоторым условием. Удобно задать как IEqualityComparer<T>. Задаемначальные свойства, правила вывода новых. Привязку к условиям новых. Комбинаторы. Получается интересно. Пока совсем прототип. Но было бы меньше кода при генериках на модулях

Привет. :)

Пожалуйте.

Нет, все хочу переписать тк fantomas стартует 5 сек и надо его по хорошему держать запущенным, а это куда сложнее текущих 10 строчек)) На богомерзком NodeJS это не так тривиально, как в .NET Плюс надо бы еще с TS на F# Fable переписать, да еще и конфига форматирования добавить - короче работы еще полно.

И ещё фантомаса на Fable портировать заодно, чтоб не мучиться с IPC!