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

**デフォルトの名無しさん** · 2017/11/01(水) 17:25:35.48

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

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

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

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

**デフォルトの名無しさん** · 2017/11/02(木) 23:10:57.91

>1おつ

**デフォルトの名無しさん** · 2017/11/03(金) 00:13:58.21

Standard ML の方言 Mythril
https://mythryl.org/index3.html

Standard MLとの構文的違いの一覧表
https://mythryl.org/my-SML_vs_Mythryl_Fragment_Equivalence_Table.html

**デフォルトの名無しさん** · 2017/11/03(金) 00:17:37.47

ガンダルフ？

**デフォルトの名無しさん** · 2017/11/03(金) 20:36:09.16

>>3
他はともかくunitをvoidと呼ぶのは怒る人出てくるんじゃないか

**デフォルトの名無しさん** · 2017/11/19(日) 21:10:55.07

下らない質問なんだけど
mlで三項以上の演算子ってどうやって定義するの？

**デフォルトの名無しさん** · 2017/11/19(日) 22:20:16.29

(?) c t = if c then const t else id
(:) f x = f x

**デフォルトの名無しさん** · 2017/12/21(木) 03:40:36.49

https://reasonml.github.io/
Facebook がこんなの作ってたんだな。

**デフォルトの名無しさん** · 2017/12/23(土) 11:24:33.44

>>8
ちょっと見てみたけどOCamlとJavascript知ってれば、すぐに使えそうでいいね

**デフォルトの名無しさん** · 2017/12/28(木) 09:57:11.71

関数型って変数が定数になっただけ？

**デフォルトの名無しさん** · 2017/12/28(木) 17:39:41.34

すべてを関数と見なすだけ
定数も「定数を表す関数」と見なす
immutableかどうかは別の話

**デフォルトの名無しさん** · 2018/03/19(月) 08:51:02.12

初心者質問いいですか
ocamlコマンドでスクリプトみたいにコード走らされるけど、coreを使った途端できなくなりました。
追加でコマンドオプションが必要なのでしょうか？

**デフォルトの名無しさん** · 2018/04/15(日) 20:58:24.01

ocamlは見た目がキモいですね😱

**デフォルトの名無しさん** · 2018/05/23(水) 20:56:35.31

僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法　モニアレフヌノ』

KDJWC

**デフォルトの名無しさん** · 2018/06/14(木) 23:29:58.98

fableってのが面白そうだ･･･F#からJavascriptに変換してHTML5アプリとか作れるらしい
時間ができたらいじってみようかな

**デフォルトの名無しさん** · 2018/06/15(金) 03:28:33.32

bucklescriptでよくない？

**デフォルトの名無しさん** · 2018/06/18(月) 09:10:34.40

おい！あの岡部健（毛の壁）がgithubで活動を再会してるぞ！

**デフォルトの名無しさん** · 2018/06/23(土) 03:37:58.67

OCamlで質問なんですが、１つのリストに対してmapしてfilterして、またmapしてみたいなことをするとき、
新しいリストがその度に、上の例で言うと3回作られるという認識であってますか？

**デフォルトの名無しさん** · 2018/06/23(土) 07:35:44.96

合ってる
それにクロージャを渡すだけでも結構コストがあるので
自分でループ書いたほうが効率がいい

**デフォルトの名無しさん** · 2018/06/23(土) 13:51:31.94

やっぱりそうですか
ありがとうございます
Haskellと違い正格評価なのだから当たり前ですよね
素直にループで書きます

**デフォルトの名無しさん** · 2018/06/23(土) 15:36:45.70

Stream使えばいいんじゃない