From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Mikael Djurfeldt Newsgroups: gmane.lisp.guile.user Subject: Re: Curiosity: Microkernel implemented in Guile ? Date: Thu, 23 Jun 2022 08:57:41 +0200 Message-ID: References: <20220623081120.091b84b7.matias_jose_seco@autoproduzioni.net> Reply-To: mikael@djurfeldt.com 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="7868"; mail-complaints-to="usenet@ciao.gmane.io" Cc: guile-user , Mikael Djurfeldt To: Matias Jose Seco Baccanelli Original-X-From: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Thu Jun 23 08:59:05 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 1o4Gnx-0001qM-Fd for guile-user@m.gmane-mx.org; Thu, 23 Jun 2022 08:59:05 +0200 Original-Received: from localhost ([::1]:58652 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1o4Gnw-0002Eb-0x for guile-user@m.gmane-mx.org; Thu, 23 Jun 2022 02:59:04 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:45688) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o4Gmr-0002Cw-98 for guile-user@gnu.org; Thu, 23 Jun 2022 02:57:57 -0400 Original-Received: from mail-ed1-f46.google.com ([209.85.208.46]:42928) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1o4Gmo-0006kS-4E for guile-user@gnu.org; Thu, 23 Jun 2022 02:57:55 -0400 Original-Received: by mail-ed1-f46.google.com with SMTP id z11so20955467edp.9 for ; Wed, 22 Jun 2022 23:57:53 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:references:in-reply-to:reply-to :from:date:message-id:subject:to:cc; bh=/SEYXPqEcHnuhKtJvWrCkYOLRJNDwoXvqbSxd8Jy3S0=; b=o2LZ6ohlchHAITSQEXOzzxfTPgbFBCYPBuuseywR+HNvqN//yj3nzlBXV7Jq/ueeMM H4TDibpHeoE1TAY+OZ6o3G/jLZbGJKO2nbM+hll/Ez0BAPJMIP6tQGI67VQ92EkbJtxP i1WGLz4b9SxTX4fcQtQ/E5q8arezxNXi1xk6jhCBxoHqjD3OQfAr2BbqDtcm2zquJU9p JKNZ9mhrneiFscVYGEPAZNa1u1sET67fVZn2Je45lUE6e6aD9CmSZh5vcZoQRLIli3Z0 aq8jTCG9faQU8z0e3xYBmMnmMf3p9ILsGetaECUq4SF4K5mUdU7NDg4KdzN9aDAH3S3i 9+bQ== X-Gm-Message-State: AJIora9YDs5I8O1O2vgudx+SdUDxuBZWzj/DeAfN41rDEwfryW382m3F 9311leRVn2sMYml1cqzWRj2fQFkVRnpisfNPqcY= X-Google-Smtp-Source: AGRyM1vTXWwgtAKB8U4FzFTJcLRi6q3HgoQdjBqGL6DOeu8D96Z2AoenNOekEx0OG0vE+k6ReWa3waE1SV3bnJoVdtc= X-Received: by 2002:a05:6402:1741:b0:433:4e4d:bfb4 with SMTP id v1-20020a056402174100b004334e4dbfb4mr8843833edx.7.1655967472106; Wed, 22 Jun 2022 23:57:52 -0700 (PDT) In-Reply-To: <20220623081120.091b84b7.matias_jose_seco@autoproduzioni.net> Received-SPF: pass client-ip=209.85.208.46; envelope-from=mdjurfeldt@gmail.com; helo=mail-ed1-f46.google.com X-Spam_score_int: -13 X-Spam_score: -1.4 X-Spam_bar: - X-Spam_report: (-1.4 / 5.0 requ) BAYES_00=-1.9, FREEMAIL_FORGED_FROMDOMAIN=0.249, FREEMAIL_FROM=0.001, HEADER_FROM_DIFFERENT_DOMAINS=0.249, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 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:18317 Archived-At: To my knowledge, the answer is no. No such attempt has been made. The Guile language is essentially Scheme. Scheme lacks various constraints, with regard to typing, memory management, etc, needed for it to be compiled to predictable and near maximally efficient machine code, something which is needed, at least for portions of the code, when implementing a useful microkernel. In theory, it is possible to extend the language for such purposes, though. An alternative high level language which can be used to implement a kernel is Rust. Best regards, Mikael Den tors 23 juni 2022 08:12Matias Jose Seco Baccanelli < matias_jose_seco@autoproduzioni.net> skrev: > Good morning Guilers! > Being a huge fan of Libre Software and Guile powers, i was having a big > curiosity in regards to the kernel languages arena: > was ever made an attempt to implement a Microkernel from scratch in > Guile language ? > Isn't a cool mix the functional approach of Guile and the modular one > of Microkernel ? (and loads of more features i suppose!) > > Feels like a nice recipe for User Empowerment ! > Just asking as a total beginner on this topic, > Happy Hacking! > Matias > >