Re: Contract programming in Guile

2021-07-17 Thread Linus Björnstam
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

Contract programming in Guile

2021-07-17 Thread Olivier Dion via General Guile related discussions
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