search

LPCIC / elpi

Embeddable Lambda Prolog Interpreter
GNU Lesser General Public License v2.1
290 stars 36 forks source link

[builtins] std.list.init and std.list.make #278

Closed FissoreD closed 1 month ago

gares commented 1 month ago

Most of the list related APIs are in std., possibly by mistake. I think std.list.init and std.list.make are more appropriate names for these two.

FissoreD commented 1 month ago

I think the same. I prefer std.list.null rather then std.null The same for map, map2, ...

FissoreD commented 1 month ago

Should we put the whole thing in a namespace like sets and maps ?

gares commented 1 month ago

that would break a lot of code, so at least we should keep (deprecated?) aliases. Maybe not in this pr