лучшее комьюнити в мире

лучшее комьюнити в мире

это шутеечка, еще раз повторюсь

там просто не торопятся язык на неткор переводить

И комьюнити из одного человека.

мало памяти, мало итераций! всё лениво и быстро)

Ни одной монады. Уволен.

Ну чот говнина полным перебором

Надо элегантнее

https://gist.github.com/Szer/1a044dcf8c5ffe84b3976dc20344453b

Mine is way too simple lol https://gist.github.com/ArchitectCat/377135df48c58088ba7c3f01c7262bde

ахах, доставка стола (17к рублей) с Али будет стоить еще 12к рублей. Так что без разницы где его покупать там или тут в икеа. ну если только прям не заморочиться и отдельно все купить и собрать.

С Али давно не имеет смысла заказывать то, что продаётся здесь.

Mine is way too simple lol https://gist.github.com/ArchitectCat/377135df48c58088ba7c3f01c7262bde

Так эта, надо 3 числа!

Задачи второго дня AdventOfCode, имхо, менее интересные, чем вчера.

А можно через SRTP просто константу прочитать? 🤔 Типа: type SRTP = { gasga: int } static member a = 1 Чет не пойму как значение a получить. Мне кажется уже ранее обсуждали это, и пришли к выводу, что нельзя?

@omgszer вроде с тобой обсуждали подобное

А можно через SRTP просто константу прочитать? 🤔 Типа: type SRTP = { gasga: int } static member a = 1 Чет не пойму как значение a получить. Мне кажется уже ранее обсуждали это, и пришли к выводу, что нельзя?

Можно

А можно через SRTP просто константу прочитать? 🤔 Типа: type SRTP = { gasga: int } static member a = 1 Чет не пойму как значение a получить. Мне кажется уже ранее обсуждали это, и пришли к выводу, что нельзя?

Только это не константа, а статическое проперти

Но неважно, можно

Только это не константа, а статическое проперти

Угу, но чет не выходит

Угу, но чет не выходит

Да так же лол

(^a: (static member a: int))

(^a: (static member a: int))

Ну ты аргумент подай бля

(^a: (static member a: int) x)

Та же хуйня

Expected 0 expressions, got 1

А когда не даёшь аргумент?

А когда не даёшь аргумент?

Unexpected symbol ')' in lambda expression

Вроде ему обязательно аргумент нужен

Придется поискать в закромах

Ебинячий синтаксис

Воистину

Я думаю ты можешь написать static member get_Foo: unit -> ...

И подать юнит аргументом

Так могу)

Ну и збс

Но не очень хочу

Собсна, поэтому за вопросом и пришел

Ну чот я вспомнил что мы с тобой это уже обсуждали!

Вот и я о том же

И вроде разговор был такой же

Я был уверен что это работает, ты говорил не работает

Вот да, поэтому на всякий переспросил

В итоге костыль

Хотя с юнитом чот тож не особо получается 🤔

Type constraint mismatch when applying the default type 'obj' for a type inference variable. The type 'obj' does not support the operator 'a' Consider adding further type constraints(6,30)

https://try.fsharp.org/#?code=C4TwDgpgBAygSgFQApQLxQLACgpQN5QDmAhgM4kBcUAlgHbBQC+2upwxw1AxlALYS8ARhABOUYlAAUASjRQAjNmwAbCAwnoCJchqgAGJirU1ayutABmtKbPQWArtZlQAtAD4pAPWJVJbDtx8AsJiPlCO1AzuJsCyMtLYYCJ0wFZQAEQApACC6eJAA&html=DwCwLgtgNgfAsAKAAQqaApgQwCb2ag4CdMTJcMABwFp0BHAVwEsA3AXgCIBhAewDsw6AdQAqAT0roOSAMb9BAzoIAeYAPThoAbhkhMAJwDOJNgzAAzagA4OeQhqy5EhAEY9sYu6mBq3HvD6asEA&css=Q

А можно через SRTP просто константу прочитать? 🤔 Типа: type SRTP = { gasga: int } static member a = 1 Чет не пойму как значение a получить. Мне кажется уже ранее обсуждали это, и пришли к выводу, что нельзя?

let inline geta<'a when 'a : (static member a: int)> = (^a : (static member a: int) ())

let inline geta<'a when 'a : (static member a: int)> = (^a : (static member a: int) ())

О, благодарю

Теперь это вкурить надо

let inline geta<'a when 'a : (static member a: int)> = (^a : (static member a: int) ())

Хм.

Хм.

даже для тебя эльфийский?

даже для тебя эльфийский?

Обычный SRTP.

Есть две вещи, которые никто не может написать с первого раза, потому что забывают синтаксис: SRTP и свойства. 🙃

даже для тебя эльфийский?

Не, я думал о том что надо юнит подать, но это нелогично

Я почти правильно написал

Но не прописал констрейнт

А сам он не додумался вывести, глупец

Есть две вещи, которые никто не может написать с первого раза, потому что забывают синтаксис: SRTP и свойства. 🙃

Ты про какие свойства

Ты про какие свойства

Properties.

Всегда забываю, какой у них синтаксис.

Всегда забываю, какой у них синтаксис.

member x.Prop with get () = prop and set (v) = prop <- v

Вот так вроде

Спасибо!

member x.Prop with get () = prop and set (v) = prop <- v

member val

member val

Это auto-property вроде

Не, я думал о том что надо юнит подать, но это нелогично

а почему нелогично?

а почему нелогично?

ну потому что это проперти, а не метод. То что он там в IL является методом меня не должно особо волновать. с точки зрения фшарпа (который не только в IL компилится) там не должно быть юнит аргумента, потому что его там нет

по мне, то, что передается как параметр в сртп с этим не связано

я воспринимаю сртп как псевдометод с аргументами

типа: type Srtp() = member _.Resolve([<System.ParamArray>]args: obj array) = () let srtp = Srtp() 1. srtp.Resolve() 2. srtp.Resolve 5 3. srtp.Resolve(5, "a", obj()) ....

как-то так

исправил*

скобки можно опустить в случае с одним аргументом для резолва

как если бы было так: let inline geta x = (^a : (member get_a: unit -> int) x)

но тут инстасный мембер и ты должен подать инстанс

ну ладно, там синтаксис вырвиглазный

но юнит вторым аргементом не передается, только инстанс

а не так: let inline geta x = (^a : (member get_a: unit -> int) (x, ()))

а вот хеадеры https://github.com/dotnet/aspnetcore/blob/77fe36f069c89381caba274784902ff0f248fe57/src/Servers/Kestrel/shared/KnownHeaders.cs

нет, ну вы посмотрите в этот пиздец