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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 86B157FF37 for ; Tue, 2 Aug 2016 19:21:25 +0200 (CEST) IronPort-PHdr: 9a23:7oOWmhDlvtHvtbKLPfX0UyQJP3N1i/DPJgcQr6AfoPdwSP74r8bcNUDSrc9gkEXOFd2CrakV06yJ4+u/AyQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd+KyZvnnL/os7ToICxwzAKnZr1zKBjk5S7wjeIxxbVYF6Aq1xHSqWFJcekFjUlhJFaUggqurpzopM0roGxsvKcq/stEFKH7ZLgQTLpCDT1gPXpmytfssEz7TBOX53kaGnsflFJzHwXI6hH9QJr3+n/it/ItiC+eFcLzRLEwHz+l6vE4G1fTlC4bOmthoynsgctqgfcDrQ== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=pip88nl@gmail.com; spf=Pass smtp.mailfrom=pip88nl@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f54.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of pip88nl@gmail.com) identity=pra; client-ip=74.125.82.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="pip88nl@gmail.com"; x-sender="pip88nl@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of pip88nl@gmail.com designates 74.125.82.54 as permitted sender) identity=mailfrom; client-ip=74.125.82.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="pip88nl@gmail.com"; x-sender="pip88nl@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f54.google.com) identity=helo; client-ip=74.125.82.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="pip88nl@gmail.com"; x-sender="postmaster@mail-wm0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BiAADc1aBXfzZSfUpdgxiBA3ykKwEBBok3i0SBfSCDFoJnAoFAOBQBAQEBAQEBAREBAQkLCwkXMYIyFoIXAQUSLgEbHgMMBgUYCSUPBQ8RAQUBV4d0AQMXAaMLgTI+MY0lgloFhlEKGScNVINAAQEBAQYBAQEBFQYCAQUQhVKFFYUMgmCCLwWZMgGGGIhdiU+FeowwgjgwgQ8ehDBuiDEBAQE X-IPAS-Result: A0BiAADc1aBXfzZSfUpdgxiBA3ykKwEBBok3i0SBfSCDFoJnAoFAOBQBAQEBAQEBAREBAQkLCwkXMYIyFoIXAQUSLgEbHgMMBgUYCSUPBQ8RAQUBV4d0AQMXAaMLgTI+MY0lgloFhlEKGScNVINAAQEBAQYBAQEBFQYCAQUQhVKFFYUMgmCCLwWZMgGGGIhdiU+FeowwgjgwgQ8ehDBuiDEBAQE X-IronPort-AV: E=Sophos;i="5.28,461,1464645600"; d="asc'?scan'208";a="186696035" Received: from mail-wm0-f54.google.com ([74.125.82.54]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 02 Aug 2016 19:21:24 +0200 Received: by mail-wm0-f54.google.com with SMTP id f65so417714472wmi.0 for ; Tue, 02 Aug 2016 10:21:24 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:subject:message-id:references:mime-version :content-disposition:in-reply-to:user-agent; bh=pJwEL6NG0OoEwN4pllVXv1nbJBDw5mS2XjNHtAq+ujc=; b=qZ4jrdFlB9470g2atR6AUMYueKsF6aJkmotT1nWzFp2iyMY8DWhRQxBjKqojvqV7pB kAzalSA21n62q2Zhrnzybd93O3PKJYWYHBmo3zFv/1uMHnaXqS9LdEnMkqJ5DEvk+gMD gJ1HZqV3f3+k8uWjc3n5TVu4Jrd0kmLSoB8Ix/fyYtZ2+zZrkxMaJ7xkeuQ6yavq6rlF R2C9LOC3nCnM7dQihcWD5kZg73ur6hUnB7/EHtLlIQn6mwxDylc0AC39I8k/EVJY/5FY aB/XHMlm+Fd/sRsl6JnBYlmFlGXNmK3JBGI4SU9H9V/Sf6I9DaxZlZgW9nqKLxyzQkQs k1bQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:date:from:to:subject:message-id:references :mime-version:content-disposition:in-reply-to:user-agent; bh=pJwEL6NG0OoEwN4pllVXv1nbJBDw5mS2XjNHtAq+ujc=; b=d7StKEzP/Rt7ape5iOq7R1hxdobTWABIfymf3K5pXpbojcUsCZhmG4pdfrMJYb8rAr 1Yjbpr4TqQ8ssBuf8WR7pdOCYOoXxDwMhzikyoj8Gk8qXbAcvDi2jStrVmFR4LSsr2PO Mjv7zEhOP3AgVEXDuuf0Idn+HjZJk6KwDs6JkrY363zfjL2mst4Xtt+H55djzNhSotCA c9vjTx011ms/9Cw6ReDo35HGG4v2mu26ww7Wplj/AxvAtuhr55ZMdrY7us/eVMlr/pc5 uRwGPZSQsn3v+1GlN91TDpeshGMnDxxjaleiTgcXf0fcVOZt2RlUkGN7jwJByrfeC7tH BXDQ== X-Gm-Message-State: AEkooutBFwuqgs2mf9Pm3MNLUBnKFz174O9xcIA6PddU2I+sEFTzqPDw+WLACVpJMdWCGQ== X-Received: by 10.194.104.197 with SMTP id gg5mr56831784wjb.6.1470158484073; Tue, 02 Aug 2016 10:21:24 -0700 (PDT) Received: from localhost (xinutec.org. [2001:41d0:2:91b4::1]) by smtp.gmail.com with ESMTPSA id o4sm3590057wjd.15.2016.08.02.10.21.22 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 02 Aug 2016 10:21:23 -0700 (PDT) Date: Tue, 2 Aug 2016 17:21:22 +0000 From: Pippijn van Steenhoven To: caml-list@inria.fr Message-ID: <20160802172122.GA14641@xinutec.org> References: <86a8gvjv6d.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="EVF5PPMfhYS0aIcm" Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.23 (2014-03-12) Subject: Re: [Caml-list] Make OCaml library available to Java --EVF5PPMfhYS0aIcm Content-Type: text/plain; charset=us-ascii Content-Disposition: inline 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. You might have more luck with Yeti[1], which is quite close to OCaml already, and has a similar type system. It might even be possible to semi-automatically (with lots of vim macros) translate all your code to Yeti in a reasonable amount of time. Cheers, Pippijn [1] https://mth.github.io/yeti/ --EVF5PPMfhYS0aIcm Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAleg1pIACgkQJc+zqGNdDgosvACgof0hqMhsuJyri6WWhnHHhv8p idAAnA3ohD+nzs7u4PhpPgDRGHpxwnPj =Fye3 -----END PGP SIGNATURE----- --EVF5PPMfhYS0aIcm--