Re: [Caml-list] French study on security and functional languages

[Esther Baruk <esther.baruk@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 2349 bytes --]

Hello,

I'll just translate for you one of the recommandations of the document
"Modèles d'exécution d'OCaml" on page 15 :
"Recommandation R-2 : prefer camlp4 as a preprocessor"
I didn't read the whole document but reading this simple sentence makes me
conclude that this LaFoSec project was done without taking into account all
the community "movement" that is going on right now.
 From my point of view, you cannot analyse a language, or the tools that
come with it, without taking informations from experts and from the
community around this language.
These documents do not even mention the -ppx option and thus the project
was done without comparing the two approaches...
However, I think these documents are good to give more visibility to OCaml
and maybe convince people that are still reluctant to functional languages.

Cheers,

Esther Baruk


On Fri, May 24, 2013 at 4:35 PM, oliver <oliver@first.in-berlin.de> wrote:

> On Fri, May 24, 2013 at 04:55:34PM +0900, Francois Berenger wrote:
> > On 05/24/2013 04:02 PM, David MENTRE wrote:
> > >Hello,
> > >
> > >For those reading French, ANSSI (French agency for information
> > >security) published a study on security and functional languages, with
> > >a set of recommendations. OCaml is apparently well studied:
> > >
> http://www.ssi.gouv.fr/fr/anssi/publications/publications-scientifiques/autres-publications/lafosec-securite-et-langages-fonctionnels.html
> >
> > The document "État des lieux des langages fonctionnels"
> > is interesting even out of the context of computer security.
> >
> >
> http://www.ssi.gouv.fr/IMG/pdf/LaFoSec_-_Etat_des_lieux_des_langages_fonctionnels.pdf
> >
> > PS: and, most importantly, page 55 gives good marks to OCaml
> >     compared to other languages (so that we can start to troll now) :-)
>
>
> Hahah :-)
>
> I would be happy to have an english version of this study...
> my language skills are very delimited and french is not
> in the small bag of languages I know.
>
> Possibly the crucial pages can be translated by some people?
>
> Ciao,
>    Oliver
>
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>

[-- Attachment #2: Type: text/html, Size: 3512 bytes --]