I wrote this a billion million years ago:
https://hg.sr.ht/~bjoli/misc/browse/contract.scm?rev=tip
Very basic. Contracts are just syntax and not first-class objects.
--
Linus Björnstam
On Sat, 17 Jul 2021, at 18:01, Olivier Dion via General Guile related
discussions wrote:
> Hi all,
>
> I
Hi all,
I'm a big fan of contract programming and was wondering if there's any
SRFI or library that offers this in Guile?
Here's an example of what I mean by contract:
;; Given
(define (sum x y z)
"Return the sum