Builtins: Be like JavaScript or like Java?

Is it better to implement filter & co. functions as builtins or better to code them in the same language? What are the pros and cons? Is there a good balance? -- JaroslavTulach 10:36, 10 January 2025 (UTC)