История изменений
Исправление quasimoto, (текущая версия) :
Что такое constraint solver не знаешь и решил слить пример на три строчки на ATS?
Можешь написать аналог (невозможного) template <size_t n> std::list<std::string, n> read_lines_from_file(...) на ATS?
Исходная версия quasimoto, :
Что такое constraint solver не знаешь и решил слить пример на три строчки на ATS?
Не пишется он потому что constraint solver не развит и не может стереть типов, хотя работает по одному принципу.
Можешь написать template <size_t n> std::list<std::string, n> read_lines_from_file(...) на C++ или ATS?