Зачем в голове? В документации. doc-in-code в асме вполне возможен. Да, будут ошибки вида 'тут был нужен int128, а отправили float256. Но, как ни странно, не так уж и часто при навыке их использования
Я не против языков с мощной статический системой типов. Но иногда за это приходится дорого платить - сложностью обучения, простотой избыточной сложности, неторопливым тулингом. При этом есть задачи, которые на качество и производительность разработки влияют гораздо больше.
Я вот считаю, что лучший язык - это java 1.4, там меньше всего шансов разработчику навертеть нечитаемого ужаса (ну, разве что через рефлексию). И это прекрасно.