Ну вон Vladimir на Giraffe вполне себе достойную штуку писал на конкурс mail.ru по хайлоад

а есть код в репозитории?

С ним должно быть меньше проблем

Да жераф это де тонкий врапер над ASP Core

Ну отсюда есть некоторые гарантии, что можно юзать в продакшне :)

Ну вон Vladimir на Giraffe вполне себе достойную штуку писал на конкурс mail.ru по хайлоад

Мне казалось там от жирафа осталось ничего

Мне казалось там от жирафа осталось ничего

Ну ему вроде пришлось свои роуты писать

Ну отсюда есть некоторые гарантии, что можно юзать в продакшне :)

Типа да

У нас много чего на винде. Мы это переводим но не быстро

Да, так и подумал) Steeltoe не смотрели, случаем? Набор библиотек от Pivotal, обещают всякие эврики и т.п.

Ну ему вроде пришлось свои роуты писать

То ради чего жираф был сделан) Но в целом отличный опыт

@antyadev Кстати, а как код ревью организуете, и можно поподробнее про использование property-based testing?

@antyadev а код какой почитать можно/нет?

@antyadev а код какой почитать можно/нет?

Хм, я конфах демил сорцы пару раз... ну это не то... пока никак

Хм, я конфах демил сорцы пару раз... ну это не то... пока никак

если появится возможность, то я думаю желающих почитать особенно в этом чате будет не мало

Я бы почитал с той точки зрения, что это реальный продакшн

@antyadev Кстати, а как код ревью организуете, и можно поподробнее про использование property-based testing?

Ну следим за purity, валидируем нейминги это бесценно. С F# code base это как-то проще получается.

Я бы почитал с той точки зрения, что это реальный продакшн

+ то как соединяется сисярп и фисярп

Ну следим за purity, валидируем нейминги это бесценно. С F# code base это как-то проще получается.

Ну кода меньше читать, да

Я бы почитал с той точки зрения, что это реальный продакшн

Я подумаю как можно такое замутить

Я подумаю как можно такое замутить

Было бы очень круто

а есть код в репозитории?

https://github.com/Lanayx/HighloadCup

Мне казалось там от жирафа осталось ничего

таскбилдер)

https://github.com/Lanayx/HighloadCup

Спасибо!

@pavelkhritonenko

А почему вообще решили собрать свой аналог нетфликс стека, а не посмотреть в сторону какого-нибудь кубернетеса?

У нас много чего на винде. Мы это переводим но не быстро

Привет.

Привет.

Пожалуйте.

Мерси

https://twitter.com/kozy_kekyo/status/970749725392625664

Привет. :)

let f() = do something; let a = f; a();

let f() = do something; let a = f; a();

что?

разбираюсь с азами фп. не совсем очевидно, что a это лишь привязка к f(после C#)

по сути алиас

по сути алиас

биндинг

разбираюсь с азами фп. не совсем очевидно, что a это лишь привязка к f(после C#)

разницы мало

void f () { ... }; Action a = f; a();

в фп любая функция имеет сигнатуру y = f(x) в отличии от c#?

в фп любая функция имеет сигнатуру y = f(x) в отличии от c#?

В смысле? У разных функций сигнатуры разные, в сишарпе также

в фп любая функция имеет сигнатуру y = f(x) в отличии от c#?

Если ты имел ввиду, что все функции принимают только один параметр, то да. Но из-за сахара до определенного момента в F# этот факт можно игнорировать.

в таком разрезе в c# тоже все функции принимают только один параметр. только нигде на этом внимание не заостряется

Кто-нибудь уже перекатился на VS15.6? Поломали что-нибудь?

Да, поломали. Не знаю как F#, на C# билд на проекты на некоторые рассыпался

в таком разрезе в c# тоже все функции принимают только один параметр. только нигде на этом внимание не заостряется

По моему это уже натягивание совы на глобус, которое никоим образом не способствует пониманию C#. Особенно в случаях типа такого: let p = true, "my message" // Не скомпилируется, т.к. нет перегрузки для одного параметра. System.Diagnostics.Debug.WriteIf p

> let p = 1M, 2M;; val p : decimal * decimal = (1M, 2M) > System.Decimal.Add p;; val it : decimal = 3M

Столкнулся сегодня микс из асинхронщины на TPL и Rx начинает себя плохо вести когда начинаешь использовать virtualscheduler'ы ?

> let p = 1M, 2M;; val p : decimal * decimal = (1M, 2M) > System.Decimal.Add p;; val it : decimal = 3M

Это лишь пример того, что F# умеет разруливать некоторые очевидные случаи.

Это лишь пример того, что F# умеет разруливать некоторые очевидные случаи.

то что f# не умеет разруливать какието специфичные случаи никак не отменяет того что все функции в c# имеют один аргумент. что там f# умеет или нет применительно к другим языкам вообще никакого отношения не имеет

Какой смысл в подобной трактовке? Проблемы порождает, выгоды не несет.

> let p = 1M, 2M;; val p : decimal * decimal = (1M, 2M) > System.Decimal.Add p;; val it : decimal = 3M

Перед вызовом Add происходит распаковка p.

Перед вызовом Add происходит распаковка p.

не факт

Какой смысл в подобной трактовке? Проблемы порождает, выгоды не несет.

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

не факт

https://sharplab.io/#v2:DYLgZgzgNALiCWwoBMQGoA+wCmMAEADngLx4CMAslHgEwUDc9AsAFADKAnhDNgLYB0AEWwBjeLwCGwfgEFkyQoyA

жуть то какая. но это собственно просто особенности реализации данного поведения в компиляторе f#. фп не обязывает собирать и разбирать туплы и оптимизирующий компилятор в примципе мог бы и разобраться что к чему

скомпилил в студии в релизе

let f () = let p = 1M, 2M let y = System.Decimal.Add p printfn "%A" y

открыл в ilspy

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

Мне кажется, что как раз утверждение "в C# все функции с одним параметром" является более настораживающим, ибо оно разрушает старые стереотипы и не дает за это никаких преимуществ. В моей практике оказалось гораздо проще дать человеку кодить так, будто карированные функции, это разновидность записи функций с бонусом в виде неполной записи вместо лямбд. А потом, когда уже понадобится что-то там понакрутить, заняться объяснением различий. Хотя не отрицаю, что твой подход может работать. я не пробовал.

public static void f() { decimal d = 1m; decimal d2 = 2m; decimal y = decimal.Add(d, d2); PrintfFormat<FSharpFunc<decimal, Unit>, TextWriter, Unit, Unit> format = new PrintfFormat<FSharpFunc<decimal, Unit>, TextWriter, Unit, Unit, decimal>("%A"); PrintfModule.PrintFormatLineToTextWriter<FSharpFunc<decimal, Unit>>(Console.Out, format).Invoke(y); }

так что не факт

https://sharplab.io/#v2:DYLgZgzgNALiCWwoBMQGoA+wCmMAEADngLx4CMAslHgEwUDc9AsAFADKAnhDNgLYB0AEWwBjeLwCGwfgEFkyQoyA

кстати правильно приготовленый sharplab если туда функцию поставить тоже в тупл ничего не собирает

https://twitter.com/sforkmann/status/971472532502130696

Привет!

Всем привет!

https://hal.inria.fr/hal-01724997/document "We present a resource-management model for ML-style programming languages, designed to be compatible with the OCaml philosophy and runtime model. [...] It builds on the ownership-and-borrowing models of systems programming languages (Cyclone, C++11, Rust) ..."

Про это совсем не понял. Какое то жалкое подобие раста

Учитывая, что окамл однопоточный пока, вообще эти навороты не дадут ничего

Тулинг в 15.6 очень подрос. Просто небо и земля. Спасибо всем.

Привет.

Тулинг в 15.6 очень подрос. Просто небо и земля. Спасибо всем.

Объясните плз чем он так вырос?)

https://sharplab.io/#v2:DYLgZgzgNALiCWwoBMQGoA+wCmMAEADngLx4CMAslHgEwUDc9AsAFADKAnhDNgLYB0AEWwBjeLwCGwfgEFkyQoyA

Знаешь, почему у тебя не оптимизировалось? Потому, что ты сделал p глобальной переменной модуля — поэтому компилятор был вынужден там материализовать туплю. Если тот же код написать внутри функции, то даже в дебаге всё оптимизируется! \o/

let f () = let p = 1M, 2M let y = System.Decimal.Add p printfn "%A" y

А вот ты правильно эксперимент поставил, поэтому оптимизировалось.

Знаешь, почему у тебя не оптимизировалось? Потому, что ты сделал p глобальной переменной модуля — поэтому компилятор был вынужден там материализовать туплю. Если тот же код написать внутри функции, то даже в дебаге всё оптимизируется! \o/

Я понял, спасибо.

К тому времени, правда, я потерял нить дискуссии, поэтому не понимаю, что это подтверждает или опровергает. ?

Это показывает, что наш компилятор не так плох, как можно было бы подумать!

Это показывает, что наш компилятор не так плох, как можно было бы подумать!

Да, не так плох. ?

Но мог бы быть и получше! Надо учиться работать с кодом компиляторя.

Когда у меня будет машина помощнее, буду учиться.

Привет. Завтра первые бирапцы подтягиваются в ресторна Брюссель не далеко от Тверской к 5 вечера, если что подходите + если кто вдруг внезапно узнал про F# бирап то ссылка во временный чатик бирапцев вот: https://t.me/joinchat/BIRduxGyVa3aecUfvE2nBQ

Ну, и милых дам поздравляем с праздником. :)

@AnutaU @Schvepsss @pauline_nemchak @meilalina @flerka @juliavav @VVatashi

Я точно кого-то мог забыть, не серчайте.

Спасибо!)

У работы на мс есть свои приемущества)

кому нужен домашний телефон Дона Сайма?)