нужно только, когда мне нужно соответствующие им операции использовать "горизонтально" (не нашел лучшего прилагательного, но вроде понятно для тех кто в теме)?
То есть, если на высоком уровне программа описывается одной ADT, а интерпретатор преобразует программу во что-то более низкоуровневое с использованием другой ADT, то тут же нет необходимости комбинировать эти два ADT?
я ничё не понял. Вопрос, можно ли в ТФ пропустить через natural transformation?
Обсуждают сегодня