From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <berenger@riken.jp>
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 5A6EB7EE51
	for <caml-list@sympa.inria.fr>; Mon, 27 May 2013 03:18:44 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  berenger@riken.jp) identity=pra; client-ip=134.160.33.161;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="berenger@riken.jp";
  x-sender="berenger@riken.jp"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  berenger@riken.jp designates 134.160.33.161 as permitted
  sender) identity=mailfrom; client-ip=134.160.33.161;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="berenger@riken.jp";
  x-sender="berenger@riken.jp"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  postmaster@postman.riken.jp designates 134.160.33.161 as
  permitted sender) identity=helo; client-ip=134.160.33.161;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="berenger@riken.jp";
  x-sender="postmaster@postman.riken.jp";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AugBAEyzolGGoCGhgGdsb2JhbABaxTyBGQ4BAQsUBz6CIwEBBThAEQsYCRYPCQMCAQIBRRMGAgEBiAm8b48kFoM+A4kdik2DUYYejkA
X-IPAS-Result: AugBAEyzolGGoCGhgGdsb2JhbABaxTyBGQ4BAQsUBz6CIwEBBThAEQsYCRYPCQMCAQIBRRMGAgEBiAm8b48kFoM+A4kdik2DUYYejkA
X-IronPort-AV: E=Sophos;i="4.87,747,1363129200"; 
   d="scan'208";a="15748332"
Received: from postman1.riken.jp (HELO postman.riken.jp) ([134.160.33.161])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 27 May 2013 03:18:42 +0200
Received: from postman.riken.jp (postman1.riken.jp [127.0.0.1])
	by postman.riken.jp (Postfix) with SMTP id 80AFA2588001
	for <caml-list@inria.fr>; Mon, 27 May 2013 10:18:38 +0900 (JST)
Received: from [172.27.98.103] (rikad98.riken.jp [134.160.214.98])
	by postman.riken.jp (Postfix) with ESMTPA id E8E4B32A0085
	for <caml-list@inria.fr>; Mon, 27 May 2013 10:18:37 +0900 (JST)
Message-ID: <51A2B46D.4070205@riken.jp>
Date: Mon, 27 May 2013 10:18:37 +0900
From: Francois Berenger <berenger@riken.jp>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130510 Thunderbird/17.0.6
MIME-Version: 1.0
To: caml-list@inria.fr
References: <CAC3Lx=aj0HxPYvQKpt2yFzcQMXZOc2NKnB56DezQheMHjUPdag@mail.gmail.com> <519F1CF6.7050007@riken.jp> <20130524123551.GA7605@ombreroze.happyleptic.org> <20130524144335.GF2007@siouxsie> <20130524151538.GA9915@ombreroze.happyleptic.org>
In-Reply-To: <20130524151538.GA9915@ombreroze.happyleptic.org>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-PMX-Version: 6.0.0.2142326, Antispam-Engine: 2.7.2.2107409, Antispam-Data: 2013.5.27.10628
Subject: Re: [Caml-list] French study on security and functional languages

On 05/25/2013 12:15 AM, rixed@happyleptic.org wrote:
 > [...]
> How these specifications are formulated, how easy it is to fix and
> maintain them, is as important as the implementation language IMO.

I think rule-based systems are quite good in order to have all these 
properties (rules can be specified, version-controled and are maintainable).
I have even seen rules that clients (non programmers) could understand 
and modify thanks to a DSL.
I guess most languages have rule-based programming libraries.

However, my personal belief is that the most important part is the 
people, not the technology (whatever it might be).
And, there is an excellent book on the subject:
"Peopleware: Productive Projects and Teams"

Regards,
F.