RFC: Syntax for implicit parameter bindings

Dylan Thurston dpt@math.harvard.edu
Mon, 4 Feb 2002 16:58:05 -0500


--pvezYHf7grwyp3Bc
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

On Mon, Feb 04, 2002 at 01:33:54PM -0800, Ashley Yakeley wrote:
> At 2002-02-04 01:45, Koen Claessen wrote:
>=20
> > | addBase{?base=3D7} 5
> >
> >I like this! It is the least polluting syntax of all.
>=20
> Hmm... you have braces without following a keyword. I think in all other=
=20
> cases, braces follow a keyword (where, let, do, of).

Field updates use braces which do not follow a keyword, with very
similar syntax.  I don't know about all the implications, but I do like
the proposal.

--Dylan

--pvezYHf7grwyp3Bc
Content-Type: application/pgp-signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: For info see http://www.gnupg.org

iD8DBQE8XwPtVeybfhaa3tcRAg2wAJsHVrp+UGaA9Du0OVUBY38KyqRgagCfaOhv
FNuesUsLuQ1z4h27eL5v6Fw=
=buIj
-----END PGP SIGNATURE-----

--pvezYHf7grwyp3Bc--