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.7 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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 45DF4BB84 for ; Sat, 30 Aug 2008 21:50:33 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApsEAMNBuUjAXQIm/2dsb2JhbACSCZx4hxUBAg X-IronPort-AV: E=Sophos;i="4.32,299,1217800800"; d="scan'208";a="14412903" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 30 Aug 2008 21:50:33 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m7UJoWN5002697 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sat, 30 Aug 2008 21:50:33 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuIAAM9AuUhA6bjqmmdsb2JhbACSCT4BAQEBAQgFCAcRA5wPhxQBAg X-IronPort-AV: E=Sophos;i="4.32,299,1217800800"; d="scan'208";a="28650466" Received: from wr-out-0506.google.com ([64.233.184.234]) by mail4-smtp-sop.national.inria.fr with ESMTP; 30 Aug 2008 21:50:32 +0200 Received: by wr-out-0506.google.com with SMTP id 50so1159344wra.13 for ; Sat, 30 Aug 2008 12:50:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:mime-version:content-type:content-transfer-encoding :content-disposition; bh=WRJimpMTSpGobQMednmNM/WTRYjk+YNGPqGdxCMTKTw=; b=kwb4IsDYgCrIg4avkEdwiSi45bUt8BAGh2uoKFjsMmecYFXOsWDIaLLbjqLCCH7sxE d2o8BO8i8BauMBltZ25ZD5CXdJadeCumJM4OLwpGtznwdWLdKFZhUj0REinkm/SXbF1N kW/TQm8znL8cwSf9aR/6LLw5ILbJzQJAgWH1c= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:mime-version:content-type :content-transfer-encoding:content-disposition; b=boD0HCxxU/V8FbRptdHyAo2M+EIG8GM+B2uTRab2qvQM4LkvbEh6sgELnNnX38d6Pk dAUilxJ/hFwDP/zQXpXbXu5pBdQ+HlVQWbg2Wc39SWLU9cVY27XbG1uEBFlNHFPlzAne OfMVE1elu5D+0uck1D6TsZHs79U0WUSjiNZLE= Received: by 10.90.53.5 with SMTP id b5mr5388506aga.21.1220125830163; Sat, 30 Aug 2008 12:50:30 -0700 (PDT) Received: by 10.90.113.9 with HTTP; Sat, 30 Aug 2008 12:50:30 -0700 (PDT) Message-ID: Date: Sat, 30 Aug 2008 21:50:30 +0200 From: "circ ular" To: caml-list@inria.fr Subject: Ocaml, a practical functional language? MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline X-Miltered: at discorde with ID 48B9A488.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 haskell:01 ocaml:01 haskell:01 emacs-mode:01 ive:98 lisp:02 functional:02 python:03 seems:03 languages:03 static:03 productive:04 100%:94 oriented:07 I have tried a lot of languages but never really felt 100% satisfied. I really like Python, it makes me very productive but Iwant something a little more functionally oriented plus a static(optionally declared) typesystem. I tried Haskell and I really like it but I find it hard to get used to some things(like no destructive updates of datastructures outside the IO Monad). Ocaml seems a little bit more practical and it is aslo very fast(well haskell is too). tried lisp at first but libraries and documentation just werent up to standards there either. so far Pytho is the best Ive found (for me) but still isn't satisfied. could ocaml be what I look for? i tried installing emacs-mode for ocaml but have problems. anyone done that on windows and can post how?