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 D9F9F7EE80 for ; Wed, 20 Mar 2013 15:07:50 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of thelema314@gmail.com) identity=pra; client-ip=209.85.214.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="thelema314@gmail.com"; x-sender="thelema314@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of thelema314@gmail.com designates 209.85.214.51 as permitted sender) identity=mailfrom; client-ip=209.85.214.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="thelema314@gmail.com"; x-sender="thelema314@gmail.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-bk0-f51.google.com) identity=helo; client-ip=209.85.214.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="thelema314@gmail.com"; x-sender="postmaster@mail-bk0-f51.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhsCACHCSVHRVdYzkGdsb2JhbABDDgiHfqpeiV8BiEeBRggWDgEBAQESDQcUBCSCJAEBBAEjHQEbEgsBAwELBgUEBwMXHQICIgERAQUBChIGExKHbwEDCQYMpA2LY0+Ce4RkChknAwpZiHwBBQyOfwQHgi2BEwOTGoNGgR+KTIM1FimCVIEaWyA X-IPAS-Result: AhsCACHCSVHRVdYzkGdsb2JhbABDDgiHfqpeiV8BiEeBRggWDgEBAQESDQcUBCSCJAEBBAEjHQEbEgsBAwELBgUEBwMXHQICIgERAQUBChIGExKHbwEDCQYMpA2LY0+Ce4RkChknAwpZiHwBBQyOfwQHgi2BEwOTGoNGgR+KTIM1FimCVIEaWyA X-IronPort-AV: E=Sophos;i="4.84,877,1355094000"; d="scan'208";a="7196386" Received: from mail-bk0-f51.google.com ([209.85.214.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 20 Mar 2013 15:07:50 +0100 Received: by mail-bk0-f51.google.com with SMTP id ik5so894320bkc.10 for ; Wed, 20 Mar 2013 07:07:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:in-reply-to:references:date:message-id :subject:from:to:cc:content-type; bh=4GMW8u4ow5uW9s2oGOTvpk46X65isCSDnmqNo/WUW+E=; b=xh/oepoDVBrDGJp9pPdPXu7G+oa+AHnFffTribF1lc2P+pqsQBXf79OADy1ZUGVgS7 21GScF+k3WxeIOnaRcFEKj2VZf/+ZJ/AlWdKL6K3wlEMntYxuNB3Ul58ryIRhzLKtyQZ 5jA79pvIJ0dsOHebHidJWXXch1QrMmQxtMEZYOO8LLUb4TS/L2iZ69Y9qAseuZCZR+v3 nWyvFximi0PqlCU8NUZ2t8zmwdiO69suoodZhHhR+a7CsJWT8SOEOrTeHTWL5rkIdMho VzpLRel8rbVCGi7UHah87wTz9SgXQ/GNhAxGlZOkSl+NFaI74gN9vhXkWrKozgFLTj7t VIYQ== MIME-Version: 1.0 X-Received: by 10.204.198.3 with SMTP id em3mr11010176bkb.96.1363788469496; Wed, 20 Mar 2013 07:07:49 -0700 (PDT) Received: by 10.204.16.78 with HTTP; Wed, 20 Mar 2013 07:07:49 -0700 (PDT) In-Reply-To: <51497FF9.1070102@ropas.snu.ac.kr> References: <51497FF9.1070102@ropas.snu.ac.kr> Date: Wed, 20 Mar 2013 10:07:49 -0400 Message-ID: From: Edgar Friendly To: Kwangkeun Yi Cc: caml-list Content-Type: multipart/alternative; boundary=485b3970d38c4624f204d85bbff0 Subject: Re: [Caml-list] How to shape our [SW construction] course? --485b3970d38c4624f204d85bbff0 Content-Type: text/plain; charset=UTF-8 My recommendation is to commit fully to the new C++11 standard, which has a number of functional features, including closures. These are now supported by recent C++ compilers. E. On Wed, Mar 20, 2013 at 5:23 AM, Kwangkeun Yi wrote: > Hi OCamlers, > > We at Seoul National University are changing our programming curricula so > that junior CS students will be trained to build rather big softwares. > After some discussions we decided to use C++ :-( > > Is there any good idea on nudging(or even forcing) programming in C++ > become more like programming in OCaml? I want our students to enjoy the > merits of high-level, higher-order & typed programming language in this > class even in C++. Would it be possible? > > Maybe I need to build some layer of libraries... > I'd like to hear, if any, more interesting ideas or your experience in > this context. > > All the best, > > -Kwang > > -- > Prof. Kwangkeun Yi > Computer Science & Engineering > Seoul National University > http://ropas.snu.ac.kr/~kwang > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/**arc/caml-list > Beginner's list: http://groups.yahoo.com/group/**ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-**bugs > --485b3970d38c4624f204d85bbff0 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
My recommendation is to commit fully to the new C++11 stan= dard, which has a number of functional features, including closures. =C2=A0= These are now supported by recent C++ compilers.

E= .


On Wed,= Mar 20, 2013 at 5:23 AM, Kwangkeun Yi <kwang@ropas.snu.ac.kr><= /span> wrote:
Hi OCamlers,

We at Seoul National University are changing our programming curricula so t= hat junior CS students will be trained to build rather big softwares. After= some discussions we decided to use C++ :-(

Is there any good idea on nudging(or even forcing) programming in C++ becom= e more like programming in OCaml? I want our students to enjoy the merits o= f high-level, higher-order & typed programming language in this class e= ven in C++. Would it be possible?

Maybe I need to build some layer of libraries...
I'd like to hear, if any, more interesting ideas or your experience in = this context.

All the best,

-Kwang

--
Prof. Kwangkeun Yi
Computer Science & Engineering
Seoul National University
http://ropas.sn= u.ac.kr/~kwang

--
Caml-list mailing list. =C2=A0Subscription management and archives:
ht= tps://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners<= /a>
Bug reports: http://caml.inria.fr/bin/caml-bugs

--485b3970d38c4624f204d85bbff0--