Hah! That copyright statement is a lie, it seems.
The original code is for scheme48 and is almost 20 years old, but I cleaned it
up and published it in 2017. My intention back in 2017 was to create
first-class contracts and use the module system to allow for checked and
unchecked imports, but I
Linus Björnstam:
>
> I wrote this a billion million years ago:
> https://hg.sr.ht/~bjoli/misc/browse/contract.scm?rev=tip
>
You know you're getting old when people look back on 2017 as a
"billion million years ago". :-)
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