From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 4C130800AD for ; Thu, 22 Dec 2016 23:29:22 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-it0-f52.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.214.52; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.214.52 as permitted sender) identity=mailfrom; client-ip=209.85.214.52; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-it0-f52.google.com) identity=helo; client-ip=209.85.214.52; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-it0-f52.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AjZj+Thf4ZxI2jtNIAP8IwEmAlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxc6+ZB7h7PlgxGXEQZ/co6odzbGH6OawBCdYuN7B6ClEK8McEUddyI?= =?us-ascii?q?0/pE8JPo2sMQXDNvnkbig3ToxpdWRO2DWFC3VTA9v0fFbIo3e/vnY4ExT7Mhdp?= =?us-ascii?q?dKyuQtaBx+z+7e25+oXSbgNUn3L9JOoqdFTlmz7MrdEbipdOLaM4yx2B4icZOr?= =?us-ascii?q?ce+WQ9BV+Vkwz95Y+a+5lmu3BQtvQt7c9Debn9Z6M5C6RfCy1gOGcwsp7Frx7G?= =?us-ascii?q?GCSG7GEdX2FeqRFIDhLI9lmuUZ77qCr3sqxm0ymXJ8DsZb8xUDWmqaxsTUm722?= =?us-ascii?q?88Kzcl/TSP2YRLh6VBrUfk+kVy?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CuBQBDU1xYhjTWVdFeGQEBAQEBAQEBA?= =?us-ascii?q?QEBBwEBAQEBFQEBAQECAQEBAQgBAQEBgwoBAQEBAUABO4EJB6QbgjSGNI42KoV?= =?us-ascii?q?4AoFlB0IRAQEBAQEBAQEBAQESAQEBCAsLCR0wgjMEARUFghcBBSMdARsSCwEDD?= =?us-ascii?q?AYFCw0CAgkdAgIiAREBBQEKEgYTEog/AQMYDp40P4wCggMFAR6DDAWDXwoZJwM?= =?us-ascii?q?KVIJlAQEBAQEBBAEBAQEBARoCBhJ5hT2EYodOgl0FhxAMiGSKeIF6hFiKaIJGj?= =?us-ascii?q?gyOJoJJFB6BFDWBKVESg0cgggYgNIcagU8BAQE?= X-IPAS-Result: =?us-ascii?q?A0CuBQBDU1xYhjTWVdFeGQEBAQEBAQEBAQEBBwEBAQEBFQE?= =?us-ascii?q?BAQECAQEBAQgBAQEBgwoBAQEBAUABO4EJB6QbgjSGNI42KoV4AoFlB0IRAQEBA?= =?us-ascii?q?QEBAQEBAQESAQEBCAsLCR0wgjMEARUFghcBBSMdARsSCwEDDAYFCw0CAgkdAgI?= =?us-ascii?q?iAREBBQEKEgYTEog/AQMYDp40P4wCggMFAR6DDAWDXwoZJwMKVIJlAQEBAQEBB?= =?us-ascii?q?AEBAQEBARoCBhJ5hT2EYodOgl0FhxAMiGSKeIF6hFiKaIJGjgyOJoJJFB6BFDW?= =?us-ascii?q?BKVESg0cgggYgNIcagU8BAQE?= X-IronPort-AV: E=Sophos;i="5.33,390,1477954800"; d="scan'208";a="251279740" Received: from mail-it0-f52.google.com ([209.85.214.52]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 22 Dec 2016 23:29:21 +0100 Received: by mail-it0-f52.google.com with SMTP id x2so91136341itf.1 for ; Thu, 22 Dec 2016 14:29:21 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=j06NPTW/eeYklDkuOqz3mBKRb86skVSQORsLorVsDZ4=; b=pctECjOFBrjKfjcQ46yPU3NfuXPkcVQjqNC7h+udX0dcRNgJCO5XsPoIC50NYmWlOZ YQ/ZgMbg9J4K9+BJv8FVGENGFg/PToxxPrGzsrZkLIduMcilr8PV6XDiwDycvuBbDdnQ i8o/RS+w0Hs6ys3hyNGj7T86w5rwqDzvRjpnKKJR5zaWtZbyhxp++sRRlm/0wj9kX3It SE69jE+Xwp0xmoAuXIqx6JiCtvb9MfQDtTO+qUeuT31DHeVVnQbuHzlMubYFw7IVR6km PXids0wLns08aZdOqRC6iAH/qwWliWlXEyVxiHs5cvtWcmwkZBSb5wKCojjkQpTjpKLG hv9w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=j06NPTW/eeYklDkuOqz3mBKRb86skVSQORsLorVsDZ4=; b=sUpxZZ/gSP+9KXZfCAlVXUsUW3e6dLtEOV0HvLyLe4hUDnuNHPbzjaNc26UgfyVbcy 314tDOcyZxDsMfeWNYJAoVhQChvQZEh+k0256A+ry48bx0iHGihBczLp37REWSGQ9sby 0n8hUBFrnm1c0p+tf0znj1zyCNR6wVDFW31TIj1z4CL7YJwznxor+tW64g7MCQzr9m1F zlFq9xhuw0MXSpip5GH0kRLpsovQc6F2CVrpiLgcWZVWmPHhBHv2A1fYNCg364ZKUZ0i leqYGG9K6iXPi2vMLHxyynfz7Z5XL9ClFn2Rnk+Hj1azoHE8kemYOOI96Au1VTrM5wmg AMtg== X-Gm-Message-State: AIkVDXJAzKdodVYWjpqVwLN1JaanrIkPQMl6bY5qDFk5YaRhofr81Z/tNQyImfPjOIajcnk6o+IlhRUzqtRwYQ== X-Received: by 10.36.57.20 with SMTP id l20mr11992753ita.54.1482445760061; Thu, 22 Dec 2016 14:29:20 -0800 (PST) MIME-Version: 1.0 Received: by 10.79.140.195 with HTTP; Thu, 22 Dec 2016 14:28:39 -0800 (PST) In-Reply-To: <20161222221826.GA1843@topoi.pooq.com> References: <20161222011231.GA26221@topoi.pooq.com> <20161222221826.GA1843@topoi.pooq.com> From: Gabriel Scherer Date: Thu, 22 Dec 2016 17:28:39 -0500 Message-ID: To: Hendrik Boom Cc: caml users Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] off-brand use of ocaml's lambda IR. Maybe you should indeed consider Malfunction as Yotam mentioned in the previous thread: https://github.com/stedolan/malfunction It is a well-defined language made for producing code to go into the OCaml compilation pipeline. You can think of it as a subset of the lambda intermediate language, with a fixed (s-expressions) syntax and parser, and a documentation of the behavior of its programs. It is a bit simplistic (or at least it was last time I looked) but if you have extra needs you could get in touch with the author (Stephen Dolan) and work with him to extend it. On Thu, Dec 22, 2016 at 5:18 PM, Hendrik Boom wrote: > On Wed, Dec 21, 2016 at 08:12:31PM -0500, Hendrik Boom wrote: >> Are there ny tools available that could be used to generate ocaml >> bytecode for other languages? >> >> If I were to do that, by hand or otherwise, how would I interpret or >> compile it? >> >> Would the ocaml run-time system we available -- things like the garbage >> collector, I/O libraries, etc. >> >> Is anyone else working of projects like this? >> >> -- hendrik > > Having started to leaf through a few pieces of documentation about > the OCaml compilation chain, I now figure that the lambda IR would > probably be a better place to tap into the process. > > So I'll re-ask, this time sking about compiling from the internal lambda > representation instead of the byte-code. > > -- hendrik > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs