а компилятор не сможет вывести тип как алиас в случае с традиционной декларацией

воо

а компилятор не сможет вывести тип как алиас в случае с традиционной декларацией

Сможет если ты возвращаешь результат, который возвращает алиас

похоже я еще не дошел до этих алиасов, пока нигде не использовал

Сможет если ты возвращаешь результат, который возвращает алиас

только если явно аннотация стоит вроде бы. иференс игнорирует алиасы насколько я понял

и воще теперь непонятно, буду ли я их когда нибудь использовать! Директор сказал или cpp или жава, даже котлин или скалу нельзя!

только если явно аннотация стоит вроде бы. иференс игнорирует алиасы насколько я понял

Ща пример еьану

и воще теперь непонятно, буду ли я их когда нибудь использовать! Директор сказал или cpp или жава, даже котлин или скалу нельзя!

это нормально.

а от жавы у меня кровь из глаз

только если явно аннотация стоит вроде бы. иференс игнорирует алиасы насколько я понял

https://sharplab.io/#v2:DYLgZgzgPgLgngBwKYAICqEkCcCSATFAXhQEsA7GAWACgbgkYUBjLJAQxiQ23wAoBKEOky4CxAIwoA9FICuZEowC0APmE88NOg1Jkw2JHm6iBRZqw5cRfftKkp5ilKvWiUvcvqys8/IA

Я на удачу код ебанул, под рукой компилятора нет. Но я почти уверен что вторая функция поинферит unit -> UserId

а не unit -> int

убери аннотацию во второй строке

щас проверю с компилятором.

убери аннотацию во второй строке

Ненене, инферится в третьей строке

Там никаких аннотаций

ща, секундочку

Во второй я явно говорю, без этого никуда, это понятно

вот где было написано (может даже в этом чате), что эти алиасы только видимая безопасность. Зачем их использовать?

мой поинт в том, что если где-то в графе разрешения типов не будет стоять явной аннотации - алиас не инферрится. только что проверил

вот где было написано (может даже в этом чате), что эти алиасы только видимая безопасность. Зачем их использовать?

Ну функции норм

вот где было написано (может даже в этом чате), что эти алиасы только видимая безопасность. Зачем их использовать?

читаемость

Там оно реально как сокращение сигнатуры используется

Вместо простыни стрелок одно слово

я их использую как заглушки для типов, которые я еще не детализировал. часто делаю что-то типа type EntityId = string

мой поинт в том, что если где-то в графе разрешения типов не будет стоять явной аннотации - алиас не инферрится. только что проверил

Минимум в одном месте, далее можно выводить

угу

Я вот сегодня написал одну сртп функцию, строчек 200 сэкономил

ах ты ж еретик

насчет алиасов - есть кейс когда просто никак не напишешь без алиса. Когда тип - тупл и является параметром DU и хочешь заматчить сразу весь тип

Complex type hacks Don't do it! F# has Statically Resolved Type Parameters (SRTP) which can be used to do polymorphism, monads, etc. Don't! KISS - simple is better than complex!

это написал не кто-то там, а сам пресвятой Влашин (да святится имя его)

https://gist.github.com/swlaschin/31d5a0a2c4478e82e3ed60d653c0206b

у нас тут давеча вышел очередной спор на тему “как ПРАВИЛЬНО писать на F#”. я говорю - ну вон там ваш Влашин соглашается со мной, вот глава и номер стиха из Писания.

мне ответили “в этом месте Писание туманно, поэтому из предосторожности мы эту часть игнорируем"

(и тут я почти уверовал )

А я написал сртп класс на той неделе

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

ах ты ж еретик

Да я просто повторяющийся код убрал

Вон Влад подтвердит

Подтверждаю

Подтверждаю

ещё б ты не :))))

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

Встала как родная на место

....где уже были сртп

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

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

Главное предупредить чтобы я разгуглить все успел

А то получится блицкриг в один день

Нахер мне код, который кроме меня никто не поймет?

и воще теперь непонятно, буду ли я их когда нибудь использовать! Директор сказал или cpp или жава, даже котлин или скалу нельзя!

Пиши на компиляторе cpp. Видел компилятор лямбда исчисления в темплейты, огонь же

Нахер мне код, который кроме меня никто не поймет?

поэтому я предпочитаю интерфейсы srtp

Пиши на компиляторе cpp. Видел компилятор лямбда исчисления в темплейты, огонь же

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

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

Комонады-то нафигу? У них только Store хоть как-то разумна, но она дико редко нужна.

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

Там главное, чтобы легаси на плюсах не было, а то там может ужасающий треш быть

Там главное, чтобы легаси на плюсах не было, а то там может ужасающий треш быть

не, это абсолютно с нуля будет

Комонады-то нафигу? У них только Store хоть как-то разумна, но она дико редко нужна.

Ну у меня куча кейсов типа "загрузи оттуда, если не загружено, протухни через некоторое время"

не, это абсолютно с нуля будет

Тогда да, на современных плюсах можно почти как на расте писать.

С либами и их подключением проблемы правда

И пакетного менеджера толкового нет

И системы сборки. И с ide проблемы бывают

Как хорошо, что я 15 лет назад оставил с++

А почему кофе среднего рода?

Потому что не всякое кофе достойно мужского

Ну у меня куча кейсов типа "загрузи оттуда, если не загружено, протухни через некоторое время"

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

Нахер мне код, который кроме меня никто не поймет?

джоб секурити!111

и воще теперь непонятно, буду ли я их когда нибудь использовать! Директор сказал или cpp или жава, даже котлин или скалу нельзя!

А кто тебе мешает директору ответить одной скромной бумажкой?

А кто тебе мешает директору ответить одной скромной бумажкой?

И? пойти джуном на любимой технологии?

джоб секурити!111

сру обскурити

И? пойти джуном на любимой технологии?

Зачем? Найти сначала контору с менее прынцыпиальным директором

да я фарш только начал изучать как пару месяцев, куда я пойду. Точнее кто меня возьмет

Зачем? Найти сначала контору с менее прынцыпиальным директором

это какой-то миф про синьёра, который при смене стека становится джуном

это какой-то миф про синьёра, который при смене стека становится джуном

Вот-вот

и воще теперь непонятно, буду ли я их когда нибудь использовать! Директор сказал или cpp или жава, даже котлин или скалу нельзя!

Ты его спроси, почему так. А то вдруг он, как я, страдает

может быть - но на на онбординге 100% отдачи никто не ждёт, а за это время - можно чо угодно выучить

может быть - но на на онбординге 100% отдачи никто не ждёт, а за это время - можно чо угодно выучить

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

да - 90 дней норм.

джоб секурити!111

Вот ща обидно было. Никогда к этому не стремился

да я фарш только начал изучать как пару месяцев, куда я пойду. Точнее кто меня возьмет

Мне джунов надо

Но в мск на джуновские бабки