type checker for beggars

[filin]

В переписке вокруг одной программы посетила недомысль:

Расстановка по коду логгинга с прицелом на автоматизированную фильтрацию лога и последующий его анализ — это тайп-чекер архитектуры для нищих.

Для бедных — это написание юнит-тестов. Именно написание, а не сами юнит-тесты.

Теперь в задумчивости про «для богатых» и «для среднего класса». Пруфчекер — это, боюсь, уже для миллионеров... Хотя, если освоить, например, агду, и попытаться выразить архитектуру на ней...