From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 4F5D2BC69 for ; Wed, 26 Sep 2007 10:58:43 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAGO7+UbAXQImk2dsb2JhbACOLQEBAQEHBAYHIA X-IronPort-AV: E=Sophos;i="4.20,300,1186351200"; d="scan'208";a="3268830" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 26 Sep 2007 10:58:43 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l8Q8wgV8029776 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 26 Sep 2007 10:58:42 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAGO7+UbLENaMnmdsb2JhbACOLQEBAQEHBAYn X-IronPort-AV: E=Sophos;i="4.20,300,1186351200"; d="scan'208";a="1802225" Received: from ipmail01.adl2.internode.on.net ([203.16.214.140]) by mail2-smtp-roc.national.inria.fr with ESMTP; 26 Sep 2007 10:58:41 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAAS6+UZ5LHvc/2dsb2JhbAAM X-IronPort-AV: E=Sophos;i="4.20,300,1186324200"; d="scan'208";a="197919014" Received: from ppp121-44-123-220.lns10.syd6.internode.on.net (HELO [192.168.1.201]) ([121.44.123.220]) by ipmail01.adl2.internode.on.net with ESMTP; 26 Sep 2007 18:28:38 +0930 Subject: Re: [Caml-list] Re: Cherry-picking modules (was Re: [ANN] OCaml Reins 0.1 - Persistent Data Structure Library) From: skaller To: Daniel =?ISO-8859-1?Q?B=FCnzli?= Cc: caml-list List In-Reply-To: <5590B742-9084-46C9-A1DB-D7C98E90ECA3@epfl.ch> References: <46F95938.7030107@cs.umd.edu> <17487E59-04F2-4509-87B5-24377B051E9E@epfl.ch> <46F961E5.5060302@cs.umd.edu> <55A4E82E-3D05-4F79-A8A6-A87905EB4FC8@epfl.ch> <1190794775.6800.69.camel@rosella.wigram> <5590B742-9084-46C9-A1DB-D7C98E90ECA3@epfl.ch> Content-Type: text/plain; charset=utf-8 Date: Wed, 26 Sep 2007 18:58:38 +1000 Message-Id: <1190797118.6800.92.camel@rosella.wigram> Mime-Version: 1.0 X-Mailer: Evolution 2.10.1 Content-Transfer-Encoding: 8bit X-Miltered: at discorde with ID 46FA1F42.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 0200,:01 statically:01 extensively:01 gtk:01 libs:01 sourceforge:01 wrote:01 dynamically:01 caml-list:01 data:02 define:02 modules:02 kernel:02 kernel:02 On Wed, 2007-09-26 at 10:30 +0200, Daniel Bünzli wrote: > Le 26 sept. 07 à 10:19, skaller a écrit : > > Would you really recommend statically linking your whole desktop > > against the Linux kernel?? :)) > > Did you read the last parenthesis of my email ? Yes, I am just moving the 'dividing line' you make closer to reality, i.e. most major application on all platforms these days use dynamic linking quite extensively .. and they do it because it is MORE reliable on that scale. > Libraries that are > guaranteed to be provided with a particular version of an os should > be dynamically linked in, but the rest should be mostly static. Define 'os'! Do you include X windows as part of the OS? How about GUI support eg GTK? (Win32 has kernel support for parts of the GUI stuff). What about OpenGL libs? You could ask, eg Debian developers how they'd go maintaining the Debian archive without dynamic linkage .. -- John Skaller Felix, successor to C++: http://felix.sf.net