From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 3BE255D5 for ; Thu, 12 Apr 2018 09:41:32 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,441,1517871600"; d="scan'208,217";a="322506544" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 Apr 2018 11:41:29 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id E837082444; Thu, 12 Apr 2018 11:41:29 +0200 (CEST) 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 1B6C082416 for ; Thu, 12 Apr 2018 11:41:27 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mukeshtiwari.iiitm@gmail.com; spf=Pass smtp.mailfrom=mukeshtiwari.iiitm@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f50.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AoFx3lRaKRVRCYO5QZ2muWrP/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoMW/bnLW6fgltlLVR4KTs6sC17KN9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCazbL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD?= =?us-ascii?q?0fOjA5/m/ZidF+grxHrx+6vRNz35TZbZuJOPZifK7Qe84RS2pbXsZWUixMGoa8?= =?us-ascii?q?b5YMD+UfJuZYr5T2p0cPrRqwHwasHuLvwSJPi3/zwK060PouERrG3Aw8HtIPvm?= =?us-ascii?q?7brM/0NKsIUOC1zajIzSnGb/5N1jf97ZLHchElof2WQb1wds/RxFApGgjYgFuQ?= =?us-ascii?q?ronlMCmU1uQLq2Wb6PZvWviqi24jqQF+uCavyd02honOnIIVxUjI9Sp4wIYpJd?= =?us-ascii?q?24VVV0bcS4H5tXsiGXMZZ9TMA6Q2xwuis3xacKtYOlcCUK0pgqxADTZ+aHfoSU?= =?us-ascii?q?5B/oSfyfLi1ihH1/fbKynxay/lakyu37TsS01UxFritBktXVuHEN0gDf5tGJSv?= =?us-ascii?q?Z94kutwzmP1wfU6uFLJUA7i7DXJIImwr41jpYTsELDETHqmEjujqKbeV8o9vW2?= =?us-ascii?q?5+nneLnrpYGQO5V0hw3iKqgun9awAeU8MggARWib/uG82aXm/U3kQ7VFkOY2kq?= =?us-ascii?q?nFsJDbK8UUvLS5Aw5P3oYi6ha/Dium0NEDkHkIKVJKYhOHj4zzN17SJ/D4CO+z?= =?us-ascii?q?g06wnzdz2/DGIrrhD43RIXfZlbfhea9x60pdyAoo0dBS/IlUC7EEIPLrQED9rt?= =?us-ascii?q?3YDhkjMwy12enrEtt91plNEV6IV6SQNaeXtV6T+souJfONbckbomXTMf8gsvvz?= =?us-ascii?q?jnIimRcBfLagx5pfPHWlHfl9I1mYfnP2g5EAEGYWuyIxSeXrjBuJVjsFNCX6ZL?= =?us-ascii?q?41+jxuUNHuNozEXI342OXQjhf+JYVfYyV9Mn7JFH7pc4ueXPJVMXCdJ8ZglnoP?= =?us-ascii?q?Ur3zEtZ9hyHrjxfzzv9cFsSR4jcR7Mux29185umVnhY3p2QtUpatllqVRmQxpV?= =?us-ascii?q?smAj872Kcl/B54w1aHlLd927lWSIQV6PROXQM3c5Xbyr4iBg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BkAwCHKc9ahjJSfUpcg0hPATxvKAqDW?= =?us-ascii?q?YEdglCRI4MDh0qGMoRngXsLBRqEZIJLBxkHAQQyFgECAQEBAQEBAQEBEwEBAQg?= =?us-ascii?q?LCwgoIwyCNSKCQjMdARsPDwMSCAEHNwIkAREBBQE+C4RgAQMVD5hogx08iwWBf?= =?us-ascii?q?wUBF4JvBYNMChkmDVRXgicCBhKHa4IThysCgg0fgjSCVAKXXQiFVohhgTODWoc?= =?us-ascii?q?3iSOGYA8DHoEEIwlbgR9wgQCCEgmCJYEDAQiCQoUUhVAtMI8BAQE?= X-IPAS-Result: =?us-ascii?q?A0BkAwCHKc9ahjJSfUpcg0hPATxvKAqDWYEdglCRI4MDh0q?= =?us-ascii?q?GMoRngXsLBRqEZIJLBxkHAQQyFgECAQEBAQEBAQEBEwEBAQgLCwgoIwyCNSKCQ?= =?us-ascii?q?jMdARsPDwMSCAEHNwIkAREBBQE+C4RgAQMVD5hogx08iwWBfwUBF4JvBYNMChk?= =?us-ascii?q?mDVRXgicCBhKHa4IThysCgg0fgjSCVAKXXQiFVohhgTODWoc3iSOGYA8DHoEEI?= =?us-ascii?q?wlbgR9wgQCCEgmCJYEDAQiCQoUUhVAtMI8BAQE?= X-IronPort-AV: E=Sophos;i="5.48,441,1517871600"; d="scan'208,217";a="261793202" Received: from mail-wm0-f50.google.com ([74.125.82.50]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 12 Apr 2018 11:40:56 +0200 Received: by mail-wm0-f50.google.com with SMTP id b21so8526394wme.4 for ; Thu, 12 Apr 2018 02:40:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=XbnfCtiqfLqCdHl7Kq2pAvxkNIgKHV9t2d5MTJg1k6I=; b=eccvKdReZeqE58fprTqe8PE8029dx2fY40Y0OQBOFkeByGnBP0cLJvOs6GhcJdw6Zr 1RwxQn4CqLTGpYquRY7il7G2le+zOBR2VzZ/jFvTQMF2bUlnQoSq5VEnf7ul7eRRFU84 /si7IsS5pygMwj9JXR00Tmf4xNG14Qm5d33Z8WO3pUCWbmyUjy4XZc7Z9OaMZYMAcQIK SMYo+eNwfDLL6GrX2Ae3251Qy1SvNHwVniSILdAgR0/Cd7I/N0DTIex3djrt8Q9tpaUK mu1D0CWhaK3kdIOkoFrUTOaYLD04TIw/rzA9vwOGpih2w3DEGsC1G4+kG539OaYMf7xb Syaw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=XbnfCtiqfLqCdHl7Kq2pAvxkNIgKHV9t2d5MTJg1k6I=; b=BUXEUraO838QC+V9pMxG0HY3bARKsk2zOuNHNTtETEU+D9CLDC3EAUbUbWj8g3r8c3 wyPObMHIyldb6wbufeZfTC/oVUh8Llwyn6AE7EOGrzYRw4NMG4wMQG2uK1EInDIFOX6h 9yiSrOt+JJltgz4uvn/qRAENzQVF46jHRSxg4pXE56dSfTKzNAaoiHL/6n4SGvIc+mwT B6QMbykJ1NQ4Hi56Jeud+rkr60dgFo9tb0GZejZfk3dTS8hUha6L7q8lY4s3B7TR4+Bq TgjVatp0rE5azXJiNvWf8zETu3E0uZPS+ec+bpimZdUjgJwimggFXfO51a1HUo4mIXeC zfpQ== X-Gm-Message-State: ALQs6tB93svIU9iHzudaHsbbiqyONNnOR9zgTGuquyuYVgjHmdK9rxaT 8OGvfHwOPaWSKl+f0XYZAnNQKMBZNyLLNkdv/H4Uhw== X-Google-Smtp-Source: AIpwx4+AJZfTxGxR+kw7/NgPemXLqwoWByMIURxqSI6vJUk952MYMIqPWq5t6SOvGrjB0OivqVGW6+keVI8Wz46EH4s= X-Received: by 10.28.6.14 with SMTP id 14mr145843wmg.42.1523526055817; Thu, 12 Apr 2018 02:40:55 -0700 (PDT) MIME-Version: 1.0 Received: by 10.223.190.14 with HTTP; Thu, 12 Apr 2018 02:40:55 -0700 (PDT) From: mukesh tiwari Date: Thu, 12 Apr 2018 19:40:55 +1000 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="001a1143cd405cf7250569a38d5f" Subject: [Caml-list] Calling Java function from OCaml Reply-To: mukesh tiwari X-Loop: caml-list@inria.fr X-Sequence: 16797 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --001a1143cd405cf7250569a38d5f Content-Type: text/plain; charset="UTF-8" Hi Everyone, I am trying to call some Java functions from OCaml (Extracted from Coq if it matters). I am familiar with ocamljava [1], but it says that "*The generated code usually runs faster than OCaml bytecode but slower than native code. Memory consumption and startup time are also higher, but leveraging the multiple cores of a machine can help reaching the performance level of native code.*", and I don't want to leave the OCaml native code. One suggestion I got on #ocaml channel is using RPC and a quick Google search leads to ocaml-rpc [2]. I am wondering if experts from OCaml community could please give me some suggestions. Best regards, Mukesh Tiwari [1] http://www.ocamljava.org/ [2] https://github.com/mirage/ocaml-rpc -- 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 --001a1143cd405cf7250569a38d5f Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi Everyone,
I am trying to call = some Java functions from OCaml (Extracted from Coq if it matters). I am fam= iliar with ocamljava [1], but it says that "The generated code usua= lly runs faster than OCaml bytecode but slower=20 than native code. Memory consumption and startup time are also higher,=20 but leveraging the multiple cores of a machine can help reaching the=20 performance level of native code.", and I don't want to leave = the OCaml native code. One suggestion I got on #ocaml channel is using RPC = and a quick Google search leads to ocaml-rpc [2].=C2=A0 I am wondering if e= xperts from OCaml community could please give me some suggestions.

=
Best regards,
Mukesh Tiwari
--001a1143cd405cf7250569a38d5f--