From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id 0KSBNliHEGAMVwAA0tVLHw (envelope-from ) for ; Tue, 26 Jan 2021 21:19:20 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id GCtYMliHEGCtGwAAB5/wlQ (envelope-from ) for ; Tue, 26 Jan 2021 21:19:20 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 6FDF19404C4 for ; Tue, 26 Jan 2021 21:19:20 +0000 (UTC) Received: from localhost ([::1]:49546 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1l4Vk7-000116-A5 for larch@yhetil.org; Tue, 26 Jan 2021 16:19:19 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:55040) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1l4Vjs-00010o-Rw for guix-patches@gnu.org; Tue, 26 Jan 2021 16:19:05 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:59471) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1l4Vjq-0006SK-Lz for guix-patches@gnu.org; Tue, 26 Jan 2021 16:19:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1l4Vjq-0005Lv-H0 for guix-patches@gnu.org; Tue, 26 Jan 2021 16:19:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#45893] [PATCH 0/2] DRAFT: Hint for options. Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 26 Jan 2021 21:19:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 45893 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: zimoun Received: via spool by 45893-submit@debbugs.gnu.org id=B45893.161169593620563 (code B ref 45893); Tue, 26 Jan 2021 21:19:02 +0000 Received: (at 45893) by debbugs.gnu.org; 26 Jan 2021 21:18:56 +0000 Received: from localhost ([127.0.0.1]:42784 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1l4Vjk-0005Lb-3e for submit@debbugs.gnu.org; Tue, 26 Jan 2021 16:18:56 -0500 Received: from eggs.gnu.org ([209.51.188.92]:37086) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1l4Vji-0005LO-P0 for 45893@debbugs.gnu.org; Tue, 26 Jan 2021 16:18:55 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:32884) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1l4Vjd-0006NL-IN; Tue, 26 Jan 2021 16:18:49 -0500 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=43078 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1l4Vjd-0001ar-38; Tue, 26 Jan 2021 16:18:49 -0500 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <20210115163732.53665-1-zimon.toutoune@gmail.com> <20210119212810.20681-1-zimon.toutoune@gmail.com> Date: Tue, 26 Jan 2021 22:18:47 +0100 In-Reply-To: <20210119212810.20681-1-zimon.toutoune@gmail.com> (zimoun's message of "Tue, 19 Jan 2021 22:28:08 +0100") Message-ID: <87mtwvxuq0.fsf_-_@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: 45893@debbugs.gnu.org Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -2.85 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: 6FDF19404C4 X-Spam-Score: -2.85 X-Migadu-Scanner: scn1.migadu.com X-TUID: KK00ygEuvtoa zimoun skribis: > +(define (string-distance s1 s2) > + "Compute the Levenshtein distance between two strings." > + ;; Naive implemenation > + (define loop > + (mlambda (as bt) In general, =E2=80=98mlambda=E2=80=99 & co. are nice for prototyping, but f= or local procedures like this, it=E2=80=99s a sledgehammer. So instead, we should probably manage memoization state explicitly, but that often leads to code that=E2=80=99s much less nice. Ludo=E2=80=99.