|
|
Пишет polytheme (![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} polytheme) в ![[info]](http://lj.rossia.org/img/community.gif){kind=small} programming |
offtop
хотел пожаловаться, что List.map non tail-recursive, а это оказалось в документации с рекомендацией пользоваться List.rev_append + List.reverse_map.
засим вопрос - операция l1@l2 выполняется за константу или за len(l1) ?
хотел пожаловаться, что List.map non tail-recursive, а это оказалось в документации с рекомендацией пользоваться List.rev_append + List.reverse_map.
засим вопрос - операция l1@l2 выполняется за константу или за len(l1) ?
Добавить комментарий:
