From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Christine Lemmer-Webber Newsgroups: gmane.lisp.guile.user Subject: Re: Guile Steel: a proposal for a systems lisp Date: Sun, 07 Aug 2022 16:17:57 -0400 Message-ID: <87czdbkdns.fsf@dustycloud.org> References: <87v8s6xpnq.fsf@dustycloud.org> <87zgggjk8n.fsf@dustycloud.org> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="10304"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: mu4e 1.6.11; emacs 28.1 Cc: Guile User To: Damien Mattei Original-X-From: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Sun Aug 07 22:22:06 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 1oKmmh-0002P6-KS for guile-user@m.gmane-mx.org; Sun, 07 Aug 2022 22:22:05 +0200 Original-Received: from localhost ([::1]:56380 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oKmmg-0002ve-Gr for guile-user@m.gmane-mx.org; Sun, 07 Aug 2022 16:22:02 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:45850) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oKmmU-0002vV-0W for guile-user@gnu.org; Sun, 07 Aug 2022 16:21:50 -0400 Original-Received: from wout2-smtp.messagingengine.com ([64.147.123.25]:46865) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oKmmR-0007lh-N3 for guile-user@gnu.org; Sun, 07 Aug 2022 16:21:49 -0400 Original-Received: from compute3.internal (compute3.nyi.internal [10.202.2.43]) by mailout.west.internal (Postfix) with ESMTP id 1675D32008C0; Sun, 7 Aug 2022 16:21:45 -0400 (EDT) Original-Received: from mailfrontend2 ([10.202.2.163]) by compute3.internal (MEProxy); Sun, 07 Aug 2022 16:21:45 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=dustycloud.org; h=cc:cc:content-type:date:date:from:from:in-reply-to :in-reply-to:message-id:mime-version:references:reply-to:sender :subject:subject:to:to; s=fm1; t=1659903704; x=1659990104; bh=AG 00saXOHy1xsFpCaIoSNHl/G8xEm2rGO9ZpG6i8XZA=; b=rElBtuYPRP7uqXyFyw 9o8UE6lMYrIXnG3E3gNr4OQmGjaRkZ9M6zjmM8YJ4OWrZC8qctrDmp6LKSk4G3tm /3mbOFDdbZ27wQu14EiCxkwuPcJ+wf49VZ8Y8a01m2H7g5SSZMx1PCDqRZvhsrIb 6kH1Ml1HOEMr6GsC5jKrt+M3a+2u9s4Po1f4IrkKxg6HuVpuGd4wYw+0DmLhEjCc 9nFOgKcGyDKlmWysqrmNWcRVn5e6GfKoVSxwqAlIpNHUGTV1HvuLEm3ARM8wygKG hcEjj6W2P0qH2+uTJt31Lysc1WzQTlMVmwk2makHP6JJ4b+MABhpVHHIy/Nc/wWA e2bg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:cc:content-type:date:date:feedback-id :feedback-id:from:from:in-reply-to:in-reply-to:message-id :mime-version:references:reply-to:sender:subject:subject:to:to :x-me-proxy:x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s= fm1; t=1659903704; x=1659990104; bh=AG00saXOHy1xsFpCaIoSNHl/G8xE m2rGO9ZpG6i8XZA=; b=au0P98c5rPH4Wonf/KS4lSj2k2wQffEQyky9KppAWNWf JHylYkfqxVg9sDTiRYQ+bUugtKyWtf31xKKl7hFjJ/tEeUc3RREvRdG5pbToluon d3il8YhOctWk9NcTH4TtKj8qbrwzVTiPRBttHbHxVu5xj81Ek9/T7SkESnS0Abxx Utr7/dHf+vhXzrAxFm5JIfWb5q7nG4bUYuG8/PG+0vkgaEm0Kknm8OSKXOpYRS70 ssJld9pCDrkAap18OOYxK+RdFalPYl7QaD34PQj7J21vZh8DmTCXAneG+7KRjsNC R9d3lRDFIlNj5tSxy8vE7eJTT8zsnlZ4FJvXgmEbIg== X-ME-Sender: X-ME-Received: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedvfedrvdefiedgudehudcutefuodetggdotefrod ftvfcurfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfgh necuuegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmd enucfjughrpehffgfhvfevufffjgfkgggtsehttdertddtredtnecuhfhrohhmpeevhhhr ihhsthhinhgvucfnvghmmhgvrhdqhggvsggsvghruceotgifvggssggvrhesughushhthi gtlhhouhgurdhorhhgqeenucggtffrrghtthgvrhhnpeevueelteelvdejjefgfefhfefh leelieeikedukeejuddtffekkeelteevgeegvdenucffohhmrghinhepughushhthigtlh houhgurdhorhhgpdhmohhrvgdqmhgrghhitgdrnhgvthdptggrlhhlqdgttgdrohhrghdp nhgvuhdrvgguuhdpihhnrhhirgdrfhhrnecuvehluhhsthgvrhfuihiivgeptdenucfrrg hrrghmpehmrghilhhfrhhomheptgifvggssggvrhesughushhthigtlhhouhgurdhorhhg X-ME-Proxy: Feedback-ID: i006446df:Fastmail Original-Received: by mail.messagingengine.com (Postfix) with ESMTPA; Sun, 7 Aug 2022 16:21:44 -0400 (EDT) In-reply-to: Received-SPF: pass client-ip=64.147.123.25; envelope-from=cwebber@dustycloud.org; helo=wout2-smtp.messagingengine.com X-Spam_score_int: -15 X-Spam_score: -1.6 X-Spam_bar: - X-Spam_report: (-1.6 / 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, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-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-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:18501 Archived-At: Damien Mattei writes: > On Sun, Aug 7, 2022 at 2:44 PM Christine Lemmer-Webber wrote: > > Bigloo is cool. I think it falls under the same category of Chicken, > which I address towards the end of: > > https://dustycloud.org/blog/guile-steel-smelting-pot/ > > "Chicken Scheme compiles to C but doesn't strike me as qualifying for > this post's vague definition because it still has the usual > memory/dynamic typing overheads of Scheme. But go ahead and read > literally everything on more-magic.net anyway because that stuff is > great." > > Same feels like it could be said of Bigloo, but if I'm wrong, lmk :) > > 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.) > 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." > > Damien Mattei writes: > > > perhaps Bigloo a Scheme that targets C and has many other features can help: > > https://www-sop.inria.fr/mimosa/fp/Bigloo/ > > Damien > > > > On Sat, Jul 9, 2022 at 5:38 PM Christine Lemmer-Webber wrote: > > > > A little blogpost this morning, not actual software, but software > > desiderata: > > https://dustycloud.org/blog/guile-steel-proposal/ > > > > I'd love to see something like the above happen. I'd love to help make > > it happen. So this is more of a call to arms than anything else. > > > > Can we have a "systems lisp"? Can we do better than Rust? Let's put > > some interesting things on that compiler tower of ours!