From e6931993d7193b60881d0303110974b6af6af852 Mon Sep 17 00:00:00 2001 From: Darren Bane Date: Fri, 21 Aug 2020 19:40:30 +0100 Subject: Some more ISLisp->CL examples --- cdbc.lisp | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 cdbc.lisp (limited to 'cdbc.lisp') diff --git a/cdbc.lisp b/cdbc.lisp new file mode 100644 index 0000000..9d790ab --- /dev/null +++ b/cdbc.lisp @@ -0,0 +1,10 @@ +;; Ported from https://rosettacode.org/wiki/Assertions_in_design_by_contract#Eiffel +;; Arguably not *quite* design-by-contract, but very close in vanilla CL +(defun average-of-absolutes (values) + (declare (list values)) + (assert (> (length values) 0)) + (let ((res (/ (reduce #'+ (mapcar #'abs values)) (length values)))) + (assert (>= res 0)) + (the fixnum res))) +;; (average-of-absolutes '(1 3)) +;; (average-of-absolutes '()) -- cgit 1.4.1-2-gfad0