Ничесибе не знал что там ffi с io есть, думал это декларативный язык аля html 🤔
Он был задолго до html и к сожалению к html не имеет никакого отношения. И он на 100% императивный регистровый (даже не процедурный) в худших трактовках. ffi через консольку, но он при этом он тьюринг-полный.
Хотите идеального кода - идите на идрис. Ничего реального написать не получится, зато будет идеал программы. Котлин значительно более красивый язык, чем го. Но это не отменяет того факта, что простые круды на Го шлепать проще.
зависимые типы не удают идеальной валидность логики