「Objective Caml 3.05」記事へのコメント

'91年頃に

[Anonymous Coward]

SML (Standard ML) でプログラム書いていたことがあります。Objectiveの付く前のCamlも触ったな。
私の卒業した学科 (情報科学科) では2年生にPascalを教えて3年生はSchemeを使ってプログラミングをしていた (Cとかは必要に応じて独習) のですが、その後、2年生がSchemeで3年生はSMLというカリキュラムに変わりました。このため、「SMLでならどう書けばいいか分かるけどCでの書き方が分からない」という学生が続出したそうです。

Re:'91年頃に

[Oliver (4)]

うち( informatik.uni-muenchen.de )だと第一半期の情報学Iが関数型オンリーでSML、情報学IIがオブジェクト指向でJava、情報学IIIがアセンブラでspimでMIPSアセンブラ。最初が関数型なのは、入学前からプログラミングしていた新入生達が楽できない為なのと、逐次実行型の後に関数型を習うとあまりきれいな関数がかけない為だそうだ。

必修系で「教えてもらえる」(ことになっている)言語はこれだけ。他には選択次第ではHaskellやProlog、Schemeにも出会うことになるが、基本的に独習。学期がはじまって最初の宿題の提出がある2週間後までにある程度使える様になれない人材ならば辞めてしまえ、という思想らしい。まあ、だいたい必要があってCやC++およびスクリプト言語もひとつぐらいは自力で覚える。

卒論とか自由実習(理論すくめの卒論の予行演習みたいなもん)だとJavaがまだまだ多いが、ひそかにRubyが広まりつつある。やっぱアルゴリズムが読みやすいのと、開発が楽だからみたいだ。3年間の布教が実ってきた。

def quicksort(arr)
  m = arr[0]
  quicksort(arr.select {|i| i<m}) + arr.select {|i| i==m} + quicksort(arr.select {|i| i>m})
end

とかす・て・きでアカデミック受け (笑)

Haskellはたまに使うけど、Ocamlは機会なくて使ったことなくて残念。

Re:'91年頃に

[mass (8786)]

うちの情報科学科で必修でやる言語としては
2年で Scheme+Sparc asm 、3年で OCaml+Prolog という感じですね。
あ、3年で VHDL もやります（＾＾；
C言語は課題で必須なのですが、言語仕様は独習させられます（笑）
最初に Scheme とアセンブリ言語を同時に学ばせるのは、
理論的なプログラミングと、ハードの実際という両端をまず学ばせて、
中途半端な領域はあとから埋めていく、というスタンスだと聞きました。
実際、大学２年まではC言語以外は使い物にならないと思い込んでいた
自分が、もはやCではプログラムを書けない体になってしまったことを考えると
有意義なカリキュラムだったのでしょう（？）。

C or C++ を使えなくなったのは、ガベコレ無しに耐えられなくなったのが
一番大きな要因ですが（苦笑）

でも OCaml の型推論の概念を最初に知ったときには
その賢さに目からうろこが落ちる気分でした。
とっつきは悪いですけど、ぜひ多くの人に触れてもらいたい言語です。

それじゃ動かないって

[moonwolf (7862)]

終了条件がないから無限に再帰してSystemStackErrorになります。

def quicksort(arr)
    return arr if arr.size<=1
    m = arr[0]
    quicksort(arr.select {|i| i<m}) + arr.select {|i| i==m} + quicksort(arr.select {|i| i>m})
end

Re:それじゃ動かないって

[Anonymous Coward]

Haskellのこれ
（http://www.teu.ac.jp/nsit/~tomoya/Prog/haskellq.htmlから）
> qSort :: [Int] -> [Int]
> qSort [] = []
> qSort (x:xs)
>     = qSort [ y | y <- xs, y <= x ] ++ [x]
>               ++ qSort [ y | y <-xs, y > x ]
と同じね。

パターンマッチングさいこー

Re:'91年頃に

[Anonymous Coward]

ruby は知らないんですが、その quicksort は止まるのでしょうか？

参考までに caml で書いてみました。

let rec quicksort = function
    [] -> []     (* base case *)
  | hd::tl ->
      let (lt,gt) = List.partition (fun i -> i < hd) tl in
        (quicksort lt)@[hd]@(quicksort gt)

Re:'91年頃に

[Anonymous Coward]

うちの大学では３年でOcamlやりました。Ocamlの最終課題はPrologインタプリタとか。