Нет

Их хотя бы возможно формально верифицировать

потому что есть чем валидировать

Даже забив на то, что может быть ошибка в самом процессе верификации.
С фактической точки зрения, тебе все языки предоставляют примерно одинаковую гарантию — «будет выполнено примерно то, что написано в документации, плюс-минус баги компилятора».
Стандарт нужен не для того, чтобы ты мог быть в чём-то уверен — он никак на это не влияет. Стандарт нужен для того, чтобы можно было имплементировать много компиляторов.

Ок.

Это, кстати, плохой пример.

По-моему, никто не пишет в реальности на хаскелле без GHC-специфичных расширений.

Которые не стандартизированы.

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

да, рефлексия, вроде, не в стандарте

C/++ и Java да, у них есть стандарт, это даёт разные бонусы вроде «возможности писать много компиляторов, которые будут почти совместимы».

поэтому ни библиотека Control.Lens, ни aeson, ни туева хуча либ на голом хаскеле не заведутся

кто придумал rvalue reference?

зачем оно нужно?

я вроде понял, но не понял

Что бы не копировать то, что и так не будет использовано дальше по коду

ну короче стандарты это ненужная хуйня, я понял

И сюда принесу!
И ещё куда-нибудь!1

Господа, а как определить, передо мной IoT или не IoT
Понятно, что это сеть устройств
Но любая ли сеть - IoT
Вот эта херня, например, объединена в одну сеть через контрольную панель: https://habr.com/ru/post/515844/

Но почему-то мне кажется, что нихуя это не IoT
Кто что скажет?