From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA32454; Fri, 30 Aug 2002 10:45:00 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA32660 for ; Fri, 30 Aug 2002 10:44:59 +0200 (MET DST) Received: from mailhost.tni.fr (firewall.tni.fr [195.25.255.61]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g7U8iwD09995 for ; Fri, 30 Aug 2002 10:44:58 +0200 (MET DST) Received: from groscool.tni.fr ([195.25.255.1]) by mailhost.tni.fr (Netscape Messaging Server 3.62) with SMTP id 1610; Fri, 30 Aug 2002 10:44:01 +0200 Received: from 192.168.7.72 by groscool.tni.fr (InterScan E-Mail VirusWall NT); Fri, 30 Aug 2002 10:44:01 +0200 (Paris, Madrid (heure d'été)) Message-ID: <3D6F2FBA.CCE69BE2@tni.fr> Date: Fri, 30 Aug 2002 10:41:30 +0200 From: "sebastien FURIC" X-Mailer: Mozilla 4.7 [fr] (WinNT; I) X-Accept-Language: fr MIME-Version: 1.0 To: Caml-List CC: SooHyoung Oh Subject: Re: [Caml-list] Q: safe language References: <001c01c24fc5$9c51bfb0$fe00a8c0@hama> Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk SooHyoung Oh a écrit : > > I heard Ocaml is "safe" language. > > Some questions about "safe" language: > - Is it necessary for a safe language to have a type system? Typing ensures the functions to be applied the right way. So a safe language must be typed, either dynamically (like LISP) or statically (like O'Caml). > - Isn't Lisp a safe language? You can consider it as a degenerated version of O'Caml with only one type (object): type object = | Integer of int | String of string | Cons of object * object | Nil ... Since functions (from objects to objects) can't fail (no core dump), LISP may be considered as a safe language... Sebastien. ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners