comp.lang.ada
 help / color / mirror / Atom feed
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: My new post on dev.to about SPARK
Date: Thu, 9 Jul 2020 18:35:39 +0200	[thread overview]
Message-ID: <re7h0s$rmf$1@dont-email.me> (raw)
In-Reply-To: <8e5d14a5-0311-4005-9655-951e8a274929o@googlegroups.com>

On 7/9/20 4:16 PM, mockturtle wrote:
> 
> Recently I wrote a small binary search procedure for a software of mine.
This is good, but why did you write it from scratch? Why not start with an 
available, reusable binary search? Then you would have a proven, generally 
useful component. This is an interesting pedagogical example, but the actual 
algorithm is too specialized to be of general use.

-- 
Jeff Carter
"Well, a gala day is enough for me. I don't think
I can handle any more."
Duck Soup
93

  parent reply	other threads:[~2020-07-09 16:35 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-07-09 14:16 My new post on dev.to about SPARK mockturtle
2020-07-09 15:21 ` Fabien Chouteau
2020-07-09 15:27   ` Fabien Chouteau
2020-07-09 16:35 ` Jeffrey R. Carter [this message]
2020-07-09 20:00 ` Simon Wright
2020-07-10  4:17   ` J-P. Rosen
2020-07-10  6:04     ` Paul Rubin
2020-07-10  7:47       ` J-P. Rosen
2020-07-10  7:42 ` Stéphane Rivière
2020-07-10  9:16 ` Nasser M. Abbasi
2020-07-10  9:20   ` Nasser M. Abbasi
2020-07-23 10:17   ` mockturtle
2020-09-03 10:32 ` c+
2020-09-12  4:30 ` sumde121
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox