From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Damien Mattei Newsgroups: gmane.lisp.guile.user Subject: Re: Guile Steel: a proposal for a systems lisp Date: Sun, 7 Aug 2022 23:12:07 +0200 Message-ID: References: <87v8s6xpnq.fsf@dustycloud.org> <87zgggjk8n.fsf@dustycloud.org> <87czdbkdns.fsf@dustycloud.org> Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="37685"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Guile User To: Christine Lemmer-Webber Original-X-From: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Sun Aug 07 23:12:38 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 1oKnZd-0009b7-1G for guile-user@m.gmane-mx.org; Sun, 07 Aug 2022 23:12:37 +0200 Original-Received: from localhost ([::1]:38860 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oKnZc-00040h-25 for guile-user@m.gmane-mx.org; Sun, 07 Aug 2022 17:12:36 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:50866) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oKnZQ-0003yR-1p for guile-user@gnu.org; Sun, 07 Aug 2022 17:12:24 -0400 Original-Received: from mail-lj1-x22a.google.com ([2a00:1450:4864:20::22a]:36834) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oKnZN-00060u-3K for guile-user@gnu.org; Sun, 07 Aug 2022 17:12:23 -0400 Original-Received: by mail-lj1-x22a.google.com with SMTP id z20so8052328ljq.3 for ; Sun, 07 Aug 2022 14:12:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc; bh=4oRJIDMrzrbQjURieMqLtBIqe6Wn2+FlnF9Oe1U11kU=; b=VgpxAyOZqbq2EUgoxBvKN9H2TRrQ282RCHlp8KThMjC5BGa8dx+Dc3JUapXE0iExAm YuSooPbOTT3YvdtJlIu/OgVTSvcUzli1VTo29UdYD9nZlHmcP+WXqa3Aj0jMIOJhB2YW C3c0P5M4WyfGNuQfPT/bdK+ABgJFQ8vRawwjhiX4pBdAEuIwkRu0S6HGPqigI33WcvXg X7jmquREU0ymqSELhoDoBLSaVcM5m99DSDBUWBTg/CEmkS8+YWNBz2rz40vJIo65ktlh AWwQbcT2xmzLHBxrsVveZMaUxg5y80md8PDtmoc48356xKot+Rd5U/w734ojn+eelJVo Q7DQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc; bh=4oRJIDMrzrbQjURieMqLtBIqe6Wn2+FlnF9Oe1U11kU=; b=ST70sTiKg6QDopPMmBbbdMZV43tNwo8YSdi/7zE6kZvJms7chGGVp9pZKiyyiDvdCD I8drvTUJftEPiZ5Oz1RW2aSSLKYoARUQ45gUVD+ug2vcT7tUUK+m1vQMS1QpuNzqjhEG cxbV0If0pdgbt/4AMycmMagSGFot8y8xBSGdPUgfTZG+EhygjOz1m9m9jFt1Zegg2PRF 6V+Bbrxl0XIxs6RActrgKXO796WtDlOVAFVxt+JsLcU0/Mom9KjVw6f1v8uv60lPBqUv S4qz2TY6EOnABQa2l6FtUvRI2teZxJVedyCDNifzSGT9w/qU3P7cGZbkNNgPcp8F8vew g25w== X-Gm-Message-State: ACgBeo3nztUTrkHvXp8PRo6/ANioNkzHjyxOK4nn8fewCbMElEwhtoYK 9iVodfLhFrFlW1VNzmHDbmkPcT+AAayRnt3/gng= X-Google-Smtp-Source: AA6agR5bmJ0aE8kyiymDStD1CHQ0PqhaisJBREl36omRI30TlssomMObUbf770N60gzkMpEyT71CIbouVYWdxZ/7vA8= X-Received: by 2002:a05:651c:b25:b0:25e:bd01:9f29 with SMTP id b37-20020a05651c0b2500b0025ebd019f29mr3218099ljr.409.1659906738818; Sun, 07 Aug 2022 14:12:18 -0700 (PDT) In-Reply-To: <87czdbkdns.fsf@dustycloud.org> Received-SPF: pass client-ip=2a00:1450:4864:20::22a; envelope-from=damien.mattei@gmail.com; helo=mail-lj1-x22a.google.com X-Spam_score_int: -8 X-Spam_score: -0.9 X-Spam_bar: / X-Spam_report: (-0.9 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01, URI_DOTEDU=1.246 autolearn=no autolearn_force=no X-Spam_action: no action X-Content-Filtered-By: Mailman/MimeDel 2.1.29 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:18502 Archived-At: On Sun, Aug 7, 2022 at 10:21 PM Christine Lemmer-Webber < cwebber@dustycloud.org> wrote: > > Damien Mattei writes: > > > On Sun, Aug 7, 2022 at 2:44 PM Christine Lemmer-Webber < > cwebber@dustycloud.org> wrote: > > > > Bigloo is cool. I think it falls under the same category of Chicken, > > > > perhaps i'm wrong, but Chicken seems to have strict types as options: > > http://wiki.call-cc.org/man/5/Types > > Interesting. Any examples of it in action, personal use experience, > etc? I wonder how it handles the famous challenges of keeping that > safety between both statically typed and dynamically typed parts, which > turned out to be extremely expensive, far more than dynamic scoping, > in Racket: https://www2.ccs.neu.edu/racket/pubs/popl16-tfgnvf.pdf > (though there is work being done to make it better, hopefully... > it may have progressed a lot since I last looked, probably has.) > i'm sorry but i almost never used Chicken... > > > about Bigloo the best answer would be to ask to author himself but i > > used Bigloo a little to produce JVM class files only, not C obj files, > > and it can be declared some statically typed variable i think in both > > C and Java targets: > > see: > > https://www-sop.inria.fr/mimosa/fp/Bigloo/manual.html#G82 > > and mostly: > > https://www-sop.inria.fr/mimosa/fp/Bigloo/manual-chapter25.html > > Regards, > > Damien > > Hm... "Warning: All type annotations are ignored by the interpreter." > > i suppose in the interpreter, code being not compiled, Bigloo act as a > normal Scheme REPL and typing is ignored, but in compiled modules it works > well. >