перехода к строчным значениям?
import Data.Dynamic
Чтобы достать свои данные из Map все равно нужны будут строки.
а как вы хотите доставать без строк?
Вот как раз что-нибудь уровня typerep-map.
почему не typerep-map сразу?
Думаю, ее и буду использовать. Просто интересно, может ли typerep-map решить проблему именно расширяемого стейта.
Обсуждают сегодня