а кто тут про сравнение говорил?

Да ладно, не суть. Тут пять тредов в чате и непонятно, кто кому и что отвечает :)

= — это сравнение. Доказательство можно найти в любом учебнике арифметики. := — это присваивание, которое придумали гораздо позже сравнения, поэтому его обозначали не как сравнение. Потому что это не сравнение. Потом кто-то придумал записывать присваивания знаком сравнения, это попало в си, расползлось по другим языкам, и теперь эти языки заполнены уродскими == и даже ===.

тяжелый случай

Это приводит к проблемам с обучением программированию, кстати

Занудствую: не сравнение, а проверка на равенство!

на тождество тогда уж

Да, так ещё лучше

ну в ф-шарп есть

можешь призмами делать
_P1 <|> _P2 что-то такое

не знаю, конечно, хороший ли пример, но есть такая библиотека vk_api
вот список методов. их ровно 500. и вот чтобы не генерировать эти 500 методов, обошлись довольно просто — в python есть методы setattr/getattr, которые позволяют в рантайме добавлять/читать атрибуты. этим и воспользовался автор библиотеки

т.е. можно написать vk.wall.getById(posts='...'), запустить и будет сделан запрос к API.

есть и минусы — позволяет написать имя метода с ошибкой, позволяет передать поля, которых в документации нет. однако чтобы устранить эти минусы придётся писать генератор для этой схемы.  и кода станет в разы больше. но, может, я плохой пример привёл

да почти везде есть - окамл, кок, раст, даже в пхп вроде

а в хаскеле нет

а призмы не то

ну понятно что на уровне языка было бы лучше

пример, который призмами был бы неудобен

f (X a _ b | Y b a) = a + b

ну это понятно

хотя можно призматик пм сделать через
https://github.com/Gabriel439/Haskell-Total-Library

А почему пропосал не довели до реализации? Вроде бы потому что имплементатора или автора пропосала достал комитет, и он ушел

monkey patching

setattr/getattr нарушают философию питона (неплохую, кстати)