Здравствуйте, Alexander Poluektov, Вы писали:
AP>Boring, boring, boring.
Факт! Факт! Факт!
AP>Очевидно же, что "ML'ный язык" не спроста запрещает неограниченную перегрузку. В отличие от закорючек в приведенной ниже записи Nemerle.
По тому что они просто не осилили вывод типов.
Вот так просто и банально.
И это тоже факт.
AP>Нет, не буду. Импортирую SuperPuperModule as S, и все дела.
Придумываешь алиасы. Однобуквенные.
AP>Дай-ка подумаю... снова в Nemerle?
Ты забыл про SuperPuperModule as S
Я тут просто указываю на неточности и подтасовки.
... << RSDN@Home 1.2.0 alpha 4 rev. 1472>>
Пусть это будет просто:
просто, как только можно,
но не проще.
(C) А. Эйнштейн
Если вы не меряетесь у кого короче, а говорите о понятности и читаемости, то только полный ML головгого мозга, на мой взгляд, может быть объяснением тому факту, что первая запись кажется понятнее.
Лично для меня более важна естественная последовательность описания вычислений. Во втором случае я ее вижу. В первом — нет.
В прочем, флэйм ML-ная нотация vs. сишная меня не заводит. Так что фиг бы с ним.
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Здравствуйте, WolfHound, Вы писали:
WH>Я тут просто указываю на неточности и подтасовки.
Ты тем самым создаешь негативное отношение к немерлу. Зачем его противопоставлять хаскелю? В конце концов и Немерл, и Хаскель поддерживают ФП в сто раз лучше С++. Лучше было бы сказать что-то вроде "или вот так, на немерле..." или просто промолчать. Ну, привели пример на том что знают и фиг бы с ними.
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.