From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: zimoun Newsgroups: gmane.lisp.guile.user Subject: Re: Looking for graph library Date: Mon, 10 Oct 2022 19:18:00 +0200 Message-ID: <87a663silz.fsf@gmail.com> References: <87edvibocv.fsf@gmail.com> <87tu4ejtmt.fsf@elephly.net> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="38153"; mail-complaints-to="usenet@ciao.gmane.io" Cc: guile-user@gnu.org To: Ricardo Wurmus , Dmitry Polyakov Original-X-From: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Wed Oct 12 17:08:54 2022 Return-path: Envelope-to: guile-user@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1oidLq-0009i8-FS for guile-user@m.gmane-mx.org; Wed, 12 Oct 2022 17:08:54 +0200 Original-Received: from localhost ([::1]:36526 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oidLp-0008Uj-9K for guile-user@m.gmane-mx.org; Wed, 12 Oct 2022 11:08:53 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:41516) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oicvs-0006hZ-4d for guile-user@gnu.org; Wed, 12 Oct 2022 10:42:09 -0400 Original-Received: from mail-wr1-x434.google.com ([2a00:1450:4864:20::434]:33695) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oicvg-0008GI-GG for guile-user@gnu.org; Wed, 12 Oct 2022 10:42:03 -0400 Original-Received: by mail-wr1-x434.google.com with SMTP id a3so26613525wrt.0 for ; Wed, 12 Oct 2022 07:41:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:from:to:cc:subject:date:message-id :reply-to; bh=ibGERxRMp30ZYyGmtYQP1fj47YNadNa23RDCkXPoSzc=; b=pDQ8RbSAwB+NCE2o5kmD7P9bUzRlQDf3u77+kD8Vk2Tmexty81yoBZMaMZotekj/y4 A4HoiqIjT/HrN+Aztrj/v7EhKbVCPrBDZn+0yyEq+s/qksFDzgjh92HrtpFSS4Y6kd5C OmJkJRdYzDCLOQ1nX314ThZyLwdEkFkhqhJpIgjeVrrU8RaSoBUUNnxzG6kBpKacazJM huyLYzIBNaLzkp53Ffc9viodChrI33aGl4DG3qNr4kPDvWulblLycwVmNaJx4UCqjD+b +/XYLgzZbBQwrm66Cu+mwAx6J4gJlU5L+F9tYmbxa3fyc4NNDjvRnCirWl4fKyjyJs3a pikQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=ibGERxRMp30ZYyGmtYQP1fj47YNadNa23RDCkXPoSzc=; b=uqA+88IiT+WR7/DwR+C6VaZGtrjz+SbSn93HNHEUNaBJ/hF8gjmIGDGVKA3/vILrzt xgVLqVrYqSkgzdbfdQseFub+9XnGONSAQPBEECNQFv+dJ99ruvkrEFtqS7WQh9aqwdWv NdsFGW+iIgKj2zMtmz70LgRjlztiZJgIq3iu2yqf7XYFyh8Mp/rD2MLDp7wsU+MqXERT MBEuU7SDEoZae2WwOfrjBwMR5fSTsspDmaaa3sKY6Ney/Cr/jnBPzzemQSc1dXM35P97 sin4Bvzl+wJT+Ju8dhbd0ZmkcvgzTz7QXKFAIX8d53oh4kYFt4NpiUH/qeNk6tzrI1IP U+7A== X-Gm-Message-State: ACrzQf3Xk2mMay+lRkVVqEeX/04nFYTWxITN/Js7CKDy8e3WvisZVFkq yCkzkXA2yOc9YMhqYqssuiGCnIQ3eOQ= X-Google-Smtp-Source: AMsMyM6E6A1htigSMmKSGH0oaEQEXStJmMYPoqhDlhqsMUwDTIXKOUOrmkk4NgSWSMZI1ascg728tw== X-Received: by 2002:adf:fac7:0:b0:22e:4773:23a9 with SMTP id a7-20020adffac7000000b0022e477323a9mr18712897wrs.537.1665585707936; Wed, 12 Oct 2022 07:41:47 -0700 (PDT) Original-Received: from pfiuh07 ([193.48.40.241]) by smtp.gmail.com with ESMTPSA id z14-20020a5d654e000000b0022abcc1e3cesm13768236wrv.116.2022.10.12.07.41.46 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 12 Oct 2022 07:41:47 -0700 (PDT) In-Reply-To: <87tu4ejtmt.fsf@elephly.net> Received-SPF: pass client-ip=2a00:1450:4864:20::434; envelope-from=zimon.toutoune@gmail.com; helo=mail-wr1-x434.google.com X-Spam_score_int: 12 X-Spam_score: 1.2 X-Spam_bar: + X-Spam_report: (1.2 / 5.0 requ) BAYES_00=-1.9, DATE_IN_PAST_24_48=1.34, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URI_DOTEDU=2 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Original-Sender: "guile-user" Xref: news.gmane.io gmane.lisp.guile.user:18620 Archived-At: Hi Ricardo, On sam., 08 oct. 2022 at 16:07, Ricardo Wurmus wrote: > Here=E2=80=99s an implementation of inductive graphs: > > https://github.com/rekado/minigrad/blob/main/minigrad/graph.scm IIUC, mingrad is implementing a part of [1]. Some time ago, I have read this interesting paper from Haskell folks: https://dl.acm.org/doi/pdf/10.1145/3122955.3122956 and maybe this kind of framework could be useful. 1: Cheers, simon