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 267177FF75 for ; Wed, 3 Aug 2016 14:43:21 +0200 (CEST) IronPort-PHdr: 9a23:gJhPJBDOrgx3zkPL8PNUUyQJP3N1i/DPJgcQr6AfoPdwSP74pMbcNUDSrc9gkEXOFd2CrakV06yG6+u9AyQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd+KyZTvnL3os7ToICxwzAKnZr1zKBjk5S7wjeIxxbVYF6Aq1xHSqWFJcekFjUlhJFaUggqurpzopM0roGxsvKcq/stEFKH7ZLgQTLpCDT1gPXpmytfssEzjQA2D/HofGk8RlR8AVwjI6h3gX5TZrizises7wC6dJIv9SrViCmfq1LtiVBK90HRPDDU+6myC0sE= 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 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DMBQA95qFX/4aDpUVchGaDKrY1gX2GHQKCBRQBAQEBAQEBAVwngjIWghcBBTpPCxgJJQ8FGIh1vlcBAQgCJYp3hQyCYIIvAQSZNI51CmeOWYwwg3ceNoQWIIkOAQEB X-IPAS-Result: A0DMBQA95qFX/4aDpUVchGaDKrY1gX2GHQKCBRQBAQEBAQEBAVwngjIWghcBBTpPCxgJJQ8FGIh1vlcBAQgCJYp3hQyCYIIvAQSZNI51CmeOWYwwg3ceNoQWIIkOAQEB X-IronPort-AV: E=Sophos;i="5.28,465,1464645600"; d="scan'208";a="228882427" Received: from topoi.pooq.com (HELO april.topoi.pooq.com) ([69.165.131.134]) by mail2-smtp-roc.national.inria.fr with ESMTP; 03 Aug 2016 14:43:19 +0200 Received: by april.topoi.pooq.com (Postfix, from userid 1001) id 8D6C5C226A; Wed, 3 Aug 2016 08:43:17 -0400 (EDT) Date: Wed, 3 Aug 2016 08:43:17 -0400 From: Hendrik Boom To: caml-list@inria.fr Message-ID: <20160803124317.GB24923@topoi.pooq.com> References: <86a8gvjv6d.fsf@gmail.com> <20160802172122.GA14641@xinutec.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20160802172122.GA14641@xinutec.org> User-Agent: Mutt/1.5.23 (2014-03-12) Subject: Re: [Caml-list] Make OCaml library available to Java On Tue, Aug 02, 2016 at 05:21:22PM +0000, Pippijn van Steenhoven wrote: > On Tue, Aug 02, 2016 at 07:51:11AM -0400, Arlen Cox wrote: > > Has anyone considered writing a source-to-source translator from OCaml to Scala? > > I don't think this is reasonable. The OCaml and Scala type systems differ > massively. This would not be a source to source translation, but rather > just a compiler that targets Scala, which doesn't seem like a very useful > thing to do. There's soomething I've been wondering about. OCaml keeps a minimum of type information at run-time -- one bit in each machine word tells whether it's a pointer or not. Is OCaml's intermediate code stable enough that it could be used as intermediate code for another language, and compiled further using the usual OCaml toolchain? -- hendrik