Názor ke zprávičce Carbon: nový jazyk od Googlu má být nástupcem C++ od Calculon - Jo, typová inference je k nezaplacení, v jednodušších...

Jo, typová inference je k nezaplacení, v jednodušších typových systémech funguje navíc plně automaticky. Bohužel od určité hranice síly typového systému není možné ji plně automatizovat.