Чем Go лучше Caml?

А есть в природе computer scientists, которые риальне изучают и описывают большие софтверные проекты прежде чем генерировать язычки, которые supposedly сделают программную инженерию дешевле? Чо почитать?