関数型言語ML (SML, OCaml, etc.), Part 6

[1 デフォルトの名無しさん 2009/06/15(月) 07:15:21]

関数型言語MLについて語るスレッドです。

MLは、確固とした理論的背景を持つ言語でありながら、
現実的なソフトの開発にも使用できる実用性を備えた言語です。
また、プログラミングの初心者が最初に学習する言語としても優れています。

総本山
Standard ML http://www.smlnj.org/
Objective Caml http://caml.inria.fr/ocaml/

前スレ
関数型言語ML(SML, OCaml, etc.), Part 5
http://pc12.2ch.net/test/read.cgi/tech/1186292994/

[722 デフォルトの名無しさん 2013/10/05(土) 09:27:34.70]

副作用にも色々表現方法があって迷うなぁ
まぁOCamlはそれがいいんだろうけど

[723 デフォルトの名無しさん 2013/10/05(土) 14:18:01.03]

文字列だけなら print_string とか print_endline とかでいいだろうけど、
数値とか含むのを出力するときはどうするのがスマートなんだろう？
俺はだいたい Printf.printf を使ってしまうのだけど。

[724 デフォルトの名無しさん 2013/10/05(土) 14:42:49.03]

>>721
間違ってる
Windows は CR+LF すなわち現在行を消して先頭に戻してから改行するのだッ

[725 デフォルトの名無しさん 2013/10/05(土) 14:51:34.09]

> Linuxだと\nで改行、\rで現在の行を消して先頭からやり直し、
OSのアプリが, 慣習的に "\n" を論理改行文字として扱ってる(tty ドライバーも
このように扱いやすく作ってある)だけで, 端末制御として使う CR だとか LF とは
分けて考えるべきだと思うよ.

実際に tty を raw モードに設定すると, CR - LF("\r\n") を "\n" にマップする
作業はアプリの仕事になる.

端末から見た, 各制御文字の役割は以下であってそれ以外の何者でもない
CR: カーソルを行の先頭に戻す,
LF: カーソルを次の行に移動する(カラムは移動しない)

[726 デフォルトの名無しさん 2013/10/05(土) 17:25:39.93]

ocamlのcryptokit使おうとしたら、エラーになるんだがなんでなんだぜ。

Fatal error: cannot load shared library dllcryptokit_stubs
Reason: dllcryptokit_stubs.so: cannot open shared object file: No such file or directory

[727 デフォルトの名無しさん 2013/10/06(日) 08:19:42.15]

#ocaml #opam 自己解決したっす dllcryptokit_stubs.so はopamゆーざーなら以下の環境変数の設定が必要っぽい
export CAML_LD_LIBRARY_PATH=~/.opam/system/lib/stublibs/

[728 デフォルトの名無しさん 2013/10/09(水) 00:18:05.42]

なんかopamも便利なんだか不便なんだかわからんな

[729 デフォルトの名無しさん 2013/10/10(木) 12:26:47.83]

フィボナッチ計算させるときに
メモ化するのもアキュムレータ使うのも
同じ振る舞いな気がするんだが
何か違うのかな？

[730 デフォルトの名無しさん 2013/10/10(木) 13:44:52.77]

複数回呼び出したら違うんじゃないの

[731 デフォルトの名無しさん 2013/10/10(木) 14:11:03.39]

それぞれの f(n)までの値をそれぞれ1回ずつ計算して
テーブルに入れるかレコードに入れるかの違いだから
計算回数は同じじゃね？

[732 デフォルトの名無しさん 2013/10/10(木) 18:11:17.89]

fibを何回か呼ぶことを言ってるんじゃねぇの

[733 デフォルトの名無しさん 2013/10/10(木) 18:49:43.04]

呼ぶ回数＝計算回数じゃないの？
どっちもO（n）っぽいんだけど

[734 デフォルトの名無しさん 2013/10/10(木) 19:24:41.41]

fib(n) = fib(n-1) + fib(n-2)
fib(n-2)は呼ばれるが、計算済みだから新に計算はしないってことでしょ。

[735 デフォルトの名無しさん 2013/10/10(木) 21:27:14.82]

そういう二重再帰じゃない方のフィボナッチだよ

[736 デフォルトの名無しさん 2013/10/10(木) 21:50:36.16]

let fib x =
let rec fib_sub (x, accumulator1, accumulator2) =
if x = 0 then accumulator1
else
fib_sub (x - 1, accumulator1 + accumulator2, accumulator1)
in
fib_sub (x, 1, 0)

こういう感じでアキュムレータ使うようなフィボナッチ

[737 デフォルトの名無しさん 2013/10/10(木) 23:36:42.55]

何が言いたいのかわからん
末尾再帰のアキュムレータだろうが、
fib nをm回呼び出す場合メモ化ならO(m+n)だろ

[738 デフォルトの名無しさん 2013/10/11(金) 01:37:05.82]

>>734この
二重再帰の計算オーダーはそうじゃないだろ？？

[739 デフォルトの名無しさん 2013/10/11(金) 02:57:20.14]

>>735
>>738
メモ化のコード書いてくれないとわからない。
あと計算オーダーはそうじゃないのそうって何？

[740 デフォルトの名無しさん 2013/10/11(金) 03:24:27.66]

>>738
>>734の場合でも、f(n)はf(n-1), f(n-2)がメモ化されている場合常にO(1)
メモ化していない場合(最初の一回目)は再帰計算だからO(n)
これはわかるな？

その後 再帰メモ化版のfib(n)は、
それまでn以上の値が呼び出されていたならO(1)であり、
fib nをm回呼び出すならO(m)、2つ合わせて O(m+n)

アキュムレータだけの場合、fib(n)は "常に" O(n)
つまりfib nをm回呼び出すならO(nm)
わかったか？

[741 デフォルトの名無しさん 2013/10/11(金) 04:17:04.97]

HaMLet がまさかのニューバージョン。

http://www.mpi-sws.org/~rossberg/hamlet/

[742 デフォルトの名無しさん 2013/10/11(金) 10:20:41.62]

>>740
あー　>>734はメモ化の再帰ﾊﾞｰｼﾞｮﾝの話ね
理解した

とすると
>>729この違いは
使い捨てならアキュムバージョンは
簡潔に書けて早く
使いまわすならメモ化した方が
再呼び出しは早くていいって感じか

[743 デフォルトの名無しさん 2013/10/11(金) 19:30:47.32]

SMLも開発すすんでるんだな

[744 デフォルトの名無しさん 2013/10/14(月) 18:44:12.10]

http://www.pllab.riec.tohoku.ac.jp/smlsharp/docs/1.0/ja/Ch1.S1.xhtml
SMLの開発って、もしかしてSML#のこと？

[745 デフォルトの名無しさん 2013/10/14(月) 18:45:23.58]

あ、上のhamletのことか。

[746 デフォルトの名無しさん 2013/10/14(月) 18:54:06.65]

SML#は64ビット対応せんのかな。結構期待してるんだけど。

[747 デフォルトの名無しさん 2013/10/15(火) 01:40:51.77]

SML/NJとかも

[748 デフォルトの名無しさん 2013/10/15(火) 01:52:43.43]

Standard SMLってなんだろ？

[749 デフォルトの名無しさん 2013/10/15(火) 15:17:19.69]

int型のmaxって1073741823ですよね
これを超えたらBig_intに切り替えたいんですが
int型の計算でmax_intを超えたかどうかの判定って
どうやったらいいですか？

[750 デフォルトの名無しさん 2013/10/15(火) 17:14:51.41]

無理じゃね
最初からBig_int使えばいいんじゃね

[751 デフォルトの名無しさん 2013/10/15(火) 18:42:26.56]

大学の研究室のプロジェクトだと、パワーのある院生がいる時にどかっと
進んだりするんだよなぁ。

[752 デフォルトの名無しさん 2013/10/15(火) 22:18:09.71]

キャリーフラグを無視しない高級言語ってごくわずかしかないよね。

[753 デフォルトの名無しさん 2013/10/15(火) 23:25:06.01]

そもそも1bit分フラグに使ってるからキャリーフラグなんて役に立たんでしょ
SML#はどうか知らんけど

[754 デフォルトの名無しさん 2013/10/16(水) 22:57:21.15]

C++
http://blog.regehr.org/archives/593
ocaml batteriesには、SafeIntというのがあるらしい。参考になるかもよ。
http://dutherenverseauborddelatable.wordpress.com/2008/08/27/whats-up-with-batteries/

[755 デフォルトの名無しさん 2013/10/18(金) 10:52:33.25]

オブジェクトがさっぱりわからん
レコードと何が違うんだ・・・

[756 デフォルトの名無しさん 2013/10/18(金) 12:04:36.71]

Obj.magic使えば
型なんて関係無くなる？

[757 デフォルトの名無しさん 2013/10/18(金) 12:12:18.87]

[Obj.magic 'a'; Obj.magic "abc"; Obj.magic 123];;
すげー　リストに型が違っても入るぞ
何に使えるんだろ？

[758 デフォルトの名無しさん 2013/10/18(金) 12:52:31.16]

Obj.magic 'a' + 1 ;;
すげー　こんなのもできるんだｗｗｗｗ
関数型言語界のgotoやで

[759 デフォルトの名無しさん 2013/10/18(金) 14:08:58.82]

奇跡も魔法もあるんだよ。

[760 デフォルトの名無しさん 2013/10/18(金) 18:35:29.49]

ただしよくわからんで使うと死ぬ

[761 デフォルトの名無しさん 2013/10/18(金) 18:46:15.03]

OCamlって最強の言語じゃね？
なんでみんなやらないんだろ

[762 デフォルトの名無しさん 2013/10/18(金) 18:49:32.53]

変なライセンスだから

[763 デフォルトの名無しさん 2013/10/18(金) 18:53:24.02]

intが1ビット少ないとか、モジュールの仕様上スマートリンクができないとか
ファーストクラスモジュールでOCamlのOたるオブジェクトがゴミになりましたとか
そのファーストクラスモジュールは後付けで構文がカオスですとか、あと+.(笑)とかGC遅いとか
ケチを付けようと思ったらいくらでも付けられるからなあ

[764 デフォルトの名無しさん 2013/10/18(金) 19:13:13.78]

Windows版の更新サボってるのが一番の原因だな

[765 デフォルトの名無しさん 2013/10/18(金) 19:31:42.10]

みんなって誰だよ

[766 デフォルトの名無しさん 2013/10/18(金) 19:33:25.20]

研究室ではよく使ってる

[767 デフォルトの名無しさん 2013/10/18(金) 20:02:22.74]

>>765
健常者の集合

[768 デフォルトの名無しさん 2013/10/18(金) 22:46:49.64]

言語の素性はともかくマンパワーは全然足りてないしな

[769 デフォルトの名無しさん 2013/10/18(金) 23:43:15.36]

スマートリンクってなんぞ？

[770 デフォルトの名無しさん 2013/10/18(金) 23:50:11.98]

sageたら教えてやる

[771 sage 2013/10/18(金) 23:56:08.97]

教えてください

[772 sega 2013/10/19(土) 19:03:49.62]

俺にも教えて

[773 デフォルトの名無しさん 2013/10/19(土) 22:25:27.91]

じゃあおれも

[774 デフォルトの名無しさん 2013/10/28(月) 11:48:04.04]

汎関数と高階関数って同じ意味ですか？

[775 デフォルトの名無しさん 2013/10/28(月) 13:22:54.90]

ちがいます

[776 デフォルトの名無しさん 2013/10/28(月) 13:38:38.58]

おなじです

[777 デフォルトの名無しさん 2013/10/28(月) 13:43:33.45]

どっちだよ・・・

[778 デフォルトの名無しさん 2013/10/28(月) 13:58:52.58]

>>774
関数を計算の対象とすること、いいかえると、関数を引数として受け付けたり
関数を返す関数のことを「高階の関数」または「高階関数」という
さらに、高階関数の中で計算の対象が関数だけなものを「汎関数」という
つまり高階関数は広い概念で、汎関数は狭い概念

たとえば関数 map や filter は高階関数であるけれど、リストも計算対象だから汎関数ではない
それに対して、合成関数 o は高階関数であるし汎関数でもある

[779 デフォルトの名無しさん 2013/10/28(月) 14:26:11.39]

let foo f g x = g (f x) ;;
val foo : ('a -> 'b) -> ('b -> 'c) -> 'a -> 'c = <fun>
って合成関数があったとして
'aの引数は計算対象外になるの？

[780 デフォルトの名無しさん 2013/10/28(月) 15:17:35.72]

>>779
記法のせいでわかりにくいけど
('a -> 'b) -> ('b -> 'c) -> ('a -> 'c) って考えればいい

[781 デフォルトの名無しさん 2013/10/28(月) 15:25:02.71]

あと汎関数は量を返す物をいうはず。
だから合成関数は汎関数でなく、高階関数。

[782 デフォルトの名無しさん 2013/10/28(月) 15:27:39.31]

間違えた
合成関数を"返す" 関数は汎関数でなく、高階関数。

[783 デフォルトの名無しさん 2013/10/28(月) 15:32:51.19]

>>779
まず 'a は型変数だから、「'a の引数は...」という用法は日本語として不適切

で、もし質問の意図が「関数 foo の定義における第三引数 x は、関数 foo の計算対象外か？」
であるならば、答えは Yes
引数 x は関数 f の計算対象であるけれど、汎関数 foo の計算対象ではない

汎関数を定義する場合、>>779 も決して間違いではないが、以下のように書いたほうが、
「x は(fooの引数ではなく)無名関数の引数である」という意図が理解しやすいだろう(言語はSML)

- fun foo f g = fn x => g (f x);
> val ('a, 'b, 'c) foo = fn : ('a -> 'b) -> ('b -> 'c) -> 'a -> 'c


>>781
では、その量を返すという汎関数の具体例を挙げてみてくれないか？

[784 デフォルトの名無しさん 2013/10/28(月) 16:06:23.87]

例えばmapをばらしたときに

let rec map f ls = match ls with
[] -> []
| x::xs -> f x :: map f xs ;;

val : ('a -> 'b) -> 'a list -> 'b list = <fun>

たぶんこんな感じで再帰になってるけど
無名関数は再帰で書けないから
無名関数で書けたら汎関数でよい？

[785 デフォルトの名無しさん 2013/10/28(月) 16:10:19.68]

>>783
>では、その量を返すという汎関数の具体例を挙げてみてくれないか？
なんで？
とりあえず、定義っぽいのは見つけたよ。
http://www.encyclopediaofmath.org/index.php/Functional

[786 デフォルトの名無しさん 2013/10/28(月) 16:41:42.96]

ん？schemeはYコンビネータを使って
Y = (λf . (λx . f (x x)) (λx . f (x x)))
無名再帰ができると書いてあるな
何が違うんだろ？動的言語だと出来るとか？

[787 デフォルトの名無しさん 2013/10/28(月) 17:26:32.96]

>>784
汎関数の定義に無名関数を使うことは多いけど、
だからといって、すべての無名関数を用いた定義が汎関数となる訳ではない
だから「無名関数で書けたら汎関数でよい？」という質問については No だ
ただし「引数としてある関数を渡すとmapと同等な無名関数を返す」汎用的な関数が
定義できるのであれば、その関数は汎関数であるといえるだろう

なお、再帰と汎関数は直交するから再帰を伴わない汎関数も存在する(たとえば合成関数 o)
したがって「再帰で書けたら汎関数でよい？」という質問についても No となる


>>785
数学における用語「汎関数」と計算機科学における「汎関数」をごっちゃにしているのでは？
で、ここは(数学板ではなく)プログラム板だ

[788 デフォルトの名無しさん 2013/10/28(月) 17:37:07.70]

>>787
＞数学における用語「汎関数」と計算機科学における「汎関数」をごっちゃにしているのでは？
えええー！初耳だよそんなの。
計算機科学の汎関数の定義は？

[789 デフォルトの名無しさん 2013/10/28(月) 19:17:55.24]

同値再帰型なんてのもあるんだね
OCamlって最強言語じゃね？

[790 デフォルトの名無しさん 2013/10/30(水) 09:26:41.50]

高階関数のままと
簡約した形と
評価までの速度に違いがあるのかな？
見やすさで選ばれてるだけ？

[791 デフォルトの名無しさん 2013/10/30(水) 13:20:56.16]

cygwin64bitにもOCaml登場

[792 デフォルトの名無しさん 2013/10/30(水) 19:40:53.15]

簡約した形とは

[793 デフォルトの名無しさん 2013/10/31(木) 18:52:31.73]

ゴルフに出てくる;;の後の
1@0
って何ですか？？

[794 デフォルトの名無しさん 2013/11/01(金) 12:27:52.67]

kwsk >>793 #ゴルフ

[795 デフォルトの名無しさん 2013/11/01(金) 21:39:55.79]

コードゴルフか？
'a list -> 'a list -> 'a list じゃなさそうだし自分で定義してるんじゃね？

[796 デフォルトの名無しさん 2013/11/02(土) 18:53:12.88]

Ｓ式みたいに
(< 1 2 3 4 5 6 7 8 9)
でtrue みたいに一発で計算ってできますか？

[797 デフォルトの名無しさん 2013/11/02(土) 19:14:43.17]

そういうの書けばできるでしょ

[798 デフォルトの名無しさん 2013/11/03(日) 00:39:10.77]

let rec less_than lst = match lst with
[] -> None
| x :: [] -> Some true
| x :: y :: xs -> if x < y then less_than (y :: xs)
else Some false ;;

なんか一行ですっきり書きたい

[799 デフォルトの名無しさん 2013/11/03(日) 09:57:51.24]

f op xs = and $ zipWith op xs (tail xs)

[800 デフォルトの名無しさん 2013/11/03(日) 11:18:30.19]

ん？それHaskellじゃね？

[801 デフォルトの名無しさん 2013/11/03(日) 11:27:32.82]

こうかな。

fun lessThanForAll l = ListPair.all (op <) (l, tl l);

[802 デフォルトの名無しさん 2013/11/03(日) 21:33:04.10]

ocamlだとむずい

[803 デフォルトの名無しさん 2013/11/21(木) 06:02:11.85]

盛り上がってるね。

[804 デフォルトの名無しさん 2013/11/25(月) 19:28:29.05]

camlp4の入手先を教えて下さい

[805 デフォルトの名無しさん 2013/11/25(月) 20:49:45.57]

ttps://github.com/ocaml/camlp4

[806 デフォルトの名無しさん 2013/11/25(月) 23:43:19.04]

camlp4ってなんか開発側のよくわからない方針により大幅に変更されてもともと乏しかったドキュメントが一層整備されてない状態になってから使う気なくした。

[807 デフォルトの名無しさん 2013/12/13(金) 08:01:15.59]

ああ、ハームが強いとか言ってたキルハイエナさんか

[808 デフォルトの名無しさん 2013/12/13(金) 08:02:13.53]

誤爆

[809 デフォルトの名無しさん 2013/12/14(土) 16:52:12.01]

fezにお帰りください

[810 デフォルトの名無しさん 2013/12/19(木) 13:30:02.87]

ABC予想をOCamlで書いて

[811 デフォルトの名無しさん 2014/01/16(木) 19:03:28.13]

row polymorphism(< method_foo : foo -> bar ; .. >の"..")が何か泥臭い感じがしてOCamlのOが好きじゃないのですが、
row polymorphismとexact typeを区別するべき理由ってあるのでしょうか。

[812 デフォルトの名無しさん 2014/01/20(月) 01:16:23.89]

こんな本でた

JavaScriptで学ぶ関数型プログラミング
http://www.amazon.co.jp/dp/4873116600/

なんか面白そう

[813 デフォルトの名無しさん 2014/01/25(土) 20:39:37.59]

みんなどこいったんや

[814 デフォルトの名無しさん 2014/01/27(月) 00:37:41.63]

VBAを捨てて関数型言語がデフォルトでサポートされるのは、いつだろうか

[815 デフォルトの名無しさん 2014/01/27(月) 01:45:51.79]

そんな日は来なくていい

[816 デフォルトの名無しさん 2014/01/28(火) 03:59:19.18]

ExcelマクロにVBAとF#の選択肢が標準だったなら、関数型は主流になれる

[817 デフォルトの名無しさん 2014/01/28(火) 04:04:55.48]

>>813
クオンツやアクチュアリーもどきの個体数が増えすぎて、
市場価値が下がらないように口を紡ぎだしたとみた

[818 デフォルトの名無しさん 2014/01/29(水) 01:01:52.05]

口を・・・つむぐ？

[819 デフォルトの名無しさん 2014/01/29(水) 01:04:27.44]

口をつぐんだ人ならいるかもね

[820 デフォルトの名無しさん 2014/01/29(水) 21:56:44.82]

あれでしょ、世の中に不満があるなら自分を変えろ、それが嫌なら耳と目を閉じ、口を紡いで…あれ？

[821 デフォルトの名無しさん 2014/01/29(水) 21:58:26.24]

お口にチャックノリス