смотрится даже вырвиглазнее SRTP

К тому же синтаксис - это мелочи, главное - какая семантика за этим скрывается и что с её помощью можно сделать

нуууу.... Я вот потому SRTP и не пользую, т.к. не смотря на семантику, все решения с этой фичей выглдят как ядерные костыли ради костылей

Я бы хотел так let srtp inline f a b c = (a.Length + b.GetBody()) > c т.е. какое-то ключевое слово (srtp в примере выше), которое говорит что все вызовы у аргументов в этой функции надо рассматривать в контексте статического разрешения т.е. компилятор здесь должено проссать что a имеет проперти Length, b имеет метод GetBody(), что они возвращают тип у которого перегружен (+) и что это всё является comparable и одного типа с c

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

Там по моему не должен сработать оператор композиции.

Код в блоке под: А поскольку функции прекрасно композируются, можно написать вообще вот так: верно написан? @atsapura

работает, я спецом проверил

спасибо, ща поправлю

Ну так, средней вырвиглазности. Просто пример такой. Другие примеры match типов смотрятся приятнее. Да и SRTP я бы не сказал, чтобы прям совсем ужасно выглядит.

К тому же синтаксис - это мелочи, главное - какая семантика за этим скрывается и что с её помощью можно сделать

Я бы хотел так let srtp inline f a b c = (a.Length + b.GetBody()) > c т.е. какое-то ключевое слово (srtp в примере выше), которое говорит что все вызовы у аргументов в этой функции надо рассматривать в контексте статического разрешения т.е. компилятор здесь должено проссать что a имеет проперти Length, b имеет метод GetBody(), что они возвращают тип у которого перегружен (+) и что это всё является comparable и одного типа с c

По-моему, ты объявил функцию, которая называется srtp и принимает четыре аргумента!

Это было моё желание, ясен хрен так нельзя сейчас

но! он сможет сделать что-то типа (^a: (member Length: int)) OR (^a: (static member Length: int))

это же вроде запрещено вне компилятора сейчас

Ммм, вентилятор @atsapura закрутился кажется

Я тебя сегодня на хабре видел

Да блин, начинать учить программированию с Go, серьёзно?

Да блин, начинать учить программированию с Go, серьёзно?

мне кажется, сойдёт за современный аналог Паскаля, не?

мне кажется, сойдёт за современный аналог Паскаля, не?

Нет. Го - это антипаскаль

Только такой Си для хипстеров

Я не знаю, никогда не смотрела его, поэтому не очень в курсе. Но это по-моему самая маленькая проблема подхода

А ссылочку дадите?

С таким стэком можно идти ну точно на Junior Fullstack