Anonymous
Нуок, любопытно просто :)
Viacheslav
Hog
бля... 😡 телеграм говорит, что теперь только mutual contact может пригласить в группу.
Viacheslav
По идее если ты меня разбанил, то я могу просто перейти по @Fsharp_chat, но я не могу
Hog
не - я не могу разбанить :(
Viacheslav
Ладно, это знак Вселенной, она как бы намекает, что мне с F# не по пути
Hog
это знак того, что не стОит направо и налево постить цитаты из интернета - только и всего
Shub
@grishace а они свой цпп по мисре проверяют?
MISRA - это про автомобили. У них есть свое, не стандарт правда, но довольно строгий полиси, гугли jet propulsion lab coding guidelines
Shub
бля... 😡 телеграм говорит, что теперь только mutual contact может пригласить в группу.
там в permissions "add new members" выключен
Shub
а вообще по последним actions @abiogenesis успешно вошел в чат
Anonymous
MISRA - это про автомобили. У них есть свое, не стандарт правда, но довольно строгий полиси, гугли jet propulsion lab coding guidelines
хм, я чот думал, что мисра - про самолёты
Anonymous
вики пишеть, что для всего подряд
Anonymous
недавно смотрел видео с Молдаваном, грил про NRE и Боинг. не по мисре писале штоле?
Vladislav
Vladislav
короче не знаю как я не знал об этом операторе
Vladislav
в таком виде
Vladislav
My personal preference: "F# is not a good fit. It isn't perfect. It's not as elegant as C#."
Vladislav
https://hncynic.leod.org/index.html
x
Отличный срачегенератор
x
Vasiliy
My personal preference: "F# is not a good fit. It isn't perfect. It's not as elegant as C#."
F# is not a language. Its a language. And F# is quite different. :D :D
Anonymous
F# is not a language. Its a language. And F# is quite different. :D :D
А можно для таких, как я, перевести?
Vasiliy
А можно для таких, как я, перевести?
Да просто как читаешь это (читай с пафосом):
F# это не язык, Это ЯЗЫК! И он достаточно другой
Anonymous
Да просто как читаешь это (читай с пафосом):
F# это не язык, Это ЯЗЫК! И он достаточно другой
Ну вот ты написал ЯЗЫК, а в оригинале нет же
Anonymous
Чому и дивлюсь
Vasiliy
Ну художественный перевод.
Anonymous
Если было бы «it's the language» яб ещё мог понять
Vasiliy
Ну в целом там a стоит, а не the.
А фиг его знает, воспринимал its как it’s
Anonymous
Сложна-сложна
Anonymous
Ну в целом там a стоит, а не the.
А фиг его знает, воспринимал its как it’s
Да вроде иначе никак в этой фразе
Dr. Friedrich
Ну и срам
Vladislav
да
Vasily
Ишь ты, tdlib балуется
Ayrat
Vasily
Будь мужиком, используй голый mtproto
Ayrat
Страшно смотреть
Oleg
а что оператор ^ делает в данном случае?
Ayrat
И скорее всего ты хотел в конце toListAsync
Dr. Friedrich
Таки да, как доллар в хаскелле.
Oleg
принял, спасибо
Vladislav
Сделай ты уже AsyncSeq.mapTask и AsyncSeq.cast<'а> (фильтр и каст
фильтр и каст хз как записать
Vladislav
на дженериках
Vladislav
я пытался
Vasily
Srtp в помощь
Ayrat
Или боксируй
Vladislav
Хардкаст через (# #) после проверки?
let ofType<'a, 'b> (aseq: AsyncSeq<'a>): AsyncSeq<'b> =
aseq
|> AsyncSeq.filter ^ fun x ->
x.GetType() = typeof<'b> || x.GetType().IsSubclassOf(typeof<'b>)
|> AsyncSeq.map ^ fun x ->
retype x
такую бяку написал
Hog
Ооп отменили?
Vladislav
Зачем?
ну мне надо фильтр по иерархии сделать, хз как через дженерики написать без gettype
Vladislav
мне надо поле условно кастовать вниз по иерархии
Hog
Без умля не понимаю!
Vladislav
Vladislav
вот такое нельзя написать)
Dr. Friedrich
let ofType<'a, 'b> (aseq: AsyncSeq<'a>): AsyncSeq<'b> =
aseq
|> AsyncSeq.filter ^ fun x ->
x.GetType() = typeof<'b> || x.GetType().IsSubclassOf(typeof<'b>)
|> AsyncSeq.map ^ fun x ->
retype x
такую бяку написал
Читни про type.IsAssignableFrom(). Твои экзерсисы на IsSubclassOf, кажись, можно заменить.
Dr. Friedrich
етить!
Vladislav
я не смогу щас нагуглить, но в прошлый раз нашел такой ответ
Vladislav
Читни про type.IsAssignableFrom(). Твои экзерсисы на IsSubclassOf, кажись, можно заменить.
let ofType<'a, 'b> (aseq: AsyncSeq<'a>): AsyncSeq<'b> =
aseq
|> AsyncSeq.filter ^ fun x ->
typeof<'b>.IsAssignableFrom(x.GetType())
|> AsyncSeq.map ^ fun x ->
retype x
ага, спс
Vladislav
let inline retype (x: 'a) : 'b = (# "" x : 'b #)
это ретайп, если кто еще не видел эту магию
Dr. Friedrich
А, да, я как-то раз пытался на это написать констрейнт, и у меня не вышло.
Vladislav
надо патчить clr!
Vladislav
А, да, я как-то раз пытался на это написать констрейнт, и у меня не вышло.
чо у вас кстати внутри не будут смотреть самсунговский дебагер?
Vladislav
а то вы свой писали жеж тоже
Dr. Friedrich
Я не знаю.