From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0.migadu.com ([2001:41d0:303:5f26::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id 0IwnHGgCf2X0PgAAkFu2QA (envelope-from ) for ; Sun, 17 Dec 2023 15:15:04 +0100 Received: from aspmx1.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0.migadu.com with LMTPS id IO2IGWgCf2XzRwEAqHPOHw (envelope-from ) for ; Sun, 17 Dec 2023 15:15:04 +0100 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=posteo.net header.s=2017 header.b=GpkGwX0n; spf=pass (aspmx1.migadu.com: domain of "emacs-orgmode-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="emacs-orgmode-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=posteo.net ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1702822504; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=CoL3ceO0VCIZR+u2AZOxr3uYOfEdZ2kUreqCX5O2+NA=; b=MSB9v0T9dIBuWRgH863+2Ee7EGGz2+pHqK+VJMSwMShWA8d17j9lRAoig2LeAfcG9XHAii CCmu/xG7Cv6aKf7+ThEay2OQkDG+4sbN4/l6Rhfp2YrwTQx9WoN2aJCopDZb+PMxeLnCMI Rk/rHgLS3MG61D2zOavd7FZzbsEZjJhKOgcspFtrJFzxfafAFYQfjbK+UglUMn5CZeHJ7t mC6s/XhYnm/14Ns9pGp5hlJukDRwAIznZrhnB93QMqq+goGzeFjwW2zBxNEUntz47YJx+i 6RUFOou7DUYzpdNW7q82o8g7ZadA0WhQ3lle5/lqZFX2/jwpyEQdBK2QT4MKjg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=posteo.net header.s=2017 header.b=GpkGwX0n; spf=pass (aspmx1.migadu.com: domain of "emacs-orgmode-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="emacs-orgmode-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=posteo.net ARC-Seal: i=1; s=key1; d=yhetil.org; t=1702822504; a=rsa-sha256; cv=none; b=AmTQY7RwdzJ51G0GxQb7Gb1UxHQtYZJ85cqfK1cRV5mQMSasq431iKCiy0FxyrIeEH1j5m onP1AHEHmeRnuNJy52MwIjVq6sGbnrm2mDyWRDGF9BDK3y/mqvgFxM5QEfxhe7EWSR70s7 Lilbtl6Zp1BMkiPvv/wOT/uTk2ksaPh3p5J7yyyrgNhkmzAu/oaDbj9qzpBWN4/8l5VU6/ 5hJT20/FarK7/+5L42UXYO1bsY64VBhejFgFmRKzzVgC+MusuzPkzegKTZOkHlVOTNjCsu PxoF/1/oYpTDw459ErdmfoGJCWlPB4SuASe5O0BXQyX+x1ctJ+T3CuhItxg6wQ== 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 6F97D140EA for ; Sun, 17 Dec 2023 15:15:02 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rEruS-0000tG-Pe; Sun, 17 Dec 2023 09:14:24 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rEruR-0000su-5B for emacs-orgmode@gnu.org; Sun, 17 Dec 2023 09:14:23 -0500 Received: from mout01.posteo.de ([185.67.36.65]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rEruO-0001bp-MX for emacs-orgmode@gnu.org; Sun, 17 Dec 2023 09:14:22 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id 9775F240028 for ; Sun, 17 Dec 2023 15:14:18 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1702822458; bh=FzleZIvWstksumEamMTQ0xixmWk2WCkHHE7LO5+QSwA=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version:From; b=GpkGwX0nIZx5pipPIWtylH2JTK7DjY/JKFCrSS+DtChg0tHxK/pGo1oZQSXCapWim DtUffpPp4NMY0LkTNvvo6oJaWQXXkZfml2aAnU+KRAaw3Gd0wkXlCh+K1cj4dUgafj x8wOjlpjGcp2RXZFL9w5lutKNavzKY7U0DCQVcXWwkDt/7jIN5MOb7E2K9arQRfX1i LB6xP+7INKnr3iKRNFCU+X0y5NqztmOICcIHXbb6YV//5m3Ijdr+Kvo/mWDLCv2erf Kf410pg9V71czphtgXo4V2JuEdlgBINlcnQ87JLUOJ/S/sykg+1lTqrNIJVuFrNnB+ EEvnLBL15xnEQ== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4StQ1k1cJPz6tw1; Sun, 17 Dec 2023 15:14:18 +0100 (CET) From: Ihor Radchenko To: Francesc Rocher , Bastien Cc: emacs-orgmode@gnu.org Subject: Re: Ada/SPARK support in Babel In-Reply-To: References: Date: Sun, 17 Dec 2023 14:17:28 +0000 Message-ID: <87le9szzev.fsf@localhost> MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=185.67.36.65; envelope-from=yantar92@posteo.net; helo=mout01.posteo.de X-Spam_score_int: -53 X-Spam_score: -5.4 X-Spam_bar: ----- X-Spam_report: (-5.4 / 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_MED=-2.3, RCVD_IN_MSPIKE_H5=-1, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-orgmode@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+larch=yhetil.org@gnu.org Sender: emacs-orgmode-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Scanner: mx13.migadu.com X-Migadu-Spam-Score: -5.82 X-Spam-Score: -5.82 X-Migadu-Queue-Id: 6F97D140EA X-TUID: /o/28k5D78Vo [ I am going through some old threads without reply. ] Francesc Rocher writes: > I've started developing Babel support for Ada and SPARK languages. > I would like to include them in the main org-mode repository, as an > additional ("officially") supported language by org-mode. > ... > For a new language to be included in the main org-mode repository, it > is required that the language: > > 1. is supported by Emacs > 2. has a large user-base > IMMO both requirements are satisfied: > > 1. ada-mode supports Ada (and, partially, SPARK) > 2. Ada appears in position 32 in the TIOBE rank of programming > languages popularity (https://www.tiobe.com/tiobe-index/), above > other languages supported by Babel like Julia, Clojure, Haskell, > Scheme, awk, Forth, Ocaml or sed. (SPARK appears in the next 100) >From Bastien https://list.orgmode.org/orgmode/87bl9rq29m.fsf@gnu.org/ I suggest a criterium for keeping ob*.el files in Org could be that the extension is known by Emacs _or_ that the supported language is well-established. Ada appears to fit in. > Do you think that Ada/SPARK support should be included in the main > org-mode repository? Or in the org-contrib one? org-mode or ELPA. org-contrib is deprecated now. I am, however, concerned that https://github.com/rocher/ob-ada-spark/ did not show much interest (just a single issue). Also, no replies on this list from users. It appears that we have not many Org mode users who need Ada support. But I also know that Ada is certainly well-established and active - https://www.adaic.org/events/. My initial assessment is that we might include babel support for Ada if it is accompanied by good set of tests, so that we do not need to worry too much about things breaking even if there is no ob-ada maintainer. ... and let's see if the original author is still interested to continue with his request. -- Ihor Radchenko // yantar92, Org mode contributor, Learn more about Org mode at . Support Org development at , or support my work at