Re: define-typed: checking values on proc entry and exit
"Dr. Arne Babenhauserheide" <[email protected]>
| Newsgroups | gmane.lisp.guile.user |
|---|---|
| Message-ID | <[email protected]> |
Zelphir Kaltstahl <[email protected]> writes: > On 10.05.24 15:47, Dr. Arne Babenhauserheide wrote: > You might also be interested in my repository for function contracts > using CK macros: > > https://codeberg.org/ZelphirKaltstahl/guile-examples/src/commit/0e231c289596cb4c445efb30168105914a8539a5/macros/contracts > > I hope I can check out your macro soon and hope to be able to understand it : ) These sound pretty powerful — thank you for sharing! I went for the simplest option that I thought could work, and CK-macros seem to be much bigger (from skimming the code). And the *-versions are ominous: optional and keyword arguments may be the next frontier. I’m not sure how to keep those simple. Best wishes, Arne
signature.asc
(application/pgp-signature, 1.1 KB)
-----BEGIN PGP SIGNATURE----- iQJEBAEBCAAuFiEE801qEjXQSQPNItXAE++NRSQDw+sFAmZCwLkQHGFybmVfYmFi QHdlYi5kZQAKCRAT741FJAPD62OED/9+9294T8usMaIj3VTzwq8XcqDjOTWzzvU/ QT1H76jLhstCiL+fNMH+lgTVSSiuO4Xxv2aWZyuTDxuEKmTivZree3LVwPsTdHmV 27GDL9ih6vGitgDXQ+XL40iEuF/Fqn/6om6JzKQWvYRzURFkQHBBnbrWPMcSrY9N 14KmpFwtom+NFCCjXtCIdIWX6nVmAhco1EISz1F8UxMeBoa1/Y7d5z13y3ArdweN qmur6QsG0SzvwDeGDgdtnbxZaZF2QVQA8Aq9xb+CvbhiyeKT3dIUj18Tu5mc23QR j20cMY8fZRkbc7p9BUi8YbM332y2jkct+jwZ+jxiKObQjIKENQNrxzyaF6YndZh8 a82JsShDtDGo9wWYONWIUfJqp+cWAEZstK7gyvCo94so3rPre87JzxUFMolYVeeI R2peDxr6h0yXnwaEZH/A8SDGe5dOsu204Kme/Dzhg3bxmNrDMyEoaE4sNEkH/qLD yeKoNVrNYr/l3fAlS2X3CSTg9BTfd+nUzMYan+NWZ5LQGQjmYrmcvFZuDcjNlIaL typpZ8AET3BkCmMnvSMdakqEYs1uzJCN6WGSX+5Kw1tXSlDkOBO32WLUYNInU+Oc V2I4puU0wnT3q2i32GJNGsf7jsWgx9/eVoUVhDiDeaeUkrsS+OyLwgLl2tQMu9X7 vufmZUCVsojEBAEBCAAuFiEE3Si95tmHXKvOSosd3M8NswvBBUgFAmZCwLkQHGFy bmVfYmFiQHdlYi5kZQAKCRDczw2zC8EFSIqBBACQIGiCADTmaXwlSXu2avI/bFbP euMMrEIRSIYuNmzJP2Pdj7+fKwNmGqmCmlEPPVnSNCGREQrCkMyqOaGm/fEw17n5 F/JKyZgxaauGMAA4e0vgqNKZxQQCKF1krGCIeysWcfsRXHP7H546NxiVUlQgHpGx 1tjYu3vhHreYOfk02Q== =aJWf -----END PGP SIGNATURE-----