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 2F5837FF37 for ; Tue, 2 Aug 2016 19:35:01 +0200 (CEST) IronPort-PHdr: 9a23:Pva6DBzdUzogmg7XCy+O+j09IxM/srCxBDY+r6Qd0e8WIJqq85mqBkHD//Il1AaPBtSDra0UwLqO+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2WVTerzWI4CIIHV2nbEwud7yzRd6Z35z//tvx0qWbWx9Piju5bOE6BzSNhiKViPMrh5B/IL060BrDrygAUe1XwWR1OQDbxE6ktY/jtKJkphxRo+og9cgIT6z8N58kQLFeDDM4PmZ9sNXqrUmTSw+n6X4VU2FQmR1NVVvr9hb/C77rtib8/sF6yGHONNfyQLY/XiSK4KJiSRuugyACYW1quFrLg9B92foI6CmqoAZyltbZ Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=arlencox@gmail.com; spf=Pass smtp.mailfrom=arlencox@gmail.com; spf=None smtp.helo=postmaster@mail-yw0-f181.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of arlencox@gmail.com) identity=pra; client-ip=209.85.161.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="arlencox@gmail.com"; x-sender="arlencox@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of arlencox@gmail.com designates 209.85.161.181 as permitted sender) identity=mailfrom; client-ip=209.85.161.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="arlencox@gmail.com"; x-sender="arlencox@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-yw0-f181.google.com) identity=helo; client-ip=209.85.161.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="arlencox@gmail.com"; x-sender="postmaster@mail-yw0-f181.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DHAABW2aBXhrWhVdFdhBt8B7kngX0ghX0CgTkHOhIBAQEBAQEBAREBAQEICwsJGS+CMhaCFwEFEhEdARsdAQMMBgULDQICJgICIQEBEQEFARwGEyKHdAEDF6MSgTI+MYs7gWqCWgWGUAoZJw1Ug0ABAQEBAQEEAQEBAQEBGQIBBRBxhSmETYJDhH6CWgWYfzSGGIYygjWPP4grhAWCOBIegQ8lA4JPgXMgMogxAQEB X-IPAS-Result: A0DHAABW2aBXhrWhVdFdhBt8B7kngX0ghX0CgTkHOhIBAQEBAQEBAREBAQEICwsJGS+CMhaCFwEFEhEdARsdAQMMBgULDQICJgICIQEBEQEFARwGEyKHdAEDF6MSgTI+MYs7gWqCWgWGUAoZJw1Ug0ABAQEBAQEEAQEBAQEBGQIBBRBxhSmETYJDhH6CWgWYfzSGGIYygjWPP4grhAWCOBIegQ8lA4JPgXMgMogxAQEB X-IronPort-AV: E=Sophos;i="5.28,461,1464645600"; d="scan'208";a="186696848" Received: from mail-yw0-f181.google.com ([209.85.161.181]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 02 Aug 2016 19:34:34 +0200 Received: by mail-yw0-f181.google.com with SMTP id j12so204168596ywb.2 for ; Tue, 02 Aug 2016 10:34:34 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=zxTLZ+IQMx0lucSYy6lf2djf52zYQLEqAbYROKF30zQ=; b=Ic10+vAGYmrYQaP/gTU3LwGnlZajNS7c5nqwtplDLCNr/M4YqHlBHS1gHZsUYMJsXt noES9RFDudjiD30YO3tRQ86LFlt5JhhXDmyXRDEQ22/1gLcCknMNR1ZihrCeQiiJ3Nvh QBkuV9DQgQI18VjxG1UftDajnpAPjB0gf/ZwjmVXXbPoCpF6Aw4yNHhc6HABKmlSX/W2 LJy4mjp5DPKnRg0VkL2bP6Sm283E+83uu+v/TYTN19fkbQTgwCfwzGAwFVtD4e/+F5c4 SvcAR9NMpb7sRsTQPavNwsq+AljdM0YQ9aYhVqEEjCNVNRUHIoTtYRBAsndIT6JK3CJv K1sg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=zxTLZ+IQMx0lucSYy6lf2djf52zYQLEqAbYROKF30zQ=; b=XKAmFmh35Cb+rwLtvNVdZ19Usfr73Bzxc+R1Vf/Jv2Q2xNLHDctoxDZc45x2VqUJbw ulJCWQiho1jVlg4HEW+DYJCl0vquDwI4rjiPayPLQlQyyiOQ0jWCSSjYdkNthNPtNbRN 1rd2wExAOfs7zbxAlshZ2FzRgGr9uPwRgEqEVvuZ28MVVwFlZ7RgILgwVxHbBXc7Dt5y MsFwjzkFWamP4m3pXX5TWXB8bCpvfMpDfRl+eNjlgqStHhfE1g21QTkHE6LF2INSrfyO xap3aihT6X1ARhgdM5GYQZQzbAoDLFVDwIbKoO0kw1surRuifRRs/tnSs+IJHPfCI9lm tO4A== X-Gm-Message-State: AEkoouu+WNh4vi/23aV7QoX1l5cEVpa9kz6Qa2Ng00ApxwvoqIVLGktNqiNWl3twCV+Avs1sGUA5NzGHtPrXzg== X-Received: by 10.129.73.66 with SMTP id w63mr54016261ywa.146.1470159273524; Tue, 02 Aug 2016 10:34:33 -0700 (PDT) MIME-Version: 1.0 Received: by 10.129.117.136 with HTTP; Tue, 2 Aug 2016 10:34:33 -0700 (PDT) In-Reply-To: <20160802172122.GA14641@xinutec.org> References: <86a8gvjv6d.fsf@gmail.com> <20160802172122.GA14641@xinutec.org> From: Arlen Cox Date: Tue, 2 Aug 2016 13:34:33 -0400 Message-ID: To: Pippijn van Steenhoven Cc: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Make OCaml library available to Java If you stuck to a really simple subset of OCaml, it might be possible to do a Scala translation (with appropriate type information), just like if you stick to a really simple subset the code can work as F# code. I think Yeti falls into the same camp. It doesn't look like it supports a proper module system either. Honestly this is really just a thought experiment. What I really want is for OCaml-Java to be revived... -Arlen On Tue, Aug 2, 2016 at 1:21 PM, 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. > > 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/