продолжаю держать вас в курсе, этот код уже не проходит тайп-чекер, все замечательно. Вопрос в том что делать дальше собсна 1. завтипы. 2. рекорды. 3. тайпклассы. 4. модули. 5. тип-суммы
продолжаю держать вас в курсе, этот код уже не проходит тайп-чекер, все замечательно. Вопрос в том что делать дальше собсна 1. завтипы. 2. рекорды. 3. тайпклассы. 4. модули. 5. тип-суммы
Ну я вот ещё не придумал что делать с моделью памяти. Тупо растовую раии не хочется копировать, потому что большой геморой с лайфтаймами лишний, а других подходов не нашел/не придумал.
Ну я вот ещё не придумал что делать с моделью памяти. Тупо растовую раии не хочется копировать, потому что большой геморой с лайфтаймами лишний, а других подходов не нашел/не придумал.
линейные типы и завтипы не знают как делать даже в идрис чатике