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 OAA05332; Fri, 30 Aug 2002 14:45:13 +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 OAA05315 for ; Fri, 30 Aug 2002 14:45:12 +0200 (MET DST) Received: from mg.ihep.su (mg.ihep.su [194.190.161.38]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g7UCjBD16731 for ; Fri, 30 Aug 2002 14:45:11 +0200 (MET DST) Received: by mg.ihep.su (Postfix, from userid 65436) id 9A3D5B53E4; Fri, 30 Aug 2002 16:45:06 +0400 (MSD) Received: from ontil.ihep.su (ontil.ihep.su [194.190.161.63]) by mg.ihep.su (Postfix) with ESMTP id E22C9B53B3; Fri, 30 Aug 2002 16:45:05 +0400 (MSD) Received: from localhost (vsl@localhost) by ontil.ihep.su (8.11.6/8.11.6) with ESMTP id g7UCiQr02120; Fri, 30 Aug 2002 16:44:30 +0400 Date: Fri, 30 Aug 2002 16:44:26 +0400 (MSD) From: Vitaly Lugovsky To: SooHyoung Oh Cc: Caml-List Subject: Re: [Caml-list] Q: safe language In-Reply-To: <001c01c24fc5$9c51bfb0$fe00a8c0@hama> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Fri, 30 Aug 2002, SooHyoung Oh wrote: > I heard Ocaml is "safe" language. > > Some questions about "safe" language: > - Is it necessary for a safe language to have a type system? > - Isn't Lisp a safe language? (cadr '(1)) ------------------- 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