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 0C5CE7F0AB for ; Thu, 23 Mar 2017 16:50:25 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=francois.bobot@cea.fr; spf=Pass smtp.mailfrom=francois.bobot@cea.fr; spf=None smtp.helo=postmaster@sainfoin-smtp-out.extra.cea.fr Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=pra; client-ip=132.167.192.228; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of francois.bobot@cea.fr designates 132.167.192.228 as permitted sender) identity=mailfrom; client-ip=132.167.192.228; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; 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@sainfoin-smtp-out.extra.cea.fr) identity=helo; client-ip=132.167.192.228; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="postmaster@sainfoin-smtp-out.extra.cea.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ABnxB0BNLYjUtcOdSD4Ql6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Iv79rarrMEGX3/hxlliBBdydsKMYzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZPebgFHiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0vRz+s87lkRwPpiC?= =?us-ascii?q?cfNj427mfXitBrjKlGpB6tvgFzz5LIbI2QMvd1Y6HTcs4ARWdZQ8hfSSJBDIO/?= =?us-ascii?q?YYUBAeUOMuRXoJXyqVYVsRuzBhOhCP/zxjJGhHL727Ax3eQ7EQHB2QwtB9IAsG?= =?us-ascii?q?7Oo9XzLKASVuG1zLLQwjjeaPNZwjD96JTVeR0mr/GMR6h/cczNxkkoFgPFlU+c?= =?us-ascii?q?ppfiPzyO0eQNr3OW4PZ+Wu21kWInpRtxryGpy8wxiYfJnpoYxk3K+Cln2oo5ON?= =?us-ascii?q?y1RUxhbdK5FJZcqTuWO5VoTs4hW21kpSg3xqMctZKmfSUHyY4rywPbZvCZaYSF?= =?us-ascii?q?4BTuX/uLLzhinnJqYre/ig6y8Ue+zu38UdG50E1QoSpElNnMuHcN1x3V6sSeUf?= =?us-ascii?q?t9+1uh2S6W2wDU9+FEPVo4mrTUKp492L4/jIAfvljdESDsgkn2grWWel0l+uiu?= =?us-ascii?q?9evnfq3rqoKSOoNqkA3yL6Ujl86lDeglNgUCQXKX9fqi2LDg5UH5Ra9Fjvwykq?= =?us-ascii?q?nXqpDaIsEbq7a3Aw9PyIkj7QqwDzCn0NQDh3UIN1VFdwmAj4j1IFzBPO73Au2l?= =?us-ascii?q?j1Siijdn3+rGMaH5ApXRMnjDl6/scqpn5E5ZzAo/1NRf55NPCrEdO//zQU/wtN?= =?us-ascii?q?nADhAjKQC0wuDnCM981owEQ26PDLWZY+vutgql+O0iJfjEXogIsjf7IPg56v/o?= =?us-ascii?q?xSsrmVIbbKDwhcNIQH+9F/ViZU6eZCy/rM0GFDIkpAM4w+vrk2qoVjRUez7mUb?= =?us-ascii?q?g14Do8CZngB4DJQZyFi7GImimhSM4FLltaA0yBRC+7P76PXO0BPWfLepds?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A2AgCT7dNYh+TAp4RdGwEBAQMBAQEJA?= =?us-ascii?q?QEBFgEBAQMBAQEJAQEBiHSLAqgzhiICgxVCFQEBAQEBAQEBAQEBEgEBAQoLCQg?= =?us-ascii?q?oL4IzIgGCQAMDIw8BBUEQCw4MAiYCAlcGDQgBAYoCqm2CJoo9AQEBAQYBAQEBJ?= =?us-ascii?q?IELh0iCaodagl8FnFVrk0KIdoZWk2I1gSY6I1KEaYFwin0BAQE?= X-IPAS-Result: =?us-ascii?q?A0A2AgCT7dNYh+TAp4RdGwEBAQMBAQEJAQEBFgEBAQMBAQE?= =?us-ascii?q?JAQEBiHSLAqgzhiICgxVCFQEBAQEBAQEBAQEBEgEBAQoLCQgoL4IzIgGCQAMDI?= =?us-ascii?q?w8BBUEQCw4MAiYCAlcGDQgBAYoCqm2CJoo9AQEBAQYBAQEBJIELh0iCaodagl8?= =?us-ascii?q?FnFVrk0KIdoZWk2I1gSY6I1KEaYFwin0BAQE?= X-IronPort-AV: E=Sophos;i="5.36,210,1486422000"; d="scan'208";a="217798458" Received: from sainfoin-smtp-out.extra.cea.fr ([132.167.192.228]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 23 Mar 2017 16:50:23 +0100 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by sainfoin-sys.extra.cea.fr (8.14.7/8.14.7/CEAnet-Internet-out-4.0) with ESMTP id v2NFoNCY040431; Thu, 23 Mar 2017 16:50:23 +0100 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id 48776206D81; Thu, 23 Mar 2017 16:50:23 +0100 (CET) Received: from muguet2.intra.cea.fr (muguet2.intra.cea.fr [132.166.192.7]) by pisaure.intra.cea.fr (Postfix) with ESMTP id 25F50206C04; Thu, 23 Mar 2017 16:50:23 +0100 (CET) Received: from [10.8.35.73] (is231324.intra.cea.fr [10.8.35.73]) by muguet2.intra.cea.fr (8.15.2/8.15.2/CEAnet-Intranet-out-1.4) with ESMTP id v2NFoMwA031229; Thu, 23 Mar 2017 16:50:23 +0100 To: Evgeny Roubinchtein References: <1590236478.9253508.1490261850094.JavaMail.zimbra@edu.univ-fcomte.fr> Cc: OCaml Mailing List From: =?UTF-8?Q?Fran=c3=a7ois_Bobot?= Message-ID: Date: Thu, 23 Mar 2017 16:50:22 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.7.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] [Question] Loading .ml in memory to interact with them. Le 23/03/2017 à 16:32, Evgeny Roubinchtein a écrit : > (Nitpick warning) > Does OCaml have an interpreter? I thought it compiles OCaml code to either byte code or native code, > and then byte code gets executed by the byte code interpreter. However, if one wishes to write > OCaml code, then the byte code interpreter, in and of itself, is not enough. > Yes indeed I wanted to say, to embed the OCaml interactive toplevel. -- François