Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Pause for storage relocation.

devel / comp.lang.scheme / Re: (define (Haiku? x) . . .

SubjectAuthor
* (define (Haiku? x) . . .Hen Hanna
+- Re: (define (Haiku? x) . . .Hen Hanna
`- Re: (define (Haiku? x) . . .Tristan Wibberley

1
(define (Haiku? x) . . .

<196285cf-feb3-425f-8415-ea4a68c1ff01n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=10043&group=comp.lang.scheme#10043

  copy link   Newsgroups: comp.lang.scheme
X-Received: by 2002:a05:620a:1713:b0:759:15da:1b5c with SMTP id az19-20020a05620a171300b0075915da1b5cmr4167766qkb.7.1684199244441;
Mon, 15 May 2023 18:07:24 -0700 (PDT)
X-Received: by 2002:ad4:4f33:0:b0:621:3617:caa3 with SMTP id
fc19-20020ad44f33000000b006213617caa3mr3917188qvb.9.1684199244186; Mon, 15
May 2023 18:07:24 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.scheme
Date: Mon, 15 May 2023 18:07:23 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=2601:648:8600:a8e0:c10f:71f1:6ff9:189c;
posting-account=YjTkGAoAAAA4_fbAISfvtIqrYbghMeBx
NNTP-Posting-Host: 2601:648:8600:a8e0:c10f:71f1:6ff9:189c
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <196285cf-feb3-425f-8415-ea4a68c1ff01n@googlegroups.com>
Subject: (define (Haiku? x) . . .
From: henha...@gmail.com (Hen Hanna)
Injection-Date: Tue, 16 May 2023 01:07:24 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1281
 by: Hen Hanna - Tue, 16 May 2023 01:07 UTC

(define (Haiku? x)
(and (= (length (car x)) 5)
(= (length (cadr x)) 7)
(= (length (caddr x)) 5)))

Haiku is defined:
[of length five in first and third;
seven in second].

Re: (define (Haiku? x) . . .

<ad82d8a6-c9b5-4e4d-a66d-35c36c8e26e0n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=10044&group=comp.lang.scheme#10044

  copy link   Newsgroups: comp.lang.scheme
X-Received: by 2002:a05:622a:1a8f:b0:3e3:8bbd:b367 with SMTP id s15-20020a05622a1a8f00b003e38bbdb367mr12330143qtc.7.1684200879890;
Mon, 15 May 2023 18:34:39 -0700 (PDT)
X-Received: by 2002:a05:620a:2892:b0:754:f607:7e2 with SMTP id
j18-20020a05620a289200b00754f60707e2mr9728959qkp.6.1684200879664; Mon, 15 May
2023 18:34:39 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!feeder1.feed.usenet.farm!feed.usenet.farm!peer03.ams4!peer.am4.highwinds-media.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.scheme
Date: Mon, 15 May 2023 18:34:39 -0700 (PDT)
In-Reply-To: <196285cf-feb3-425f-8415-ea4a68c1ff01n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2601:648:8600:a8e0:c10f:71f1:6ff9:189c;
posting-account=YjTkGAoAAAA4_fbAISfvtIqrYbghMeBx
NNTP-Posting-Host: 2601:648:8600:a8e0:c10f:71f1:6ff9:189c
References: <196285cf-feb3-425f-8415-ea4a68c1ff01n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <ad82d8a6-c9b5-4e4d-a66d-35c36c8e26e0n@googlegroups.com>
Subject: Re: (define (Haiku? x) . . .
From: henha...@gmail.com (Hen Hanna)
Injection-Date: Tue, 16 May 2023 01:34:39 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 1838
 by: Hen Hanna - Tue, 16 May 2023 01:34 UTC

On Monday, May 15, 2023 at 6:07:29 PM UTC-7, Hen Hanna wrote:
> (define (Haiku? x)
> (and (= (length (car x)) 5)
> (= (length (cadr x)) 7)
> (= (length (caddr x)) 5)))
>
>
> Haiku is defined:
> [of length five in first and third;
> seven in second].

slightly better , written as:

(define (Haiku? x)
(and
(= (length (car x)) 5)
(= (length (car (cdr x))) (1+ 6) )
(= (length (caddr x)) 5)))

Re: (define (Haiku? x) . . .

<us5b0d$3b4bb$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=10162&group=comp.lang.scheme#10162

  copy link   Newsgroups: comp.lang.scheme
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: tristan....@alumni.manchester.ac.uk (Tristan Wibberley)
Newsgroups: comp.lang.scheme
Subject: Re: (define (Haiku? x) . . .
Date: Mon, 4 Mar 2024 20:30:06 +0000
Organization: A noiseless patient Spider
Lines: 8
Message-ID: <us5b0d$3b4bb$1@dont-email.me>
References: <196285cf-feb3-425f-8415-ea4a68c1ff01n@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 4 Mar 2024 20:30:05 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="2289a48cd866578e2330596e04bc3375";
logging-data="3510635"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19aOXeTrTgU3yCD2IAs4TtVJZxsvPfnxntdclMCrjm7ow=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:n13M0pvP3QMTrJNh68CizlJxexs=
In-Reply-To: <196285cf-feb3-425f-8415-ea4a68c1ff01n@googlegroups.com>
Content-Language: en-US
 by: Tristan Wibberley - Mon, 4 Mar 2024 20:30 UTC

On 16/05/2023 02:07, Hen Hanna wrote:
>
5 > (define (Haiku? x)
7 > (and (= (length (car x)) 5)
so close > (= (length (cadr x)) 7)
too many lines > (= (length (caddr x)) 5)))

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor