From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mukeshtiwari.iiitm@gmail.com) identity=pra; client-ip=74.125.82.50; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mukeshtiwari.iiitm@gmail.com"; x-sender="mukeshtiwari.iiitm@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of mukeshtiwari.iiitm@gmail.com designates 74.125.82.50 as permitted sender) identity=mailfrom; client-ip=74.125.82.50; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mukeshtiwari.iiitm@gmail.com"; x-sender="mukeshtiwari.iiitm@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-f50.google.com) identity=helo; client-ip=74.125.82.50; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mukeshtiwari.iiitm@gmail.com"; x-sender="postmaster@mail-wm0-f50.google.com"; x-conformance=sidf_compatible 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 --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 --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--