В кложе вашей богомерзкой

Мне и так по работе приходится чередовать чтение с++ кода и java

@clojure_ru

Шутник

В кложе вашей богомерзкой

?… ?

Кажется, остальные видео с F# eXchange будут только в понедельник. :(

Коллеги, помогите понять, где я туплю

Кажется, остальные видео с F# eXchange будут только в понедельник. :(

На youtube их не зальют?

Нет.

Коллеги, помогите понять, где я туплю

Дома?)

Дома?)

Туплю я дома, да, но имелось в виду место в коде

Коллеги, помогите понять, где я туплю

Кажись, там чёт неявно параметризовалось неправильно. Я бы попробовал явно выписать типы в билдере.

Кажись, там чёт неявно параметризовалось неправильно. Я бы попробовал явно выписать типы в билдере.

Поясни

Поясни

Ну вот member this.Bind(m,f) — тут же можно всё аннотировать?

Возможно, ща глянем

Кажись, он у тебя думает, что ReadResult<int64> — монада или типа того

(я тоже под вечер туплю, если что не бейте)

Я бы для понимания сначала писал явно через функции bind и return.

Делаю по аналогии с https://fsharpforfunandprofit.com/posts/computation-expressions-wrapper-types/

Влашин редиска

Теперь понятно, почему у него работает

let getCustomerId name = if (name = "") then Error "getCustomerId failed" else Success "Cust42" let getLastOrderForCustomer custId = if (custId = "") then Error "getLastOrderForCustomer failed" else Success "Order123" let getLastProductForOrder orderId = if (orderId = "") then Error "getLastProductForOrder failed" else Success "Product456"

У него везде строка в резалте

В общем, пример бесполезен, походу

У него везде строка в резалте

member this.Bind(m,f)= match m with |ReadResult.Error e->printfn "read error" ReadResult.Error e |ReadResult.Ok r->f r

member this.Bind(m,f)= match m with |ReadResult.Error e->printfn "read error" ReadResult.Error e |ReadResult.Ok r->f r

Не помогает

Почему-то на тип Inner ругается теперь

Не помогает

https://sharplab.io/#v2:DYLgZgzgPgLgngBwKYAIBKSCGATDECuwMAPAOQwB8AvHoSeQDQQwBOAlgHYDmFAsAFDAkMFCyzYAzACZRVdONpEAdAHkA1imkChIsTgBsAFlEoaCpAWXqURgDICH/eMnk4kLAEL42wbO4AUAJRUAigAtkhhAEbuKDAAFmwQSh6c2P5hDGDBKKHhmDAAxvHhKADubAm5/CgoUBg4ijBKAKIsLAD2LChIALQUCOwcMGAcKABEetg97V3jebWLS8srrrgWdK2z3Uh59eaWzdYs/WCioRHRsQlJShgw+Cwc/gAewQ3rh6oaL44CzqgAJIcDjuKgAbwAwiBODBpABff6IVAAFQhAEEYcNpABuDxYmBGHHA0EsEAk9yI/jaYQoKLeXxgj7uLw+PwsIJ/ak1AQAbWILWGLDgAAUOrCKABdGkiMKYTgoTAsLgAN1M1SWOlEFio9LZ7nBC1WtR0AEJFVQpkYUAAGI3Gs10y3iaS2+2rR1sXUM9mGmrGgOLR2FZ04V12/2BgNiB5PWpQqiFKlRwPJqMxx5jcHo3V4qiYYkgsFsNPG0soQaw0YTACk6PG2ogRptQA==

Хммм

Где-то я накосячил, значит

@deexpp респект

Осталось понять, где косяк в коде:https://sharplab.io/#v2:DYLgZgzgPg9gDgUwHYAIDKBPCAXBBbAWACgB6ElAGQQEMAnVPGWhFagIxgFdsUAxAYlY8AFtmxwQZSMLpwAdEwDmxMugQtswlgHIBKACrcmAS2rBtKOLRgArBAGMeYJikbMUW4POLYMiFABKNAAmQRCcwNgAPNrUAHwAvGER0bEANDi0xkiKccTACDzM1MEAzABMKAmBIcmRcgDyANYoFfmFKMXBAGwALChVQSV12I0tfRTEPn4sAJJISAi0CQDeAMIg2dgVAL7T/vqrAIKbSNvlANwAQqfYfRfzi7Qgj0t7RPssQ8FLV5zGwB+tAAFABKBLEVz4NhLFCaYwQORXbLBGLxYF4EDfEZouJpMDglCQ1zUbD2YSuFAAd2MmiJRAGUGxCHC9QAorRrLQUAgALRxKxbMCoABEXR5nKYIuJA1lcvlCpqwxZKTkHK5POJTNqKvqzU6/LAnUheGhsPhiKC2E49GBAA9wfq7VMiAUeGx/oClkkQr9PUCwZDiABtKJss60DAABRgWziAF12jw8NRsqxaIoAG5Velyt2dFkJD0AoErGWKhVugCErASXT65YrecKNbYdZCbQZTcrLZQxiL/qWZa73dHA2rKHs7ZKnbHc+Y1voKHWCXs7zn3Z2A0bo4XNtQy6OReuCWoDwW3uM66bW/LgrOwpQIoApEcRQWIOWAAwoVR7pfUKgWwIIosIIHatKTjAPxAA

@deexpp , какую магию я там не понимаю?

Все, нашел косяк

В бинде не надо было параметры типа выставлять

В бинде не надо было параметры типа выставлять

можно и выставить. только все member this.Bind<'a,'b>(m:ReadResult<'a>,f : 'a -> ReadResult<'b>) : ReadResult<'b> =

а то вывод типов клинит

А, спасибо, буду знать

https://github.com/moodmosaic/doctest

А почему перегрузка методов - плохо? есть у меня например методы для запроса пользователя из базы: module User = let findById (Id: Id) = ... let findByLogin (Login: Login) = ... мне такой нейминг например не очень нравится - выходит User.findByLogin login, возможно было бы лучше назвать оба просто find - а какой из двух вызывается и так видно из параметра, но увы (?) так нельзя

А почему перегрузка методов - плохо? есть у меня например методы для запроса пользователя из базы: module User = let findById (Id: Id) = ... let findByLogin (Login: Login) = ... мне такой нейминг например не очень нравится - выходит User.findByLogin login, возможно было бы лучше назвать оба просто find - а какой из двух вызывается и так видно из параметра, но увы (?) так нельзя

Это чисто стиль кодинга, очевидно, более полное имя функции показывает намерение, потому как вашу переменную id или login могут обозвать как "x" (много вижу на F# подобного на github) и уже не понятно будет какая find перегрузка, если просто смотреть по тексту. Думаю перегружать не страшно в случае, когда имена переменных отражают немного смысл (если это возможно), но код короче, когда через иксы.

Те кто Id \ Login могут назвать как "x" с тем же успехом могут и метод назвать в том же духе :D

Те кто Id \ Login могут назвать как "x" с тем же успехом могут и метод назвать в том же духе :D

Ну не редкость увидеть f x y = y x

Такое именование встречаю в основном в каких либо прмерах

Такое именование встречаю в основном в каких либо прмерах

let mk_tuple g m es = mkRefTupled g m es (List.map (tyOfExpr g) es) https://github.com/fsharp/fsharp/blob/master/src/fsharp/QuotationTranslator.fs То есть тут будет тяжко выписывать имена переменных, чтобы показать какой метод перегрузки мог бы быть tyOfExpr g против ty g В конце материалов к докладу: «Please, use good variable names. Please, use good method names and seek good stack traces»

А почему перегрузка методов - плохо? есть у меня например методы для запроса пользователя из базы: module User = let findById (Id: Id) = ... let findByLogin (Login: Login) = ... мне такой нейминг например не очень нравится - выходит User.findByLogin login, возможно было бы лучше назвать оба просто find - а какой из двух вызывается и так видно из параметра, но увы (?) так нельзя

Я бы не сказал, что это плохо. Это хороший способ сделать выразительный API.

Нужно только помнить о том, как вывод типов в этом случае работает. И стандартными гайдлайнами из C# пользоваться.

let mk_tuple g m es = mkRefTupled g m es (List.map (tyOfExpr g) es) https://github.com/fsharp/fsharp/blob/master/src/fsharp/QuotationTranslator.fs То есть тут будет тяжко выписывать имена переменных, чтобы показать какой метод перегрузки мог бы быть tyOfExpr g против ty g В конце материалов к докладу: «Please, use good variable names. Please, use good method names and seek good stack traces»

Компилятор -- это плохой пример F# кода. :)

let mk_tuple g m es = mkRefTupled g m es (List.map (tyOfExpr g) es) https://github.com/fsharp/fsharp/blob/master/src/fsharp/QuotationTranslator.fs То есть тут будет тяжко выписывать имена переменных, чтобы показать какой метод перегрузки мог бы быть tyOfExpr g против ty g В конце материалов к докладу: «Please, use good variable names. Please, use good method names and seek good stack traces»

Это ты ещё далеко не самый страшный пример нашёл :)

Это ты ещё далеко не самый страшный пример нашёл :)

Взял первое попавшееся из открытого

Компилятор -- это плохой пример F# кода. :)

Легаси!

https://twitter.com/lefthandedgoat/status/982786312653627392

Легаси!

Ну, у Сайма особый бекграунд, поэтому и код компилятора по современным стандартам не очень хороший.

Ну, у Сайма особый бекграунд, поэтому и код компилятора по современным стандартам не очень хороший.

В плане нечитаемый?

Да. :)

Там сначала нужно доку почитать, а потом код.

Что касается имён переменных то вот мнение http://blog.ploeh.dk/2015/08/17/when-x-y-and-z-are-great-variable-names/

Правда, не все увиденное этим можно оправдать :)

https://twitter.com/lefthandedgoat/status/982786312653627392

Теперь с параллельными тестами!

https://twitter.com/nikofeyn/status/982729830767751169

Я вчера немного поработал с питоном, мне не понравилось. :(

https://i.gyazo.com/fff84df56ee18d2f1d1823004ee7fc8a.png Смотрю такой доклад про кложуру, а тут опа и Марка Seemann вспоминают

Я вчера немного поработал с питоном, мне не понравилось. :(

Не представляю как его сейчас используют. Я 2005 вспоминаю питон-калькулятор на nokia и какое-то приложения для запуска py-скриптов, не сказал бы что тогда было сложно. В последний раз сталкивался в разговоре со знакомыми года два назад, сейчас тот человек переехал на компилируемые языки (увы не F#, но тогда и я не обращал внимания на него).

Не представляю как его сейчас используют. Я 2005 вспоминаю питон-калькулятор на nokia и какое-то приложения для запуска py-скриптов, не сказал бы что тогда было сложно. В последний раз сталкивался в разговоре со знакомыми года два назад, сейчас тот человек переехал на компилируемые языки (увы не F#, но тогда и я не обращал внимания на него).

Питон победил в области научных расчетов, машинного обучения и скриптинга.

https://i.gyazo.com/fff84df56ee18d2f1d1823004ee7fc8a.png Смотрю такой доклад про кложуру, а тут опа и Марка Seemann вспоминают

Ага, а в докладах про F# иногда вспоминают Хикки. :)

Питон победил в области научных расчетов, машинного обучения и скриптинга.

В области н.р. fortran!

В области н.р. fortran!

С разморозкой.

У питона биндинг,вы шо

У питона биндинг,вы шо

И нам тоже надо написать.

И большая коллекция библиотек

С разморозкой.

Ему учили на первом курсе. А питон и F# преподают?

А так говно говном, конечно

Ему учили на первом курсе. А питон и F# преподают?

Питон преподают, F# почти нет.

Вот @shwars преподает F#. :)

А так говно говном, конечно

Вот и я тогда сказал знакомому

Вот @shwars преподает F#. :)

На всю РФ один человек или есть ещё? Или "порог вхождения" не даёт? Например, тем же прикладным математикам из ВШЭ зашел бы.

На всю РФ один человек или есть ещё? Или "порог вхождения" не даёт? Например, тем же прикладным математикам из ВШЭ зашел бы.

Я не знаю.

Мегафоновский цдн, кстати, на питоне написан

Я не преподаю F#, но заставляю студентов на нем писать

Я не преподаю F#, но заставляю студентов на нем писать

Вроде заставлять вредно, может отбить желание продолжать на нём, если распробуют что-то другое

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

На всю РФ один человек или есть ещё? Или "порог вхождения" не даёт? Например, тем же прикладным математикам из ВШЭ зашел бы.

Ещё из известных мне в СПбГУ, УлГТУ

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

Не представляю как его сейчас используют. Я 2005 вспоминаю питон-калькулятор на nokia и какое-то приложения для запуска py-скриптов, не сказал бы что тогда было сложно. В последний раз сталкивался в разговоре со знакомыми года два назад, сейчас тот человек переехал на компилируемые языки (увы не F#, но тогда и я не обращал внимания на него).

А почему в итоге обратил?(можно на ты, да?)

Ещё из известных мне в СПбГУ, УлГТУ

Учить - это надо быть талантливым в обучении, а не только в том чему учишь. Кстати, было бы не плохо "хантить" уже тех кто умеет учить.

Кто не умеет работать-тот учит, кто не умеет учить-тот руководит :)

Учить - это надо быть талантливым в обучении, а не только в том чему учишь. Кстати, было бы не плохо "хантить" уже тех кто умеет учить.

Автозамена незаметна

Кто не умеет работать-тот учит, кто не умеет учить-тот руководит :)

Ну не знаю

Есть такая поговорка

Есть такая поговорка

Плохая поговорка.

Плохая поговорка.

Ну в ней есть рациональное зерно

Нету.

Ну смотри. Могу привести несколько примеров , которые ее подтверждают

Если интересно