История изменений
Исправление
MOPKOBKA,
(текущая версия)
:
Плохо описал задачу. Нужно что бы выводился тип, по операциям в теле функции, то есть такое решение не подходит, тут вручную задается преобразование на верхнем уровне. Поэтому я и взял GADT.
Исходная версия
MOPKOBKA,
:
Плохо описал задачу. Нужно что бы выводился тип, по операциям в теле функции, то есть такое решение не подходит, тут вручную задается преобразование на верхнем уровне. Поэтому я и взял GADT кстати.