tiphareth: Поеттеринг свалил из редхата в микрософт

(Читать комментарии) - (Добавить комментарий)

sometimes
2022-07-09 11:18 (ссылка)

типа тово. на самом деле понятно, turing completeness довольно легко заводится везде, если специально не следить, как тараканы (взять ту же "игру жизнь"). и они с этого конца пытаются эту дикость одомашнить.

под капотом у концептов как раз все пучком, это чисто компиляторная штука; перед этим были, да, type traits, как продолжение великой идеи, чтобы сообщения об ошибках занимали non-human-parsable мегабайты и полчаса времени на компиляцию, если тянуть буст.

концепты все это сворачивают, компилируем быстро, сообщения об ошибках внятные.

плюс они ещё ввели модули, теперь будет (в теории) компилироваться не так быстро, как pascal (у него специально очень простая грамматика), но сравнимо - когда они наконец хотя бы стандартную библиотеку, и потом boost, на них переведут.

плюс cling (интерпретатор C++) уже довольно пристойный.

но все равно язык чудовищно громоздкий, конечно.

с другой стороны, Java делают постепенно чудовищно громоздкой б.м. for free, без особых benefits.

(Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2022-07-09 12:07 (ссылка)
	Ну да, концепты это уже следующий этап. В общем, им потребовалось почти 40 лет чтобы сделать немного вменяемый язык, лол (Ответить) (Уровень выше)

	(Анонимно) 2022-07-09 14:41 (ссылка)
	>без особых benefits лол блядь (Ответить) (Уровень выше) (Ветвь дискуссии)

	sometimes 2022-07-10 08:20 (ссылка)
	ну а как это сказать по-русски? "без особых выгод" звучит немного не про то. "ничего особо не приобретая" разве что но нахрена, если есть слово benefit (Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2022-07-10 14:02 (ссылка)
	это ты ничего не приобретаешь, но тебе никто ничего и не должен (Ответить) (Уровень выше) (Ветвь дискуссии)

sometimes
2022-07-10 16:36 (ссылка)

эм. есть два производителя гаечных ключей. один производитель усложняет гаечные ключи, но в результате они легче откручивают гайки, показывают индикатором, насколько туго закручено, ходят в интернет и показывают тебе ролик про WD40, если считают нужным; а другой просто делает их все более хитровыебанной формы, не увеличивая особо функционала. так understand?

(Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2022-07-11 04:48 (ссылка)
	>эм. есть два стула ... всё, как всегда. ничего нового. (Ответить) (Уровень выше) (Ветвь дискуссии)

	sometimes 2022-07-11 20:21 (ссылка)
	вам надо со "сделай сам"-анонимусом побеседовать (Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2022-07-12 14:41 (ссылка)
	я воздержусь, тебе нужнее (Ответить) (Уровень выше)

(Анонимно)
2022-07-23 10:50 (ссылка)

ггг вонющи с хабра рассуждают за типы, спешите видеть ЛОЛ

вони, вы даже не представляете ггг. есть такая хуета - алгебраик тайпз, и юниверсал паттерн-матчинг (особенно по сумм-тайпам), плюс модули + тайп классы (которые есть иерархия абстрактных типов, как завещала Барбара Лискофф). умные люди все давно решили. на typeclasses и haskell 98 и ocmal modules, ok, был пик и конец золотого века, с началом неминуемого скатывания в сраное говно.

единственная рельная инновация за последние 20 лет - эт в трансо-фурри русте, где ограничение на at most one mutable reference захуячено в static type system. сие есть неебательски важно, ибо оно сохраняет referential transparency, а из этого ваще все следует.

но вы подолжайте, вы реально доставляете.

(Ответить) (Уровень выше)

(Читать комментарии) -