Объясните мне, как вы для себя разобрались в моделях типизаций — они же все размыты

Есть такая тема, как row polymorphism, и это очень клёвая тема. Не знаю, есть ли она в F# (я не знаю F#), но в этом несчастном хаскеле её очень не хватает.

Расскажите, пожалуйста, почему raw polymorphism не хватает? Часто встричаю утверждение что его не хватает в Haskell, но почему не объясняется. Разница между ad-hoc и raw в моём текущем представление только в том что в первом нужно генерировать больше бинароного кода, во втором нужно делать виртуальные таблицы методов, и как следствие делать некую рефлексию, при этом не понятно какие возможности по верх добавит второй?

Все люди не умеют писать код

Вы путате причины появления языка и фишки языка. Корутины были придуманы очень-очень задолго до создания go, и прекрасно реализцются на assm, С и С++ и производительности выжимают больше. Но сделать это ненаделав кучу ошибок гораздо тяжелее. Целью создания go, изначально, была имено простота использования, о чём Роб Пайк и рассказывал: web.stanford.edu/class/ee380/Abstracts/100428-pike-stanford.pdf