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 97090800A3 for ; Thu, 22 Dec 2016 02:12:34 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=hendrik@topoi.pooq.com; spf=None smtp.mailfrom=hendrik@topoi.pooq.com; spf=None smtp.helo=postmaster@april.topoi.pooq.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=pra; client-ip=69.165.131.134; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=mailfrom; client-ip=69.165.131.134; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@april.topoi.pooq.com) identity=helo; client-ip=69.165.131.134; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="postmaster@april.topoi.pooq.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AWVkjKhKvUgoxj6IJ09mcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgXLfjxwZ3uMQTl6Ol3ixeRBMOAuqkC27Gd6P2oGTRZp83e4DZaKN0EfiRGoP?= =?us-ascii?q?tVtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blIt?= =?us-ascii?q?daymUrLV2s++0uT3/5zIfy1JgiC8aPV8NkaYtwLU4+kbh4d4K6V54BzOpzMce+?= =?us-ascii?q?lQyXlpJnqPmA7754Go+5l6tS9XvqRypIZ7TazmcvFgHvRjBzM8PjVt6Q=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B2IQBMJ1tY/4aDpUVeHQEFAQsBGAEFA?= =?us-ascii?q?QsBgwoBAQEBAYFPAYMxi0Wse4hWAQEBAQEBAQEBAQFhKIIzGIJeezQFGIkwmGq?= =?us-ascii?q?SKIsxkBuCZYIwBZABinaRLA1ndgGOc5IzVoEHFg2GKiCJDgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0B2IQBMJ1tY/4aDpUVeHQEFAQsBGAEFAQsBgwoBAQEBAYF?= =?us-ascii?q?PAYMxi0Wse4hWAQEBAQEBAQEBAQFhKIIzGIJeezQFGIkwmGqSKIsxkBuCZYIwB?= =?us-ascii?q?ZABinaRLA1ndgGOc5IzVoEHFg2GKiCJDgEBAQ?= X-IronPort-AV: E=Sophos;i="5.33,386,1477954800"; d="scan'208";a="251109642" Received: from topoi.pooq.com (HELO april.topoi.pooq.com) ([69.165.131.134]) by mail2-smtp-roc.national.inria.fr with ESMTP; 22 Dec 2016 02:12:33 +0100 Received: by april.topoi.pooq.com (Postfix, from userid 1001) id 1458FC2249; Wed, 21 Dec 2016 20:12:31 -0500 (EST) Date: Wed, 21 Dec 2016 20:12:31 -0500 From: Hendrik Boom To: caml-list@inria.fr Message-ID: <20161222011231.GA26221@topoi.pooq.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.23 (2014-03-12) Subject: [Caml-list] off-brand use of ocaml bytecode 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