Templates are an *implementation* mechanism; they're not an API building
tool. If you want stronger type checking, use the existing API
construction features of the language -- such as exposing a method that
takes a list of arguments of specific types, or takes a record; if the
template contai
- Original Message -
> From: "Brian Goetz"
> To: "Remi Forax" , "amber-spec-experts"
>
> Sent: Lundi 18 Octobre 2021 18:47:00
> Subject: Re: Templated String and template policies, why the current design
> is bad
> This seems a very strange argument to me.
>
> Templates are by their n
This seems a very strange argument to me.
Templates are by their nature dynamic -- a template has an unknown
number of holes, and the holes are filled with arbitrary expressions.
People like templates because they're easy to use, and they're easy to
use because they're flexible. Consider St