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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 361367EE80 for ; Wed, 20 Mar 2013 18:40:21 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of agarwal1975@gmail.com) identity=pra; client-ip=209.85.223.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of agarwal1975@gmail.com designates 209.85.223.171 as permitted sender) identity=mailfrom; client-ip=209.85.223.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ie0-f171.google.com) identity=helo; client-ip=209.85.223.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="postmaster@mail-ie0-f171.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvAJAKLzSVHRVd+rkGdsb2JhbABEDgiJIKk/MoMbhhIBiEeBSggWDgEBAQEJCRQUKIIkAQEEAUABGxILAQMBCwYFBAcDFyEiAREBBQEKEgYTCAqHbwEDCQYMpCSMMoJ7hFYKGScDClmIfAEFDI5/BAeDQAOTGoNGgR+KTIM1FimCVIEaWyA X-IPAS-Result: AvAJAKLzSVHRVd+rkGdsb2JhbABEDgiJIKk/MoMbhhIBiEeBSggWDgEBAQEJCRQUKIIkAQEEAUABGxILAQMBCwYFBAcDFyEiAREBBQEKEgYTCAqHbwEDCQYMpCSMMoJ7hFYKGScDClmIfAEFDI5/BAeDQAOTGoNGgR+KTIM1FimCVIEaWyA X-IronPort-AV: E=Sophos;i="4.84,880,1355094000"; d="scan'208";a="8541347" Received: from mail-ie0-f171.google.com ([209.85.223.171]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 20 Mar 2013 18:40:20 +0100 Received: by mail-ie0-f171.google.com with SMTP id e14so586918iej.30 for ; Wed, 20 Mar 2013 10:40:19 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:mime-version:in-reply-to:references:from:date:message-id :subject:to:cc:content-type; bh=OyLfBZYwih3fMkx7q8h0FkU4ml4Kyyg1UIJ8wqDz75c=; b=wxUjj0P+/IQPS8tZw/49UbZnHt59BIpoM6LjPZKQxG/iNOjS4webk62hT0xhB/BlF+ H0FSUYaqRDDVxgsc1449GDuvKHsM6zpFD0Ctpa7CyOp3jakVWsazngly7Hodr+S48/Qw 0fIiXZA4kx1wwcWr+dhRbKysSvJtUif8SXmj4gCpBHHTWk4KorLaBtYNStpiysMYSfg8 UlWzlkSOc5ruSwehTLGS96V6XDQgw+t37ZWvkC4FpQmJG3RQR3EuTbOw6XA4qDJgAWyr 33Fga7O/9xziwP3tI8cJBe2xYWG3tDzU2D30VQ/vzY80B4P9F+oLVWXqpvXxxUpuubYw KsKw== X-Received: by 10.50.45.136 with SMTP id n8mr5026007igm.34.1363801219337; Wed, 20 Mar 2013 10:40:19 -0700 (PDT) MIME-Version: 1.0 Received: by 10.64.77.133 with HTTP; Wed, 20 Mar 2013 10:39:59 -0700 (PDT) In-Reply-To: <51497FF9.1070102@ropas.snu.ac.kr> References: <51497FF9.1070102@ropas.snu.ac.kr> From: Ashish Agarwal Date: Wed, 20 Mar 2013 13:39:59 -0400 Message-ID: To: Kwangkeun Yi Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=14dae934048539166204d85eb757 Subject: Re: [Caml-list] How to shape our [SW construction] course? --14dae934048539166204d85eb757 Content-Type: text/plain; charset=ISO-8859-1 Maybe the cppml project will help you: http://sourceforge.net/projects/cppml/ The main developer said this version is a bit out of date but is willing to push a new release if there's interest. 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 > --14dae934048539166204d85eb757 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Maybe the cppml project will help you:


The main developer said this version is a bit ou= t of date but is willing to push a new release if there's interest.

On Wed, Mar 20, 2013 at 5:23 AM, Kwangkeun Y= i <kwang@ropas.snu.ac.kr> 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. =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

--14dae934048539166204d85eb757--