From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 3702A7EE51 for ; Sun, 26 May 2013 17:00:10 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of oliver@first.in-berlin.de) identity=pra; client-ip=192.109.42.8; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="oliver@first.in-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of oliver@first.in-berlin.de) identity=mailfrom; client-ip=192.109.42.8; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="oliver@first.in-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@einhorn.in-berlin.de) identity=helo; client-ip=192.109.42.8; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="postmaster@einhorn.in-berlin.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao0BAKIiolHAbSoIlGdsb2JhbABahnO5H4UngQQWDgEBAQEJCwkJFAQkgiQBBSNmCwkRAgUhAgIPBRhYBodzBKwAkGQWgRCNfhaCKzJhA48HiDOUUg X-IPAS-Result: Ao0BAKIiolHAbSoIlGdsb2JhbABahnO5H4UngQQWDgEBAQEJCwkJFAQkgiQBBSNmCwkRAgUhAgIPBRhYBodzBKwAkGQWgRCNfhaCKzJhA48HiDOUUg X-IronPort-AV: E=Sophos;i="4.87,745,1363129200"; d="scan'208";a="19020691" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 26 May 2013 17:00:09 +0200 X-Envelope-From: oliver@first.in-berlin.de X-Envelope-To: Received: from first (e178005108.adsl.alicedsl.de [85.178.5.108]) (authenticated bits=0) by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id r4QF080b017236 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Sun, 26 May 2013 17:00:09 +0200 Received: by first (Postfix, from userid 1000) id 62DB4154066B; Sun, 26 May 2013 17:00:08 +0200 (CEST) Date: Sun, 26 May 2013 17:00:08 +0200 From: oliver To: caml-list@inria.fr Message-ID: <20130526150008.GA2014@siouxsie> References: <20130523235355.GI6510@siouxsie> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <20130523235355.GI6510@siouxsie> User-Agent: Mutt/1.5.20 (2009-06-14) X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8 Subject: Re: [Caml-list] OCaml's variables Looks to me, that the paedagogical concepts that were mentioned here, rather create confusion than making things clear. Some students learn this banning of the term "variable" (and can rely on "I've learned this in university"), spread these news to the programmer community and when this wording style comes back to the originators, it will be judged as wrong. These teaching concepts look wrong to me. Ciao, Oliver