Project

General

Profile

Улучшение #27

Улучшение #22: 2. Загрузка полного графа программы с учётом привязки типов и переменных к окружениям

2.3. Оценка типов (конструкции .T и .TEnv)

Added by a.efimov_multiclet almost 9 years ago. Updated over 8 years ago.

Status:
Закрыта
Priority:
Нормальный
Assignee:
Start date:
Due date:
% Done:

100%

Estimated time:
(Total: 0.00 h)

Description

Оценка типов (конструкции .T и .TEnv)


Subtasks

Улучшение #28: 2.3.1. .T рекурсивная оценка с созданием таблицы, похожей на таблицу атомов. Должно быть несложноЗакрытаm.bakhterev

Улучшение #29: 2.3.2. Занесение привязки типа к некоторому имени при помощи .TEnv. Закрытаm.bakhterev

History

#1 Updated by a.efimov_multiclet almost 9 years ago

  • Subject changed from Оценка типов (конструкции .T и .TEnv) to 2.3. Оценка типов (конструкции .T и .TEnv)

#2 Updated by a.efimov_multiclet almost 9 years ago

  • Tracker changed from Ошибка to Улучшение

#3 Updated by m.bakhterev over 8 years ago

  • Status changed from Новая to Решена

#4 Updated by m.bakhterev over 8 years ago

  • Status changed from Решена to Закрыта

Also available in: Atom PDF