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-----
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.