Кафешка прикольная?

Иначе не придёшь?)

А, ты же не собирался.

Да я чет упустил момент

Но вообще да я не собирался

И не собирался быть в мск в это время

Так получилось;)

Прямая трансляция с бирапа: тут только я пока)

Я с тобой, ментально - поднимаю бокал светлого ?? (будешь в СПб - заходи)

Я с тобой, ментально - поднимаю бокал светлого ?? (будешь в СПб - заходи)

Ок

> F# file lengths of 640K should be enough for anyone!

Это забавно. https://github.com/Microsoft/visualfsharp/pull/4476

https://youtu.be/p7P5sX17010

Уиии, кложа.

https://twitter.com/pottereric/status/971841733368492032?s=09

https://twitter.com/pottereric/status/971841733368492032?s=09

Всё один сидишь?

Всё один сидишь?

Не, нас тут 8) Я в чат бирапа кидаю все о чем говорим

Ок, передавай привет.

И тебе привет)

Ок, передавай привет.

Ахахах

Зашёл вышел

Типичный гсомикс!

Нас осталось 4

Кто все эти люди?

Василия знаешь?)

Да, Василий сматчился.

Кто все эти люди?

я думала, ты тоже там

я думала, ты тоже там

Мне далековато. Как-нибудь в другой раз.

Мне далековато. Как-нибудь в другой раз.

а, забыла, что ты не из города по умолчанию

Даже не из второго. :)

Я всегда матчусь

Я всегда матчусь

Смени имя на "_" ?

Смени имя на "_" ?

Отличная шутка)

Смени имя на "_" ?

Ты мне тоже нравишься:)

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

This control construct may only be used if the computation expression builder defines a 'Bind' method

на функцию можно повесить generic constraint?

У меня выходит какая-то херня: let rec resourceFromDto (dto: ResourceDto<_,'b> when 'b:> IComparable) = дает ворнинг This construct causes code to be less generic than indicated by the type annotations. The type variable 'b has been constrained to be type 'IComparable'. и я не могу туда загнать неявно, например, гуид

а если поменять констрейнт на `when 'b: struct', то компилятор инт подставляет. Короче, не получается дженерик сделать, как в сишарпе

У меня выходит какая-то херня: let rec resourceFromDto (dto: ResourceDto<_,'b> when 'b:> IComparable) = дает ворнинг This construct causes code to be less generic than indicated by the type annotations. The type variable 'b has been constrained to be type 'IComparable'. и я не могу туда загнать неявно, например, гуид

Есть comparison.

Есть comparison.

не работает. Тоже подставляет IComparable

может, тут как-то влияет то, что ResourceDto<_,_> это обычный poco object, а не рекорд или DU

This control construct may only be used if the computation expression builder defines a 'Bind' method

Это я решил если что, надо теперь добавлять open FSharp.Control.Tasks.ContextInsensitive

@Atsapura Довольно странно.

согласен, уже несколько часов с этой херней маюсь.

Я пока даже не могу повторить.

могу описания типов скинуть

Ага. Ну, если они ни от чего не зависят.

да, я вырежу все лишнее

Ага. Ну, если они ни от чего не зависят.

https://gist.github.com/kagetoki/e60a78c584a227c168f01f209a13cd21

https://gist.github.com/kagetoki/e60a78c584a227c168f01f209a13cd21

Не соображу, что не работает.

воспроизвелось?

воспроизвелось?

Какой код дописать, чтобы свалилось? :)

попробуй вызвать функцию с гуидом, интом или еще чем вместо 'b

но вообще должно вроде ворнинг уже кидать, что дженерик липовый и там чистый IComparable

Я пустой ResourceDto передал в resourceFromDto.

let tmp = resourceFromDto <| ResourceDto<Guid, Guid>() let tmp2 = resourceFromDto <| ResourceDto<int, int>()

Всё работает.

ватафак

val tmp : Resource<Guid,Guid> = {id = 00000000-0000-0000-0000-000000000000; name = ""; parent = None; ownerId = 00000000-0000-0000-0000-000000000000;} val tmp2 : Resource<int,int> = {id = 0; name = ""; parent = None; ownerId = 0;}

так, ща

val tmp : Resource<Guid,Guid> = {id = 00000000-0000-0000-0000-000000000000; name = ""; parent = None; ownerId = 00000000-0000-0000-0000-000000000000;} val tmp2 : Resource<int,int> = {id = 0; name = ""; parent = None; ownerId = 0;}

ок, надо добавить еще пару классов. Но твой пример помог хоть че-то нащупать)

val tmp : Resource<Guid,Guid> = {id = 00000000-0000-0000-0000-000000000000; name = ""; parent = None; ownerId = 00000000-0000-0000-0000-000000000000;} val tmp2 : Resource<int,int> = {id = 0; name = ""; parent = None; ownerId = 0;}

https://gist.github.com/kagetoki/e60a78c584a227c168f01f209a13cd21

@Atsapura groupFromDto не хватает.

@Atsapura groupFromDto не хватает.

обновил

Ок, сейчас посмотрю.

Ок, сейчас посмотрю.

я разобрался. Надо было добавить явно в объявлении типа ResourceDto <'UserId> member val Blacklist = GroupDto<'UserId>() with get,set

сорян за беспокойство

Чудно!

Разошлись

8 часов с f#ером. Я так могу назвать книгу

Об F# говорили, или о баабах и выпивке? Какой стереотип оказался сильнее?

И о том и о том

Баобабы были в тренде конечно. Оказывается среди f# очень много любителей ботаники конкретно баобабоведения

?

?

Когда ты приедешь в дефолт Сити?

Сегодня хотел сходить, но меня украли Вообще времени нет

Сегодня хотел сходить, но меня украли Вообще времени нет

Все было нормально. Но тебя, конечно, не хватало.

Все было нормально. Но тебя, конечно, не хватало.

Ну блин что поделать

Когда ты приедешь в дефолт Сити?

Вряд ли раньше ноября.

Спб кстати интереснее как-то выглядел

Вряд ли раньше ноября.

Как будешь тут, пиши заранее, устроим встречу

Спб кстати интереснее как-то выглядел

Ни разу не был там

Ну мне показалось что Питер какой-то самобытный такой чуток, а Москва просто огромная деревня

В Питере только пить. Там атмосфера такая,культурная,но депрессивная

что может быть депрессивнее мск?

что может быть депрессивнее мск?

Субъективно

https://twitter.com/ReedCopsey/status/972272713464086528?s=19

Руководство по F#. В этом руководстве вы найдете общий обзор языка, советы по началу работы, учебники и справочники по теме, а также отдельный пункт о функциональном программировании. Изучить: https://aka.ms/fsharp_guide_0318 #fsharp

Руководство по F#. В этом руководстве вы найдете общий обзор языка, советы по началу работы, учебники и справочники по теме, а также отдельный пункт о функциональном программировании. Изучить: https://aka.ms/fsharp_guide_0318 #fsharp

Совершенно хтоническая локализация.

О, слушайте, так теперь можно исправить

Да, нужно.

https://github.com/dotnet/docs.ru-ru/blob/live/docs/fsharp/index.md бери да правь, надо же!

Ещё один перевод, который надо бы вычитать. :)

@Snowfall0 Как успехи с переводом?

Ещё один перевод, который надо бы вычитать. :)

Там же какой-то гуглтранслейт, за ним не вычитывать, а только сжечь и перевести :(

Блин, да. :(

Ребят, я в ближайшее время очень плохой помощник в переводах и редактировании, увы. Правда, есть надежда, что к лету у меня появятся время и силы на это, и я смогу снова причинять разнообразную пользу. А пока что-то совсем беда