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 CB2C77EE80 for ; Wed, 20 Mar 2013 10:23:09 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of kwang@ropas.snu.ac.kr) identity=pra; client-ip=147.46.215.73; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kwang@ropas.snu.ac.kr"; x-sender="kwang@ropas.snu.ac.kr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of kwang@ropas.snu.ac.kr) identity=mailfrom; client-ip=147.46.215.73; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kwang@ropas.snu.ac.kr"; x-sender="kwang@ropas.snu.ac.kr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@ropas.snu.ac.kr) identity=helo; client-ip=147.46.215.73; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kwang@ropas.snu.ac.kr"; x-sender="postmaster@ropas.snu.ac.kr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlIJAFB+SVGTLtdJ/2dsb2JhbABDFsRzBASBSRZ0gmNAPRYYAwIBAgFYCAEBiBCgbZguiQ+PLIMqA4hziieDRoEfikyFF4EvgWo X-IPAS-Result: AlIJAFB+SVGTLtdJ/2dsb2JhbABDFsRzBASBSRZ0gmNAPRYYAwIBAgFYCAEBiBCgbZguiQ+PLIMqA4hziieDRoEfikyFF4EvgWo X-IronPort-AV: E=Sophos;i="4.84,876,1355094000"; d="scan'208";a="8445038" Received: from ropas.snu.ac.kr ([147.46.215.73]) by mail2-smtp-roc.national.inria.fr with ESMTP; 20 Mar 2013 10:23:08 +0100 Received: from Kwangkeun-Yis-MacBook-Pro-2.local (unknown [147.46.248.136]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by ropas.snu.ac.kr (Postfix) with ESMTP id BE8C0EB025 for ; Wed, 20 Mar 2013 18:23:05 +0900 (KST) Message-ID: <51497FF9.1070102@ropas.snu.ac.kr> Date: Wed, 20 Mar 2013 18:23:05 +0900 From: Kwangkeun Yi Organization: Seoul National University User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.6; en-US; rv:1.9.1.9) Gecko/20100317 Thunderbird/3.0.4 MIME-Version: 1.0 To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: [Caml-list] How to shape our [SW construction] course? 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