From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id C46097EE80 for ; Tue, 19 Mar 2013 06:43:07 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of d@lobraico.com) identity=pra; client-ip=209.85.210.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="d@lobraico.com"; x-sender="d@lobraico.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of d@lobraico.com designates 209.85.210.174 as permitted sender) identity=mailfrom; client-ip=209.85.210.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="d@lobraico.com"; x-sender="d@lobraico.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ia0-f174.google.com) identity=helo; client-ip=209.85.210.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="d@lobraico.com"; x-sender="postmaster@mail-ia0-f174.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AugBAFL5R1HRVdKukGdsb2JhbABDxTSBZhYOAQEBAQkJFBQogiQBAQQBcgcFCwsOCgklDwEREwEFARwGExaHbAMJBgykCo4jhi8NiVuMPAuCSQeDQAOIdYwJjUiDOD+ESw X-IPAS-Result: AugBAFL5R1HRVdKukGdsb2JhbABDxTSBZhYOAQEBAQkJFBQogiQBAQQBcgcFCwsOCgklDwEREwEFARwGExaHbAMJBgykCo4jhi8NiVuMPAuCSQeDQAOIdYwJjUiDOD+ESw X-IronPort-AV: E=Sophos;i="4.84,870,1355094000"; d="scan'208";a="6976200" Received: from mail-ia0-f174.google.com ([209.85.210.174]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 Mar 2013 06:43:06 +0100 Received: by mail-ia0-f174.google.com with SMTP id b35so89138iac.19 for ; Mon, 18 Mar 2013 22:43:05 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=x-received:from:to:cc:subject:references:user-agent:in-reply-to :date:message-id:mime-version:content-type:x-gm-message-state; bh=5wrWgkZqDiTDjrbSifLu4hSVGIz/zjD87nxIVLUGX1w=; b=gltI1vP8fySqOjveJoqwRjyR6wKGhFF2qZqHfsJIu3cTyEAuBe4wUStA7qznli/O+m SM39Qv/u6vtp3OrkuBLbw3GLG0yA54zsu4KfcWT9HD9Q9VaqhaaqHCIGFjTETjizHRRa SrkWhedc4ToMvjLOQcU+09F0qQR7nLrBoZjmlMsyBrJ/GGNyyC457UNiFGCEZ3J9W0YM ddD4zjRUDoLJBfs90ZFHZWt9pG9Mi2hqkERvSs6BqVqgeW/1TGX5t5dhJqbtpks0bV9Y FrSd4zQgCX80BCfrk62QjmSbHsXvqbynaxzklnWSVRD/l7D/P98waAniRDUnjZuFk3US y0tA== X-Received: by 10.50.42.165 with SMTP id p5mr961814igl.75.1363671785287; Mon, 18 Mar 2013 22:43:05 -0700 (PDT) Received: from localhost (c-98-223-156-50.hsd1.in.comcast.net. [98.223.156.50]) by mx.google.com with ESMTPS id i10sm12657449igz.9.2013.03.18.22.43.03 (version=TLSv1.2 cipher=RC4-SHA bits=128/128); Mon, 18 Mar 2013 22:43:04 -0700 (PDT) From: D. LoBraico To: "Yaron Minsky" Cc: "Lukasz Stafiniak" , "caml-list\@inria.fr" References: <5143510E.2000009@recherche.enac.fr> User-agent: mu4e 0.9.9.5-dev6; emacs 24.3.1 In-reply-to: Date: Tue, 19 Mar 2013 00:43:03 -0500 Message-ID: MIME-Version: 1.0 Content-Type: text/plain X-Gm-Message-State: ALoCoQktsvCTHoZg9UsokDyY/or6MB2fItjKizYIvahEbE2v1t/eH6b28qJrCTL3C1aaGtizptEA X-Validation-by: d@lobraico.com Subject: Re: [Caml-list] Use of OCaml in universities and engineering schools Yaron Minsky writes: > I know of few places in the US that teach Haskell in the intro > sequence. The main concern, I think, is that teaching imperative > programming in Haskell requires too much sophistication. The honors CS intro sequence here at University of Chicago uses Haskell for the first course (and then a mix of Python, C, shell-scripting, awk, and sed for the second course). > That said, I think there are a decent number of places in Europe that > do teach Haskell in the intro sequence, so YMMV. > > My sense is that in the US, ML has quite a good spot relative to other > languages when it comes to University teaching. The primary languages > people teach with in elite US institutions are, I think: > > - Java No Java in the CS curriculum for majors here (a few courses geared towards technically-minded non-majors). > - Python The go-to language for a lot of 200-level courses because most of the professors and grad students are comfortable with it (for evaluation/grading purposes) and most students have had some contact with it. > - C The other go-to language (obviously). > - OCaml/SML Until Dave MacQueen (one of the main SML researchers/developers, http://www.cs.uchicago.edu/people/dbm) retired this past summer he taught a functional programming class here that used SML and Haskell (half and half). It's unclear what plans there are to teach a dedicated FP class moving forward. > - Scheme The first course in the standard intro sequence is taught with Racket (Scheme dialect(?)) with a particular focus on functional aspects. -Dominick > > With Java and Python having the lion's share. C and OCaml/SML are > most often taught as part of the "advanced" intro class. > > I think this is a real opportunity for OCaml. If we can make OCaml > much easier to use for newbies who want to do something outside of > class, I think it's a real chance to reach a wider audience. OPAM > gets us a chunk of the way, but there's more work to do beyond that. > > y > > On Sun, Mar 17, 2013 at 5:29 PM, Lukasz Stafiniak wrote: >> Evolution isn't about how much you achieve but about how well you compete. >> How do we stand in relation to Haskell in education? Or is your worry solely >> about giving ground to Python? >>