ArneBab- self-reflection: Did I just spend two hours to make the code treat leaving out the first argument as passing #f?
- me: yes, and I loved it … 😅
Jungbaumbeauftragter_in_spe@ArneBab
Alles Spezialisten! 🙂
Alles Spezialisten! 🙂
@dendroniker ja ☺
Und das Ziel davon ist jetzt auch erreicht (und „nur“ zwei weitere Stunden später):
ArneBab (@[email protected])
define-typed now supports the -> ret style in addition to the structural style: (define-typed (foo a) (real? -> real?) a) ;; checks a and the returned value And leaving out the return check is now automatically treated as #f (no check). (define-typed (foo a) (real? -> real?) a) ;; only checks a - code: https://hg.sr.ht/~arnebab/guile-define-typed - article: https://www.draketo.de/software/guile-define-typed #guile #scheme #FreeSoftware #lisp #programming