> -- Илья Ермаков писал(а):
> Не добавите Вы всерьёз такую "алгебру типов".Помнится, кто-то пробовал на Хаскелле определять такие правила для более-менее содержательной физической предметки, не получилось.

Почему, у вас єсть доказательство?
То что кому то не удалось ещё не повод говорить о том что это невозможно. Это говорит о трудности, но никак не о возможности.
Сам этим вопросом не занимался. Но вопрос считаю интересным.