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