Т..е. теперь все примтивные операции интерпреттатора определены как примопы. Теперь, раз у нас есть исчерпывающий список мы можно будет заняться рассмотрением вопроса можно ли избавится от части или, возможно, чего-то не хватает.
Так, например, у нас нет конструктора туплей.
Другие изменения:
Теперь все scombs мономорфны и потому поле forall выброшено
Т..е. теперь все примтивные операции интерпреттатора определены как примопы. Теперь, раз у нас есть исчерпывающий список мы можно будет заняться рассмотрением вопроса можно ли избавится от части или, возможно, чего-то не хватает. Так, например, у нас нет конструктора туплей.
Другие изменения: