From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.23 via Mailbox Transport; Tue, 30 May 2023 13:47:14 +0100 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.23; Tue, 30 May 2023 13:47:14 +0100 Received: from exchange.romulus.metastack.com (172.16.0.21) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_0, cipher=TLS_RSA_WITH_AES_256_CBC_SHA) id 15.1.2507.23 via Frontend Transport; Tue, 30 May 2023 13:47:14 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 34UCkTgP021712 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 30 May 2023 13:46:29 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 34UCkMcE021697 for ; Tue, 30 May 2023 13:46:22 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 May 2023 14:46:21 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 2ECD1E010B; Tue, 30 May 2023 14:46:21 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id AE92FE0090 for ; Tue, 30 May 2023 14:46:14 +0200 (CEST) Received: from mail1.g3.pair.com ([66.39.3.114]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 30 May 2023 14:46:13 +0200 Received: from mail1.g3.pair.com (localhost [127.0.0.1]) by mail1.g3.pair.com (Postfix) with ESMTP id 17C553FB9CA; Tue, 30 May 2023 08:46:11 -0400 (EDT) Received: from Magus.localnet (135.64.239.49.rev.vmobile.jp [49.239.64.135]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mail1.g3.pair.com (Postfix) with ESMTPSA id D958C582C5C; Tue, 30 May 2023 08:46:09 -0400 (EDT) From: Oleg To: "aroseunsaid@proton.me" CC: "caml-list@inria.fr" Subject: Re: [Caml-list] 3 questions relating to BER MetaOcaml Thread-Topic: [Caml-list] 3 questions relating to BER MetaOcaml Thread-Index: AQHZkMkjt4D07V7jC0+dd+/0X8xo2q9ytvmA Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Tue, 30 May 2023 13:45:47 +0100 Message-ID: Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: In-Reply-To: Reply-To: Oleg Content-Language: en-GB X-MS-Exchange-Organization-AuthAs: Anonymous X-MS-Exchange-Organization-AuthSource: Hermes.metastack.local X-MS-Has-Attach: X-Auto-Response-Suppress: All X-MS-Exchange-Organization-Network-Message-Id: a75aa7d2-3b18-4334-28b6-08db610bfe71 X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 x-scanned-by: mailmunge 3.11 on 66.39.3.114 received-spf: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only x-ironport-av: E=Sophos;i="6.00,204,1681164000"; d="scan'208";a="110285653" x-ironport-anti-spam-filtered: true x-loop: caml-list@inria.fr x-no-archive: yes Content-Type: text/plain; charset="us-ascii" Content-ID: <35D32E050D316444BE53C63EE8205CED@metastack.local> MIME-Version: 1.0 Hello! > 1. Is there a mailing-list or any other forum dedicated to MetaOcaml, > or also metaprogramming in other languages than OCaml? I personally don't know of any. Which is somewhat strange come to think of it. In the past, the questions about MetaOCaml were either posted on this list (like yours) or sent to me privately. > 2. Is anybody using BER MetaOcaml having done some work to offshore to > intel's ISPC or OpenGL GLSL both having the semantic (and keywords) of > "uniform" vs "varying" variables for optimizing code accross code > threads (cores / SIMD "lane")? If so, are they willing to share their > work? That does look quite interesting. A student once used offshoring for OpenCL (which is quite C but not exactly). Incidentally, one of the tests of MetaOCaml, at the end of OCAMLROOT/metalib/test/offshore_simple.ml is a very simplified version of some of that code. > 3. There is no trx.cmo in the current opam 4.14.1+BER switch, is it > intentional, a current BER limitation or an overlook? Overlook -- or, better, ignorance. I put trx.cmx into the libpath because otherwise the native compiler complains. I didn't think trx.cmo is needed for anything. It is part of ocamlcommon.cma though.