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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 6FA917ED45 for ; Mon, 25 Jun 2012 02:09:48 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuQCABqr509KfVI0jmdsb2JhbABDtXUIIgEBAQEJCwkJEgYjghgBAQEDARICLAEbHQEDAQsGBQsDOCIBEQEFARwGGwEZh1oBAwYFmjYJA4wjgnGEBAoZJw1XiHEBBQyRKQOVLoESiBSEfj6EAA X-IronPort-AV: E=Sophos;i="4.77,468,1336341600"; d="scan'208";a="164237099" Received: from mail-wg0-f52.google.com ([74.125.82.52]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 25 Jun 2012 02:09:48 +0200 Received: by wgbgn7 with SMTP id gn7so3574850wgb.9 for ; Sun, 24 Jun 2012 17:09:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=J3xYoJnC3SuUgJQlptFvYPbKRB8u7p4guKz7kLlqQIU=; b=Gv8YRKg8GlO0010HsjzHclwncsxIsgctYBoL2ZUx2zh9ZLflQyiAJSaORWXdvbDNoY esrWHOAJc/vLpvaGPnkl6U0b7VsWuspYL87E6oZypXEcgTCJ5XROyUzle+kt5ywbwkAn inVaRrpUud9ETDUhwo2pJaAHuOtBiVyDg+9sWKC4mEFi2aY2Hmi0jlNFTmxtTwbCv5M9 BYF1NWgdVxdM+JueP273eB7zXzIb71iFlgo2WPGvw9GdGScvkY06zO8VqOLyLDyczGPY q/dOWZiK57/EtLZmTS1I4Dk9yLYKUUEdhR6+MsgUvpbZIgkDiIfTVElZ+4u7WkPEyuZy 3fgQ== MIME-Version: 1.0 Received: by 10.216.218.144 with SMTP id k16mr4866623wep.215.1340582987331; Sun, 24 Jun 2012 17:09:47 -0700 (PDT) Received: by 10.217.1.8 with HTTP; Sun, 24 Jun 2012 17:09:47 -0700 (PDT) In-Reply-To: References: <20120624211840.124466j26yxz6rkg@webmail.in-berlin.de> <20120624.220220.2022399462583597382.Christophe.Troestler@umons.ac.be> Date: Mon, 25 Jun 2012 02:09:47 +0200 Message-ID: From: Diego Olivier Fernandez Pons To: Lukasz Stafiniak Cc: OCaml Mailing List Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] print_int is too slow Lukasz, > You haven't needed to flush output when debugging? That's called MODERNITY... This website sits I don't know where in the world, takes my source code, runs it on data I don't know how it got (random ? predefined and preloded on a toplevel perpetually up ? read from the web in some XML file), compares it with a result I don't know how (diffs with existing flat files ? runs a code known to be correct and compares results ?) and tells me how my code performed on a testbed, the point where it started diverging from expected outputs and diffs, while also allowing me to create my own testbeds. There is also step-by-step execution (for examples only, hope it will be extended to user code). I also miss on-hover inspection of variables which I have in other environments. On it 17 000 kids I don't know learn programming and algorithms (mostly in C/C++ but they can choose Caml, Java, Python, etc) and probably just like me they don't have any compiler installed on their laptop. Here is a website I like to program on (http://codepad.org/) as well as the usual suspects (http://try.ocamlpro.com/, http://www.tryfsharp.org/). There is a little trick however... I work mostly in combinatorial optimization. If your input takes more than 1s to read or write, it will take the age of the universe to solve given combinatorial algorithms are exponential in the input size. And there is little point in putting a printf on a branch-and-bound algorithm that opens 10^6 nodes. Diego Olivier