мне показалось удобнее в Скале в плане использования и описания синтаксически.
Фри/Инжект подразумевает промежуточное дерево суммы АДТ, а ФТ не подразумевает. ФТ подразумевает просто полиморфный код. В использовании оно действительно удобней, но нетривиальный код усложняется из-за отсутсвия в скале нормальных полиморфных функции. А так во многих практических ситуациях они изоморфны
фри нужно если ты анализируешь промежуточное представление, т.е. пишешь чтото типа миникомпилятора
Обсуждают сегодня