Ayrat
FSharpOption<Type>.Some
🇺🇦 Дмитрий
так же
Ayrat
так же
class A<T> { }
class B<T>: A<T> { }
class C<T>: A<T> { }
class Foo {
int Bar<T>(A<T> a) =>
a switch {
B<T> b => 1,
C<T> c => 2
};
}
🇺🇦 Дмитрий
FSharpOption<...>.Tags.Some\None
🇺🇦 Дмитрий
там Tags какойто
Ayrat
Да бля
Дмитрий
Дмитрий
проверить на нулл и вытащить значение статическим методом
🇺🇦 Дмитрий
а я хотел паттерн матчинг (
Ayrat
FSharpOption<T>.GetTag(opt) switch
{
FSharpOption<T>.Tags.None => "None",
FSharpOption<T>.Tags.Some => "Some",
_ => "imposibru"
};
Ayrat
ну всё, я справился
Ayrat
йоба патерн матчинг на сишарпе
Romɑn
Мастера регулярок тут есть же
Viacheslav
Ilya
Anonymous
Ilya
Но вообще странно, что по типу нельзя сматчить.
Ilya
Фшарпный опшин как-то костыльно сделан? Я уже не помню.
Romɑn
Мастера регулярок тут есть же
как в регулярках поставить НЕ?
типа у меня есть текст с http:// и some//lol
хочу найти все // но без http:?
Vasily
^
Vasily
Точнее, там будет немного по-другому
Vasily
https://docs.microsoft.com/en-us/dotnet/standard/base-types/grouping-constructs-in-regular-expressions#zerowidth_positive_lookbehind_assertion
Vasily
Вот на это глянь
Ayrat
Sergey
Ilya
О, сишарп идёт по пути регулярок.
Ayrat
Viacheslav
как на C# матчить FsharpOption\Result
var a = some switch
{
{ Value: "aaa" } => true,
null => false
};
🇺🇦 Дмитрий
а можно как то так?
{ Value: x } => x,
null => default
🇺🇦 Дмитрий
Вас тоже закинуло в спам чат?
🇺🇦 Дмитрий
по крпте
Ayrat
Ayrat
ПЕРЕПИСАТЬ КОМПИЛЯТОР
Ayrat
(там версия 1.4 едва релизнулась)
🇺🇦 Дмитрий
на котлин небоись
Ayrat
https://github.com/jetbrains/kotlin
🇺🇦 Дмитрий
хех
Andrew
Я даже хотел на нее попасть, но меня проигнорили :(
🇺🇦 Дмитрий
мне ещё какой то чел написал, я просил что он хочет, он сказал мне
я старше вас, уважайте старших и удалил чат))
Andrew
Лол
Andrew
Боты начинают эволюционировать
Andrew
Раньше просто в чаты залетали и писали про теслу
🇺🇦 Дмитрий
иногда так разочаровывает грязь в инете
🇺🇦 Дмитрий
на DO боты сидят и чекают порты
🇺🇦 Дмитрий
оставил я монгу без пароля, думал та кто там мой адрес кроме меня найдет
🇺🇦 Дмитрий
Maksym
Еба)
🇺🇦 Дмитрий
когда я жаловался что редис теряет данные, была та же ситуация
🇺🇦 Дмитрий
я не мог поверить что я поднял новый сервер DU и меня уже кто то чистит
🇺🇦 Дмитрий
там весь наш чат
Ayrat
хз, меня никуда не закинуло
Viacheslav
вроде нет
Igor
и меня нет
🇺🇦 Дмитрий
я там многих видел
🇺🇦 Дмитрий
мне недавно пришла супер идея для языка
сделать язык на который можно писать плагины расширяя синтаксис
не хватает тебе каких то асинков, скачал Nuget у тебя уже есть асинки и синтаксис с ними
Andrew
оставил я монгу без пароля, думал та кто там мой адрес кроме меня найдет
Это была очень плохая идея
Andrew
В любой статье на DO пишут про сесурити почти сразу
Maksym
Ilya
Надо как минимум блокировать после n неудачных попыток логина, а лучше вообще список разрешённых ip.
Ilya
🇺🇦 Дмитрий
там рили можно расширять синтаксис?
Ilya
А хз, но макросы там мощные.
🇺🇦 Дмитрий
типо скачать что то и у меня рееорд есть { state with ....}
потом хоба ещё чет скачал и у тебя есть await ....
Vasily
Эххх, молодежь
Vasily
В фшарпе так можно тоже
Ayrat
не, синтаксис в скале не расширяется особо
Ayrat
в хаскеле расширяется